Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems
Proceedings Fifth IEEE International Symposium on Requirements Engineering (2001)
Aug. 27, 2001 to Aug. 31, 2001
Diego Del Gobbo , West Virginia University
Ali Mili , West Virginia University
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.
A. Mili and D. D. Gobbo, "Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems," Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE), Toronto, Canada, 2001, pp. 0236.