The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1992 vol.18)
pp: 805-816
ABSTRACT
<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>
INDEX TERMS
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
CITATION
A.C. Shaw, "Communicating Real-Time State Machines", IEEE Transactions on Software Engineering, vol.18, no. 9, pp. 805-816, September 1992, doi:10.1109/32.159840
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool