The Library
Applying design verification tools in automotive software V&V
Tools
Chakrapani Rao, Arun, Rajeev, A. C. and Yeolekar, Anand (2011) Applying design verification tools in automotive software V&V. In: SAE 2011 World Congress & Exhibition, Detroit, Michigan, USA, 12-14 Apr 2011. Published in: SAE Technical Papers, 1 (2011-01-0745). doi:10.4271/2011-01-0745 ISSN 0148-7191.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.4271/2011-01-0745
Abstract
Design verification technology promises comprehensive analysis of design models against the specified properties, thereby overcoming the limitations of traditional simulation-based and testing-based approaches. It helps in detecting design bugs early, thereby reducing the software development cycle time and cost. In this paper, we present our experiences with three state-of-the-art design verification tools - Reactis Validator, Simulink Design Verifier and Embedded Validator - for Simulink/Stateflow models. We also identify some challenges in employing them in an industrial production environment. We also suggest some automation steps to ease the design verification effort.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Journal or Publication Title: | SAE Technical Papers | ||||||
Publisher: | Society of Automobile Engineers | ||||||
ISSN: | 0148-7191 | ||||||
Book Title: | SAE Technical Paper Series | ||||||
Official Date: | 14 April 2011 | ||||||
Dates: |
|
||||||
Volume: | 1 | ||||||
Number: | 2011-01-0745 | ||||||
DOI: | 10.4271/2011-01-0745 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | SAE 2011 World Congress & Exhibition | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Detroit, Michigan, USA | ||||||
Date(s) of Event: | 12-14 Apr 2011 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |