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 :

    01.01.2005


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Ensuring Audio Signal Quality in Automotive Infotainment Systems

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



    Beyond Specifications: The Crucial Role of Automotive-Grade Components in Ensuring Vehicle Reliability

    Sharma, Arunav / Patil, Pratik / Issac, P. John et al. | Springer Verlag | 2025



    Improving the quality of automotive test case specifications

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

    Freier Zugriff