Integrating Functional and Non-Functional Design Verification for Embedded Software Systems Fraunhofer Center for Experimental Software Engineering

Format:

Conference/Event

Author/Creator:

Ackermann, Christopher, author.

Conference Name:

SAE World Congress & Exhibition (2009-04-20 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 2009

Summary:

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

Notes:

Vendor supplied data

Publisher Number:

2009-01-0152

Access Restriction:

Restricted for use by site license