Models for reactivity

A hierarchy of models that capture realistic aspects of reactive, real-time, and hybrid systems is introduced. On the most abstract level, the qualitative (non-quantitative) model of reactive systems captures the temporal precedence aspect of time. A more refined model is that of real-time systems,...

Full description

Bibliographic Details
Published in:Acta informatica, Vol. 30, No. 7 (1993), p. 609-678
Main Author: Manna, Zohar
Other Involved Persons: Pnueli, Amir
Format: electronic Article
Language:English
ISSN:1432-0525
Item Description:This research was supported in part by the National Science Foundation under grant CCR-92-23226, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0139, by the European Community ESPRIT Basic Research Action Project 6021 (REACT), and by the France-Israel project for cooperation in Computer Science. An extended abstract of this paper appeared in [MP92], while a preliminary version of Section 4 appeared in [MP93].
Physical Description:Online-Ressource
DOI:10.1007/BF01191722
Subjects:
QR Code: Show QR Code
LEADER 02203nma a2200313 c 4500
001 SPR011746084
003 DE-601
005 20150324070409.0
007 cr uuu---uuuuu
008 150313s1993 000 0 eng d
024 7 |a 10.1007/BF01191722  |2 doi 
024 8 |a BF01191722 
035 |a BF01191722 
040 |b ger  |c GBVCP 
041 0 |a eng 
100 1 |a Manna, Zohar 
245 1 0 |a Models for reactivity  |h Elektronische Ressource 
300 |a Online-Ressource 
500 |a This research was supported in part by the National Science Foundation under grant CCR-92-23226, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0139, by the European Community ESPRIT Basic Research Action Project 6021 (REACT), and by the France-Israel project for cooperation in Computer Science. An extended abstract of this paper appeared in [MP92], while a preliminary version of Section 4 appeared in [MP93]. 
520 |a A hierarchy of models that capture realistic aspects of reactive, real-time, and hybrid systems is introduced. On the most abstract level, the qualitative (non-quantitative) model of reactive systems captures the temporal precedence aspect of time. A more refined model is that of real-time systems, which represents the metric aspect of time. The third and most detailed model is that of hybrid systems, which allows the incorporation of continuous components into a reactive system. For each of the three levels, we present a computational model, a requirement specification language based on extensions of temporal logic, system description languages based on Statecharts and a textual programming language, proof rules for proving validity of properties, and examples of such proofs. 
611 2 7 |a OriginalPaper  |2 gnd 
689 0 0 |A f  |a OriginalPaper 
689 0 |5 DE-601 
700 1 |a Pnueli, Amir 
773 0 8 |i in  |t Acta informatica  |d Berlin : Springer  |g Vol. 30, No. 7 (1993), p. 609-678  |q 30:7<609-678  |w (DE-601)SPR011737581  |x 1432-0525 
856 4 1 |u http://dx.doi.org/10.1007/BF01191722  |3 Volltext 
912 |a GBV_SPRINGER 
951 |a AR 
952 |d 30  |j 1993  |e 7  |c 07  |h 609-678