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
01.01.2005
12 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Ensuring Audio Signal Quality in Automotive Infotainment Systems
British Library Conference Proceedings | 2013
|