Integrating Functional and Non-Functional Design Verification for Embedded Software Systems

2009-01-0152

04/20/2009

Event
SAE World Congress & Exhibition
Authors Abstract
Content
This paper describes an approach to integrating functional and non-functional design verification for embedded control software. The method uses functional models, which are the basis of functional verification processes, to drive non-functional verification also. This is achieved by defining strategies for extracting non-functional models, which contain structural and quantitative information about non-functional characteristics such as performance and modifiability, from functional ones. Non-functional verification tools may then be used on the resulting models to check that desired non-functional properties, such as ease of modification, are catered for in the design. An extended example involving the analysis of a model for modifiability is presented, as is tool support for extracting non-functional models from functional ones.
Meta TagsDetails
DOI
https://doi.org/10.4271/2009-01-0152
Pages
13
Citation
Ackermann, C., Ray, A., Cleaveland, R., Shelton, C. et al., "Integrating Functional and Non-Functional Design Verification for Embedded Software Systems," SAE Technical Paper 2009-01-0152, 2009, https://doi.org/10.4271/2009-01-0152.
Additional Details
Publisher
Published
Apr 20, 2009
Product Code
2009-01-0152
Content Type
Technical Paper
Language
English