In this paper we will explore how 15 years after being introduced into avionics systems, “by-wire” technologies have entered the automotive world. The use of software within safety-relevant application areas like restraint systems, braking, steering and vehicle dynamics support and control systems, is requiring changes in the processes and methodologies used for embedded software development.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2004 World Congress & Exhibition ; 2004



    Erscheinungsdatum :

    08.03.2004




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software

    Hohmann, W. / Society of Automotive Engineers | British Library Conference Proceedings | 2004




    Formal Verification in Model Based Development

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | British Library Conference Proceedings | 2015


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997