MOBY/PLC — A design tool for hierarchical real-time automata

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

Volumn 1382, Issue , 1998, Pages 326-329

  Tapken, Josef ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; C++ (PROGRAMMING LANGUAGE); HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; SOFTWARE ENGINEERING;

CLASS LIBRARIES; CODE GENERATION; DISTRIBUTED REAL TIME SYSTEM; GRAPHICAL DESIGNS; GRAPHICAL FORMALISMS; HIERARCHICAL GRAPHS; REAL-TIME AUTOMATON; SPECIAL CLASS;

REAL TIME SYSTEMS;

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

References (7)

1. Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5: 269-276, 1991.
2. 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.
3. Henning Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In ARTS'97, LNCS. Springer Verlag, May 1997.
4. Hans Fleischhack and Josef Tapken. An M-Net Semantics for a Real-Time Extension of μSDL. In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of LNCS, pages 162-181. Springer Verlag, 1997.
5. 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.
6. Josef Tapken. Implementing Hierarchical Graph-Structures. Technical report, University of Oldenburg, 1997.
7. 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.