DocumentCode
2220265
Title
Issues in the validation and verification of vehicle software
Author
Overton, B. ; Spalding, I. ; Thomas, M.
Author_Institution
Praxis Warwick Ltd., UK
fYear
1991
fDate
28-31 Oct 1991
Firstpage
98
Lastpage
101
Abstract
Despite the special difficulties of automobile software, with its stringent but evolving requirements, there are many powerful techniques for software verification and validation. However, there are practical limits to the reliability which can be demonstrated, and it is essential to follow a well-defined and rigorous specification and development process
Keywords
automotive electronics; program verification; software engineering; automobile software; reliability; software validation; software verification; vehicle;
fLanguage
English
Publisher
iet
Conference_Titel
Automotive Electronics, 1991., Eighth International Conference on
Conference_Location
London
Print_ISBN
0-85296-525-7
Type
conf
Filename
152019
Link To Document