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 language | English (US) |
|---|---|
| Pages | 236-245 |
| Number of pages | 10 |
| State | Published - 2001 |
| Externally published | Yes |
| Event | 5th IEEE International Symposium on Requirements Engineering - Toronto, Ont, Canada Duration: Aug 27 2001 → Aug 31 2001 |
Other
| Other | 5th IEEE International Symposium on Requirements Engineering |
|---|---|
| Country/Territory | Canada |
| City | Toronto, Ont |
| Period | 8/27/01 → 8/31/01 |
All Science Journal Classification (ASJC) codes
- Hardware and Architecture
- Software
- Industrial and Manufacturing Engineering