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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS


    Beteiligte:


    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff