In this paper, we will describe how synchronous methods form the scientific basis for the creation of a correct-by-construction methodology required for safety-critical embedded systems. We will show how they are applied to software design, validation, and implementation through a process of high-level rigorous specifications, from which we can create correct-by-construction embeddable implementation.The synchronous methods we know today have more than 20 years of scientific research plus ten years of successful industrial application. This paper will explore the basic conceptual model of embedded computation supported by three underlying prerequisites: high-level rigorous graphical and textual languages, compiling algorithms for correct-by-construction implementation, and formal testing and verification techniques.Lastly, we will show how a specialized specification to C compiler automated methodology can create embeddable C code that is automatically correct and certifiable to avionics guidelines DO-178B Level A and that makes low-level testing of generated C code unnecessary. Functional testing can be done at graphical specification level and the generated embeddable C code is automatically correct and certifiable.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Correct-By-Construction Methods for the Development of Safety-Critical Applications


    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




    Correct-by-construction methods for the development of safety-critical applications

    Dion,B. / Esterel Technologies,US | Automotive engineering | 2004


    Correct-By-Construction Methods for the Development of Safety-Critical Applications

    Dion, B. / Society of Automotive Engineers | British Library Conference Proceedings | 2004


    2004-01-1735 Correct-By-Construction Methods for the Development of Safety-Critical Applications

    Dion, B. / Society of Automotive Engineers | British Library Conference Proceedings | 2004



    TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS

    Sander, I. / Soderquist, I. / Ekman, M. et al. | British Library Conference Proceedings | 2022