Abstract
This paper discusses a case study where we use relations to represent the requirements of a fault tolerant flight control system. This task is part of a larger research project, carried out on behalf of Dryden Flight Research Center, whose purpose is to investigate the certification of an adaptive flight control system that is fault tolerant with respect to sensor faults. We find that relations offer a versatile tool to formulate requirements, and that they provide a sound basis for building computer supported oracles for the certification phase.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 94-111 |
| Number of pages | 18 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 44 |
| Issue number | 3 |
| DOIs | |
| State | Published - May 2003 |
| Externally published | Yes |
| Event | RelMis 2001, Relational Methods in Software (a Satellite Event of ETAPS 2001) - Genova, Italy Duration: Apr 7 2001 → Apr 8 2001 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science