Design Verification of Automotive Controller Models

Paper #:
  • 2013-01-0428

Published:
  • 2013-04-08
DOI:
  • 10.4271/2013-01-0428
Citation:
Rajeev, A., Mohalik, S., and Ramesh, S., "Design Verification of Automotive Controller Models," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(2):419-424, 2013, doi:10.4271/2013-01-0428.
Pages:
6
Abstract:
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.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Article
2016-09-06
Technical Paper / Journal Article
2010-04-12
Training / Education
2010-03-15
Technical Paper / Journal Article
2010-04-12
Training / Education
2007-03-01