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

Standard

Experiences with the application of discrete formal methods to the development of engine control software. / Galloway, A J; Cockram, T J; McDermid, J A.

DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. ed. / F DePaoli; IM MacLeod. OXFORD : PERGAMON PRESS LTD, 1999. p. 49-56.

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

Harvard

Galloway, AJ, Cockram, TJ & McDermid, JA 1999, Experiences with the application of discrete formal methods to the development of engine control software. in F DePaoli & IM MacLeod (eds), DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. PERGAMON PRESS LTD, OXFORD, pp. 49-56, 15th IFAC Workshop on Distributed Computer Control Systems, COMO, 9/09/98.

APA

Galloway, A. J., Cockram, T. J., & McDermid, J. A. (1999). Experiences with the application of discrete formal methods to the development of engine control software. In F. DePaoli, & IM. MacLeod (Eds.), DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998 (pp. 49-56). OXFORD: PERGAMON PRESS LTD.

Vancouver

Galloway AJ, Cockram TJ, McDermid JA. Experiences with the application of discrete formal methods to the development of engine control software. In DePaoli F, MacLeod IM, editors, DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. OXFORD: PERGAMON PRESS LTD. 1999. p. 49-56

Author

Galloway, A J ; Cockram, T J ; McDermid, J A. / Experiences with the application of discrete formal methods to the development of engine control software. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. editor / F DePaoli ; IM MacLeod. OXFORD : PERGAMON PRESS LTD, 1999. pp. 49-56

Bibtex - Download

@inproceedings{3a910187db1148e49086e38514b032f1,
title = "Experiences with the application of discrete formal methods to the development of engine control software",
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.",
keywords = "formal specification, Formal Methods, control algorithms, safety critical, aerospace computer control, software engineering, software safety",
author = "Galloway, {A J} and Cockram, {T J} and McDermid, {J A}",
year = "1999",
language = "English",
isbn = "0-08-043242-5",
pages = "49--56",
editor = "F DePaoli and IM MacLeod",
booktitle = "DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998",
publisher = "PERGAMON PRESS LTD",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

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

AU - Galloway, A J

AU - Cockram, T J

AU - McDermid, J A

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

KW - formal specification

KW - Formal Methods

KW - control algorithms

KW - safety critical

KW - aerospace computer control

KW - software engineering

KW - software safety

M3 - Conference contribution

SN - 0-08-043242-5

SP - 49

EP - 56

BT - DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998

A2 - DePaoli, F

A2 - MacLeod, IM

PB - PERGAMON PRESS LTD

CY - OXFORD

ER -