When developing software it is important to consider process, methods, and tools. For safety-critical software, standards such as IEC 61508 are often used to impose additional constraints on the development process and require the production of verification evidence and other artifacts. These constraints and artifacts are needed whether or not the design and code were produced manually or via tool automation. This paper discusses the usage of Production Code Generation for safety-critical software development.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety-Critical Software Development Using Automatic Production Code Generation


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Conrad, Mirko (Autor:in) / Erkkinen, Tom (Autor:in)

    Kongress:

    SAE World Congress & Exhibition ; 2007



    Erscheinungsdatum :

    2007-04-16




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Safety-Critical Software Development Using Automatic Production Code Generation

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


    Safety-critical software development using automatic production code generation

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


    Development of Safety-Critical Software Using Automatic Code Generation

    Beine, Michael / Jungmann, Michael / Otterbach, Rainer | SAE Technical Papers | 2004


    Development of safety-critical software using automatic code generation

    Beine,M. / Otterbach,R. / Jungmann,M. et al. | Kraftfahrwesen | 2004


    Development of safety-critical software using automatic code generation

    Beine, M. / Otterbach, R. / Jungmann, M. | Tema Archiv | 2004