Browse Publications Technical Papers 2009-01-0152
2009-04-20

Integrating Functional and Non-Functional Design Verification for Embedded Software Systems 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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
JOURNAL ARTICLE

Techniques for Generating and Measuring Production Code Constructs from Controller Models

2009-01-0149

View Details

TECHNICAL PAPER

Fixed-Point ECU Code Optimization and Verification with Model-Based Design

2009-01-0269

View Details

TECHNICAL PAPER

Multi-level System Integration of Automotive ECUs based on AUTOSAR

2009-01-0918

View Details

X