Title :
Re-engineering fault tolerance requirements: a case study in specifying fault tolerant flight control systems
Author :
Del Gobbo, Diego ; Mili, Ali
Author_Institution :
Dept. of Comput. Sci. & Electr. Eng., West Virginia Univ., Morgantown, WV, USA
Abstract :
We present 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
Keywords :
aerospace control; formal specification; military aircraft; military computing; redundancy; relational algebra; software fault tolerance; systems re-engineering; MIL-F-9490D; US Air Force; analytical redundancy; case study; fault tolerance requirements re-engineering; fault tolerant flight control system; formal specification; military specification; performance; relational algebra; Aerospace control; Aircraft; Computer aided software engineering; Control systems; Fault detection; Fault tolerance; Fault tolerant systems; Formal specifications; Redundancy; Thyristors;
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-7695-1125-2
DOI :
10.1109/ISRE.2001.948564
