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

fYear

2001

fDate

2001

Firstpage

236

Lastpage

245

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on

Conference_Location

Toronto, Ont.

Print_ISBN

0-7695-1125-2

Type

conf

DOI

10.1109/ISRE.2001.948564

Filename

948564