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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Dion, Bernard (Autor:in)

    Kongress:

    SAE 2004 World Congress & Exhibition ; 2004



    Erscheinungsdatum :

    2004-03-08




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Dion,B. / Esterel Technologies,US | Kraftfahrwesen | 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