Real-time refinement in Manna and Pnueli's temporal logic

A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called TAM (the Temporal Agent Model), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specification oriented s...

Full description

Saved in:
Bibliographic Details
Published in:Formal aspects of computing 1996-07, Vol.8 (4), p.408-427
Main Author: SCHOLEFIELD, D
Format: Article
Language:English
Subjects:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Learning and adaptive systems
Programming languages
Software
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called TAM (the Temporal Agent Model), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specification oriented semantics is given for the language. Program development is considered as a refinement process i.e. the calculation of a structured program from an unstructured specification. An example program is developed.
ISSN:0934-5043
1433-299X
DOI:10.1007/BF01213532