Model Based Design Verification: A Monitor Based Approach

2008-01-0741

04/14/2008

Event
SAE World Congress & Exhibition
Authors Abstract
Content
This paper assesses the utility of an automated functional verification methodology in the design of a body electronics application. The use of design models as detailed specifications for software is gaining steady acceptance in the automotive industry because of the advantages it offers in terms of rapid system prototyping and automatic code generation. This paper argues that such modeling effort can also be used to provide support for design verification, so that errors may be pinpointed before they find their way into code, when they become much harder and more expensive to isolate, diagnose and repair.
Meta TagsDetails
DOI
https://doi.org/10.4271/2008-01-0741
Pages
12
Citation
Ackermann, C., Ray, A., Cleaveland, R., Heit, J. et al., "Model Based Design Verification: A Monitor Based Approach," SAE Technical Paper 2008-01-0741, 2008, https://doi.org/10.4271/2008-01-0741.
Additional Details
Publisher
Published
Apr 14, 2008
Product Code
2008-01-0741
Content Type
Technical Paper
Language
English