Tool-supported hierarchical design of distributed real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1998, Pages 222-229

  Dierks, Henning ^a   Tapken, Josef ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED REAL TIME SYSTEM; FORMAL DESCRIPTION TECHNIQUES; HIERARCHICAL DESIGN; REAL-WORLD; SOURCE CODES; VERIFICATION METHOD;

AUTOMATA THEORY; DESIGN; TOOLS;

REAL TIME SYSTEMS;

EID: 0004501359     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1998.685088     Document Type: Conference Paper

References (12)

1. R. Alur, T. Henzinger, and E. Sontag, editors. Hybrid Systems III, volume 1066 of LNCS. Springer, 1996.
2. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and Wang Yi. Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems. In Alur et al. [1]. 232-243.
3. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Alur et al. [1], pages 208-219.
4. H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, ARTS'97, volume 1231 of LNCS, pages 111-125, Mallorca, Spain, May 1997. Springer.
5. H. Dierks. Synthesising Controllers from Real-Time Specifications. In Tenth International Symposium on System Synthesis, pages 126-133. IEEE CS Press, Sept. 1997.
6. H. Dierks, A. Fehnker, A. Mader, and F. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. Technical report, Computing Science Institute, University of Nijmegen, Feb. 1998.
7. 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.
8. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985. (Pubitemid 15598244)
9. A. Ravn. Design of Embedded Real-Time Computing Systems. Technical Report 1995-170, Technical University of Denmark, 1995.
10. J. Tapken. Implementing Hierarchical Graph-Structures. Technical report, University of Oldenburg, 1997. submitted.
11. J. 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.
12. Zhou Chaochen, C. Hoare, and A. Ravn. A Calculus of Durations. IPL, 40/5:269-276, 1991.