Title :
Issues in the validation and verification of vehicle software
Author :
Overton, B. ; Spalding, I. ; Thomas, M.
Author_Institution :
Praxis Warwick Ltd., UK
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;
Conference_Titel :
Automotive Electronics, 1991., Eighth International Conference on
Conference_Location :
London
Print_ISBN :
0-85296-525-7
