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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Approaches to Ensuring the Safety of Space Software


    Contributors:

    Publication date :

    2006-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    ENSURING ENVIRONMENTAL SAFETY FOR SPACE LAUNCH

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