Operational and logical semantics for polling real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1486, Issue , 1998, Pages 29-40

  Dierks, Henning ^a   Fehnker, Ansgar ^b   Mader, Angelika ^b   Vaandrager, Frits ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

CONTROL PROCESS; DURATION CALCULUS; LOGICAL SEMANTICS; OPERATIONAL SEMANTICS; REAL-TIME AUTOMATON; SOURCE CODES; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 84958641603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055334     Document Type: Conference Paper

References (15)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
3. J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and Wang Yi. UPPAAL: a tool suite for the automatic verification of real-time systems. In Alur et al. [2], pages 232-243.
4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Alur et al. [2], pages 208-219.
5. H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, ARTS'97, volume 1231 of Lecture Notes in Computer Science, pages 111-125, Mallorca, Spain, May 1997. Springer-Verlag.
6. H. Dierks. Synthesising Controllers from Real-Time Specifications. In Tenth International Symposium on System Synthesis, pages 126-133. IEEE CS Press, September 1997.
7. H. Dierks and C. Dietz. Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing". In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, volume 1313 of Lecture Notes in Computer Science, pages 20-39, Graz, Austria, September 1997. Springer-Verlag.
8. H. Dierks, A. Fehnker, A. Mader, and F. Vaandrager. Operational and logical semantics for polling real-time systems. CSI-R9813, University of Nijmegen, april 1998.
9. H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Proceedings of EuroMicro 98, 1998. to appear.
10. Z. Kohavi. Switching and Finite Automata Theory. McGraw-Hill, Inc., 1970.
11. B. Krieg-Briickner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM- Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Statusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, March 1996.
12. th Conf. on Computer-based Systems and Software Engineering. IEEE Press, 1996.
13. A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical Report 1995-170, Technical University of Denmark, 1995.
14. Zhou Chaochen. Duration Calculi: An overview. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of Lecture Notes in Computer Science, pages 256-266. Springer-Verlag, 1993.
15. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269-276, 1991.