Abstract Achieving confidence in safety, and robustness of complex systems is a key issue for an automotive manufacturer. Specifications are the first and crucial stage of the engineering process. The aim is to provide a high level of quality assurance for the specifications of systems incorporing several reused parts. This paper presents a method using an external modeling of the function supervision. We propose a framework based on modes analysis and a formal operation which allows to combine automaton descriptions of modes by adding logic commutations between modes.
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
2005-01-01
12 pages
Article/Chapter (Book)
Electronic Resource
English
Ensuring Audio Signal Quality in Automotive Infotainment Systems
British Library Conference Proceedings | 2013
|Ensuring high quality at high volume in automotive electronics through automatic component testing
Automotive engineering | 1981
|