DocumentCode
277810
Title
A user requirement [safety critical software]
Author
Berlandi, J.M.
Author_Institution
ESA, Paris, France
fYear
1991
fDate
33246
Firstpage
42401
Lastpage
42402
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;
fLanguage
English
Publisher
iet
Conference_Titel
High Integrity Ada, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
180765
Link To Document