In Flight Safety Critical Systems where the lives of people and/or mission success is depending on, errors in the Computer Software Components can have a catastrophic impact on the safety. The requirements for the software development and maintenance of Flight Safety Critical systems differ in some aspects from the systems which do not fall into this category. For the development of the equipment software, a set of development standards and additional procedures for the implementation of Safety Critical Functions are defined. LITEF applied the standards and procedures for the development of the Inertial Measurement Unit which is a part of the Flight Control System and Seat Sequencer Unit which is part of the Ejection Seat. In this paper, some critical technology needs are described for supporting the development and verification process of such systems and the activities which have to be performed during the development phases for identifying, assessing and eliminating or minimizing hazards in a systematic way.
Development and verification of software for flight safety critical systems
Entwicklung und Verifikation von Software für kritische Systeme der Flugsicherheit
1991
4 Seiten, 2 Bilder, 10 Quellen
Aufsatz (Konferenz)
Englisch
Development and Verification of Software for Flight Safety Critical Systems
British Library Conference Proceedings | 1991
|Formal Verification of Flight Critical Software
AIAA | 2005
|Verification of Flight Critical Systems
SAE Technical Papers | 1990
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|