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.


    Access

    Download


    Export, share and cite



    Title :

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS


    Contributors:


    Publication date :

    2005-01-01


    Size :

    12 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Ensuring Audio Signal Quality in Automotive Infotainment Systems

    Whikehart, J. William | SAE Technical Papers | 2013


    Ensuring Audio Signal Quality in Automotive Infotainment Systems

    Whikehart, J.W. / Society of Automotive Engineers | British Library Conference Proceedings | 2013


    Automotive lighting specifications

    Engineering Index Backfile | 1930



    Improving the quality of automotive test case specifications

    Juhnke, Katharina / Universität Ulm | TIBKAT | 2020

    Free access