A viewgraph describing formal approaches taken to assure the safety of space software is presented. The topics include: 1) Certifiable Program Generation; 2) Certification Framework; 3) Annotation Generation; 4) Experiments; and 5) Future Work.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Approaches to Ensuring the Safety of Space Software


    Beteiligte:
    Denney, Ewen (Autor:in) / Fischer, Bernd (Autor:in)

    Erscheinungsdatum :

    01.01.2006


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    ENSURING ENVIRONMENTAL SAFETY FOR SPACE LAUNCH

    Boyd, B. F. / Fitzpatrick, M. E. / Parks, C. R. et al. | British Library Conference Proceedings | 2006