Real-time specification using Lucid

Author

Skillicorn, D.B. ; Glasgow, J.I.

Author_Institution

Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada

Volume

15

Issue

2

fYear

1989

fDate

2/1/1989 12:00:00 AM

Firstpage

221

Lastpage

229

Abstract

A methodology is presented for transforming a functional specification written in Lucid to an equivalent specification that captures its real-time properties. The enhanced specification consists of a set of equations that can be solved for several properties, including execution time and external requirements, or may simply be checked for the existence of a solution. Lucid has a set of meaning-preserving transformations, and a proof system corresponding to a behavioral semantics has been constructed. Both of these tools can be used to reason about properties of the specification. The specification is executable and can be used as a prototype for the system being specified. It is possible to express architectural constraints within the same formal framework. Thus this type of specification can be used to guide the development of new real-time systems

Keywords

formal specification; real-time systems; Lucid; architectural constraints; behavioral semantics; execution time; external requirements; functional specification; meaning-preserving transformations; proof system; real-time properties; real-time systems; Computer errors; Cost function; Lab-on-a-chip; Life estimation; Life testing; Lifetime estimation; Random variables; Software systems; Software testing; System testing;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.21748

Filename

21748