Issue No. 09 - September (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.159840
<p>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.</p>
communicating real-time state machines; executable notation; concurrent real-time systems; controlled physical environment; state machines; CRSMs; timing properties; CRSM language; requirements specification; communicating sequential processes; finite state machines; formal specification; parallel machines; real-time systems
A. Shaw, "Communicating Real-Time State Machines," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 805-816, 1992.