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.
Formal Approaches to Ensuring the Safety of Space Software
01.01.2006
Aufsatz (Konferenz)
Keine Angabe
Englisch
ENSURING ENVIRONMENTAL SAFETY FOR SPACE LAUNCH
British Library Conference Proceedings | 2006
|Space rescue : ensuring the safety of manned spacecraft
SLUB | 2009
|Space rescue : ensuring the safety of manned spacecraft
TIBKAT | 2009
|