Re-engineering Fault Tolerance requirements: A case study in specifying fault Tolerant Flight Control Systems

D. D. Gobbo, A. Mili

Research output: Contribution to conferencePaperpeer-review

4 Scopus citations

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 out study.

Original languageEnglish (US)
Pages236-245
Number of pages10
StatePublished - Jan 1 2001
Externally publishedYes
Event5th IEEE International Symposium on Requirements Engineering - Toronto, Ont, Canada
Duration: Aug 27 2001Aug 31 2001

Other

Other5th IEEE International Symposium on Requirements Engineering
CountryCanada
CityToronto, Ont
Period8/27/018/31/01

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Software
  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Re-engineering Fault Tolerance requirements: A case study in specifying fault Tolerant Flight Control Systems'. Together they form a unique fingerprint.

Cite this