Title :
A user requirement [safety critical software]
Author_Institution :
ESA, Paris, France
Abstract :
Presents some of the requirements of safety critical or high reliability software used in space applications. That is in short programs whose malfunction could lead to loss of life. No such software has been produced yet, hence so far no standards have been formally established. Drafts or projects exist, and the paper presents the most likely development
Keywords :
Ada; aerospace computing; safety; software reliability; Ada; high reliability software; safety critical software; space applications;
Conference_Titel :
High Integrity Ada, IEE Colloquium on
Conference_Location :
London
