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
2006-01-01
Conference paper
No indication
English
ENSURING ENVIRONMENTAL SAFETY FOR SPACE LAUNCH
British Library Conference Proceedings | 2006
|Space rescue : ensuring the safety of manned spacecraft
TIBKAT | 2009
|Space rescue : ensuring the safety of manned spacecraft
SLUB | 2009
|