An application of relational algebra: Specification of a fault tolerant flight control system

D. Del Gobbo, A. Mili

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations

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 languageEnglish (US)
Pages (from-to)94-111
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume44
Issue number3
DOIs
StatePublished - May 2003
Externally publishedYes
EventRelMis 2001, Relational Methods in Software (a Satellite Event of ETAPS 2001) - Genova, Italy
Duration: Apr 7 2001Apr 8 2001

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'An application of relational algebra: Specification of a fault tolerant flight control system'. Together they form a unique fingerprint.

Cite this