Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

A critical analysis of model-based formal verification efforts within the automotive industry

Tools
- Tools
+ Tools

Chakrapani Rao, Arun, McMurran, Ross and Jones, R. Peter (2008) A critical analysis of model-based formal verification efforts within the automotive industry. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 1 (1). pp. 77-83. doi:10.4271/2008-01-0220

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/2008-01-0220

Request Changes to record.

Abstract

There are a number of software-controlled features in today's automotive vehicles to meet the increasing number of requirements for comfort, safety, infotainment and reduced emissions. To meet the growing demands from such features, the software content is not only increasing rapidly, but also becoming increasingly distributed within the Electronic Control Units (ECUs), leading to the possibility of unwanted interactions and consequent loss of reliability. Therefore, the automotive software-based features have to be designed and verified using sophisticated tools and techniques.Formal methods-based techniques and tools have been used on various industrial designs over the past 6 years by one of the authors in development and applied research projects, collaborating with a number of automotive companies. The challenges faced in large projects are discussed in this context. A large number of industrial users have recounted their own experiences in user conferences and workshops, which will be summarized. The results of a short survey of real users will also be discussed in this context.

Item Type: Journal Article
Divisions: Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group)
Journal or Publication Title: SAE International Journal of Passenger Cars - Electronic and Electrical Systems
Publisher: SAE Inc.
ISSN: 1946-4614
Official Date: 14 April 2008
Dates:
DateEvent
14 April 2008Published
10 January 2008Accepted
Volume: 1
Number: 1
Page Range: pp. 77-83
DOI: 10.4271/2008-01-0220
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Copyright Holders: SAE

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us