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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2004 World Congress & Exhibition ; 2004



    Publication date :

    2004-03-08




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 for model-based development

    Bouali,A. / Dion,B. / Esterel Technologies,FR | Automotive engineering | 2005


    Formal Verification in Model Based Development

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