Issue No. 01 - January (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.210307
<p>The joint action approach to modeling of reactive systems is presented and augmented with real time. This leads to a stepwise design method where temporal logic of actions can be used for formal reasoning, superposition is the key mechanism for transformations, the advantages of closed-system modularity are utilized, logical properties are addressed before real-time properties, and real-time properties are enforced without any specific assumptions on scheduling. As a result, real-time modeling is made possible already at early stages of specification, and increased insensitivity is achieved with respect to properties imposed by implementation environments.</p>
real-time systems; reactive systems; stepwise design method; temporal logic; formal reasoning; closed-system modularity; real-time properties; scheduling; formal specification; real-time systems; temporal logic
R. Kurki-Suonio, "Stepwise Design of Real-Time Systems," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 56-69, 1993.