By the same authors

Experiences with the application of discrete formal methods to the development of engine control software

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publicationDISTRIBUTED COMPUTER CONTROL SYSTEMS 1998
DatePublished - 1999
Pages49-56
Number of pages8
PublisherPERGAMON PRESS LTD
Place of PublicationOXFORD
EditorsF DePaoli, IM MacLeod
Original languageEnglish
ISBN (Print)0-08-043242-5

Abstract

In this paper we outline an approach to the application of Formal Methods to the development of aircraft engine control software. We outline the difficulties in applying traditional formalisms to control software and propose an approach in which the discrete requirements are specified as aggregations of state-based and reactive requirements; the particular value of (formally) aggregating requirements is that assumptions are discharged in their context or else propagated outward toward the sensory environment. We briefly discuss extensions of the approach to distributed engine control and avionics systems. Copyright (C) 1998 IFAC.

    Research areas

  • formal specification, Formal Methods, control algorithms, safety critical, aerospace computer control, software engineering, software safety

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations