Timed automata as task models for event-driven systems

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 182-189

  Norstrom, C ^a   Wall, A ^a   Yi, Wang ^a,b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING;

DISCRETE TRANSITIONS; EVENT-DRIVEN SYSTEM; EXECUTABLE PROGRAMS; EXTENDED TIMED AUTOMATA; HARD REAL-TIME SYSTEMS; MODEL CHECKING TOOLS; REACHABILITY PROBLEM; SCHEDULABILITY ANALYSIS;

REAL TIME SYSTEMS;

EID: 84971240634     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811218     Document Type: Conference Paper

References (13)

1. R. Alur. Model-checking in dense real-Time. Information and computing, 1993.
2. R. Alur and D. Dill. Automata for modelling real-Time systems. In Proceedings of ICALP90, volume 443 of Lecture Notes in Computer Science. Springer, 1990.
3. Bengtsson, Griffioen, Kristoffersen, Larsen, L. an d Pettersson, and Yi. Verification of an audio protocol with bus collision using uppaal. In Proceedings of CAV96, volume 1102, 1996.
4. J. Bengtsson, K. G. Larsen, E Larsson, P. Pettersson, and W. Yi. UPPAAL in 1995. In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes in Computer Science, pages 431-434. Springer-Verlag, Mar. 1996.
5. G. C. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, 1997.
6. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with KRONOSIn. Proc. of the 16th IEEE Real-Time Systems Symposium, pages 66-75, Dec. 1995.
7. M. L. Dertouzos. Control robotics: The procedural control of physical processes. Information Processing, 1974.
8. H. Huttel and K. G. Larsen. The use of static constructs in a modal process logic. In Logic at Botik89, number 363, pages 163-180. Springer-Verlag, 1989.
9. K. G. Larsen, P. Patterson, and Y. Wang. UPPAAL in a nutshell. Springer International Journal of Software Tools for Technology Transfer, 1, 1997.
10. K. G. Larsen, P. Petterson, and Y. Wang. Compositional and symbolic model-checking of real-Time systems. In Proceedings of the 16th Real-Time Systems Symposium, pages 76-87. IEEE Computer Society Press, 1995.
11. M. Lindahl, P. Pettersson, and W. Yi. Formal design and analysis of a gear controller. Lecture Notes in Computer Science, 1384:281-297, 1998.
12. C. Liu and J. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the Association for Computing Machinery, 2, 1973.
13. H. Lonn, P. Pettersson, and W. Yi. Formal Verification of a TDMA Protocol Start-up Mechanism. In Proceedings of 1997 IEEE Pacc Rim International Symposium on Fault-Tolerant Systems, pages 235-242, 1997.