Systematic implementation of real-time models

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 139-156

  De Wulf, Martin ^a   Doyen, Laurent ^a   Raskin, Jean François ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING; NETWORK PROTOCOLS; SEMANTICS;

CLASSICAL SEMANTICS; REAL-TIME CONTROLLERS; REAL-TIME MODELS; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 26444560903     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_11     Document Type: Conference Paper

References (10)

1. [AD94] Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. [BPV94] D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio Control Protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863, pages 170-192, Lübeck, Germany, 1994. Springer-Verlag.
3. [CHR02] F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In HSCC 02: Hybrid Systems - Computation and Control, Lecture Notes in Computer Science 2289, pages 134-148. Springer-Verlag, 2002.
4. [DDR04] M. De Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics: From timed models to timed implementations. In HSCC 04: Hybrid Systems - Computation and Control, Lecture Notes in Computer Science 2993, pages 296-310. Springer-Verlag, 2004.
5. [DDR05] M. De Wulf, L. Doyen, and J.-F. Raskin. Systematic implementation of real-time models (extended version). Technical Report 543, U.L.B., 2005. http://www.ulb.ac.be/di/publications/.
6. [Doy03] Laurent Doyen. A systematic implementation of simple timed controllers. Technical Report 504, U.L.B., 2003.
7. [HHWT95] Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. Hytech: The next generation. In 16th Annual Real-Time Systems Symposium (RTSS), pages 56-65. IEEE Computer Society Press, 1995.
8. [HWT95] P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, Proceedings of the 7th International Conference On Computer Aided Verification, volume 939, pages 381-394, Liege, Belgium, 1995. Springer Verlag.
9. [LT87] N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In 6th ACM Symp. on Principles of Distributed Computing, pages 137-151, 1987.
10. [PL00] Paul Pettersson and Kim G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, February 2000.