Software developed for safety-critical systems needs to be of high integrity. Special precautions and development steps are needed for high-integrity software that are not required for other software, although many would argue that they should be. Examples include language subsets, Verification and Validation (V&V), inspections, requirements traceability, documentation, and structural test coverage.Production code generation supports these activities by providing a complete software engineering development environment using models to specify the software. The models can then be tested and stressed within boundaries of the modeling environment. The tests and results can then be reused and applied to the generated code. This paper describes high-integrity code development techniques and shows how they can be automated and applied at the model level, improving quality while shortening design cycles.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Production Code Generation for Safety-Critical Systems


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Erkkinen, Tom (Autor:in)

    Kongress:

    SAE 2004 World Congress & Exhibition ; 2004



    Erscheinungsdatum :

    2004-03-08




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Production code generation for safety-critical systems

    Erkkinen,T. / MathWorks,US | Kraftfahrwesen | 2004


    Production Code Generation for Safety-Critical Systems

    Erkkinen, T. / Society of Automotive Engineers | British Library Conference Proceedings | 2004


    Safety-critical software development using automatic production code generation

    Erkkinen,T. / Conrad,M. / The Mathworks,GB et al. | Kraftfahrwesen | 2007


    Safety-Critical Software Development Using Automatic Production Code Generation

    Conrad, Mirko / Erkkinen, Tom | SAE Technical Papers | 2007


    Safety-Critical Software Development Using Automatic Production Code Generation

    Erkkinen, T. / Conrad, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2007