Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems

Authors:
Diego Del Gobbo;Ali Mili
Affiliations:
-;-
Venue:
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Year:
2001

Citing 0
Cited 2

Relational characterizations of system fault tolerance

Science of Computer Programming
An approach to defining requirements for exceptions

Advanced Topics in Exception Handling Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: This paper presents a formal specification of Fault Tolerance requirements for an Analytical Redundancy based Fault Tolerant Flight Control System. The development of the specification is driven by the performance and fault tolerance requirements contained in the US Air Force military specification MIL-F-9490D. The design constraints imposed to the system from adopting the Analytical Redundancy approach are captured within the specification. We draw some preliminary conclusions from our study.