The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1993 vol.19)
pp: 56-69
ABSTRACT
<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>
INDEX TERMS
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
CITATION
R. Kurki-Suonio, "Stepwise Design of Real-Time Systems", IEEE Transactions on Software Engineering, vol.19, no. 1, pp. 56-69, January 1993, doi:10.1109/32.210307
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool