The Community for Technology Leaders
Green Image
Issue No. 01 - January (1993 vol. 19)
ISSN: 0098-5589
pp: 56-69
<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", IEEE Transactions on Software Engineering, vol. 19, no. , pp. 56-69, January 1993, doi:10.1109/32.210307
102 ms
(Ver 3.3 (11022016))