Communicating real-time state machines

Author

Shaw, Alan C.

Author_Institution

Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA

Volume

18

Issue

9

fYear

1992

fDate

9/1/1992 12:00:00 AM

Firstpage

805

Lastpage

816

Abstract

Communicating real-time state machines (CRSMs), a complete and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment, are introduced. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare´s CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The author defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues

Keywords

communicating sequential processes; finite state machines; formal specification; parallel machines; real-time systems; CRSM language; CRSMs; communicating real-time state machines; concurrent real-time systems; controlled physical environment; executable notation; requirements specification; state machines; timing properties; Automata; Clocks; Computational modeling; Computer science; Concurrent computing; Condition monitoring; Helium; Real time systems; Timing; Turing machines;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.159840

Filename

159840