Moby/PLC - Graphical development of PLC-automata

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

Volumn 1486, Issue , 1998, Pages 311-314

  Tapken, Josef ^a   Dierks, Henning ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FAULT TOLERANCE; HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; PROGRAMMABLE LOGIC CONTROLLERS;

CODE GENERATION; DISTRIBUTED REAL TIME SYSTEM; GRAPHICAL DESIGNS; GRAPHICAL DEVELOPMENT; HARDWARE PLATFORM; REAL-TIME AUTOMATON; SPECIAL CLASS;

REAL TIME SYSTEMS;

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

References (9)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and Wang Yi. Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems. In Hybrid Systems III, volume 1066 of LNCS, pages 232-243. Springer Verlag, 1996.
3. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269-276, 1991.
4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, volume 1066 of LNCS, pages 208-219. Springer Verlag, 1996.
5. H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Proceedings of Euromicro 98, pages 222-229. IEEE, 1998.
6. Henning Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In ARTS'97, LNCS. Springer Verlag, May 1997.
7. Henning Dierks, Ansgar Fehnker, Angelika Mader, and Frits Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In FTRTFT'98, LNCS. Springer Verlag, September 1998. to appear.
8. B. Krieg-Brückner, J. Peleska, E.-R. Olderog, et al. UniForM — Universal Formal Methods Workbench. In Statusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, 1996.
9. Josef Tapken. Interactive and Compilative Simulation of PLC-Automata. In W. Hahn and A. Lehmann, editors, Simulation in Industry, ESS'97, pages 552-556. SCS, 1997.