Integrating Functional and Non-Functional Design Verification for Embedded Software Systems
Date Published: 2009-04-20
Paper Number:2009-01-0152
DOI: 10.4271/2009-01-0152
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, doi:10.4271/2009-01-0152.
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.
Purchase more technical papers and save! With TechSelect,
you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
Learn more >
