Communicating Real-Time State Machines.

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