A process algebra for real-time programs

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

Volumn 1783, Issue , 2000, Pages 66-81

  Dierks, Henning ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY;

ALGEBRAIC LAWS; COMPOSITION OPERATORS; NORMAL FORM; ONE-MACHINE; PROCESS ALGEBRAS; REAL TIME; REAL TIME PROGRAMS;

SOFTWARE ENGINEERING;

EID: 84945267863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_6     Document Type: Conference Paper

References (20)

1. R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In Fifth Annual IEEE Symp. on Logic in Computer Science, pages 414-425. IEEE Press, 1990.
2. R. Alur and D.L. Dill. A theory of timed automata. TCS, 126:183-235, 1994.
3. J.W. Davies and S.A. Schneider. A Brief History of Timed CSP. TCS, 138, 1995.
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. Specication and Verication of Polling Real-Time Systems. PhD thesis, University of Oldenburg, July 1999.
6. H. Dierks. Synthesizing Controllers from Real-Time Speci_cations. IEEE Transac-tions on Computer-Aided Design of Integrated Circuits and Systems, 18(1):33-43, 1999.
7. H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In Ravn and Rischel [16], pages 29-40.
8. H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Proceedings of the 10th EuroMicro Workshop on Real Time Systems, pages 222-229. IEEE Computer Society, June 1998.
9. M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. For- mal Aspects of Computing, 9:283-330, 1997.
10. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111:193-244, 1994.
11. B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM - Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Sta- tusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, March 1996.
12. K.G. Larsen, P. Petterson, and Wang Yi. Uppaal in a nutshell. Software Tools for Technology Transfer, 1(1+2):134-152, December 1997.
13. O. Maler and A. Pnueli. Timing Analysis of Asynchronous Circuits using Timed Automata. In Proc. CHARME'95, volume 987 of LNCS, pages 189-205. Springer, 1995.
14. O. Maler and S. Yovine. Hardware Timing Veri_cation using Kronos. In Proc. 7th Conf. on Computer-based Systems and Software Engineering. IEEE Press, 1996.
15. X. Nicollin, J. Sifakis, and S. Yovine. Compiling Real-Time Speci_cations into Extended Automata. IEEE Transactions on Software Engineering, 18(9):794-804, September 1992.
16. A.P. Ravn and H. Rischel, editors. Formal Techniques in Real-Time and Fault- Tolerant Systems, volume 1486 of LNCS, Lyngby, Denmark, September 1998. Springer.
17. S.A. Schneider. An Operational Semantics for Timed CSP. Information and Computation, 116:193-213, 1995.
18. J. Tapken and H. Dierks. MOBY/PLC - Graphical Development of PLCAutomata. In Ravn and Rischel [16], pages 311-314.
19. S. Yovine. Kronos: a veri_cation tool for real-time systems. Software Tools for Technology Transfer, 1(1+2):123-133, December 1997.
20. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. IPL, 40/5:269-276, 1991.