The Library
Formal requirements analysis techniques for software-intensive automotive electronic control systems
Tools
Chakrapani Rao, Arun, Dixit, Manoj G. and Sethu, Ramesh (2011) Formal requirements analysis techniques for software-intensive automotive electronic control systems. In: SAE 2011 World Congress and Exhibition, Detroit, Michigan, USA, 12-14 Apr 2011. Published in: SAE Technical Papers, 1 (2011-01-1002). doi:10.4271/2011-01-1002 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-1002
Abstract
The ever increasing number and complexity of software-controlled features in today's automotive vehicles mandate the use of numerous techniques and tools for ensuring the absence of any kind of defects in them. In this connection, one of the key areas of applied research today involves the identification, development and use of various analyses on Feature Requirements so that any defects can be caught early in the system development lifecycle. In this paper, the following aspects will be covered: 1) an overview of various analyses available within current commercial requirements tools, 2) a discussion on what additional analyses at the requirements level would be desirable to help various stakeholders in the system development lifecycle, 3) an overview of what GM R&D has been developing/have developed to-date in order to identify or help identify various kinds of defects and thereby improve the requirements, 4) some key results and experiences in utilizing such analyses in one/more pilot applications and 5) a discussion of how the benefits of both current and new techniques and tools can be made use of in the development of new software -based automotive electronic control systems.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | T Technology > TA Engineering (General). Civil engineering (General) 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-1002 | ||||||
DOI: | 10.4271/2011-01-1002 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | SAE 2011 World Congress and 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 |