Academic
Publications
Functional and Nonfunctional Design Verification for Embedded Software Systems

Functional and Nonfunctional Design Verification for Embedded Software Systems,10.1016/B978-0-12-385510-7.00006-0,Advances in Computers,Arnab Ray,Chri

Functional and Nonfunctional Design Verification for Embedded Software Systems  
BibTex | RIS | RefWorks Download
In model-based design verification, software models are checked against functional and nonfunctional requirements. Many of the mathematically well-founded theories developed for functional verification suffer from limitations (poor integration with industrial modeling tools and inability to scale to larger, more complicated systems) that restrict their practical adoption. Nonfunctional verification approaches, because of their inherent subjectivity (“what does it mean for a system to be modifiable?”), remain largely ad hoc and manual. There is also another overarching problem in that functional and nonfunctional verification take place on widely different representations of the system making it difficult to ensure that these representations are consistent with each other. This chapter highlights the latest research done into (1) a practical, formal, coverage-based functional verification approach called instrumentation-based verification, (2) quality attribute reasoning, a semiautomated, nonfunctional verification theory, and (3) an integrated functional and nonfunctional verification approach for model-based development.
Journal: Advances in Computers - AC , vol. 83, pp. 277-321, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.