Browse Publications Technical Papers 2013-01-0428
2013-04-08

Design Verification of Automotive Controller Models 2013-01-0428

Model-Based Development processes in the automotive industry typically use high-level modeling languages to build the reference models of embedded controllers. One can use formal verification tools to exhaustively verify these design models against their requirements, ensuring high quality models and a reduction in the cost and effort of functional testing. However, there is a gap, in terms of processes and tools, between the informal requirements and the formal specifications required by the verification tools. In this paper, we propose an approach that tries to bridge this gap by (i) identifying the verifiable requirements through a categorization process, (ii) providing a set of templates to easily express the verifiable requirements, and (iii) generating monitors that can be used as specifications in design verification tools. We demonstrate our approach using the Simulink Design Verifier tool for design verification of Simulink/Stateflow models.

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.
We also recommend:
TECHNICAL PAPER

A Computer Aided Optimization Tool to Design Electromagnetic Retarders

2004-01-0382

View Details

TECHNICAL PAPER

Development of New Generation of Multibody System Computer Software

2013-01-1192

View Details

TECHNICAL PAPER

Designing for Six-Sigma Quality with Robust Optimization Using CAE

2002-01-2017

View Details

X