Refinement of Complex Systems: A Case Study
Open Access
- 1 January 1995
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 38 (10) , 785-800
- https://doi.org/10.1093/comjnl/38.10.785
Abstract
We describe the Temporal Agent Model (TAM) together with its associated refinement calculus. The calculus is based on a wide-spectrum language within which functional and temporal properties can be expressed in either abstract (i.e. specification) or concrete (i.e. design) terms. The refinement process transforms abstract specifications to concrete designs through successive applications of sound refinement laws. An extension to the calculus allows us to calculate a scheduler for the resulting design. We present a specification paradigm based on splitting the functional and temporal requirements, and describe refinement techniques based on this paradigm. We illustrate the calculus with an example taken from the avionics industry.Keywords
This publication has 0 references indexed in Scilit: