Timed automata approach to real time distributed system verification

IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS

Volumn , Issue , 2004, Pages 407-410

  Krákora, Jan ^a   Waszniowski, Libor ^a   Píša, Pavel ^a   Hanzálek, Zdeněk ^a  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Controller Area Network; Distributed Real Time System; Model Checking; Timed Automata

Indexed keywords

AUTOMATION; CONTROL EQUIPMENT; CONTROL SYSTEM ANALYSIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; REAL TIME SYSTEMS; SYNCHRONIZATION;

CONTROLLER AREA NETWORK; DISTRIBUTED REAL-TIME SYSTEM; MODEL CHECKING; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 17744381213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools, volume 7 of ISBN: 3-540-41523-8. Springer, 2001.
3. A. W. C.M. Bailey C.M., A. Burns and C. Forsyth. A performance analysis of a hard real-time system. Pergamon, 3(4):447-464, 1995. Control Engineering Practice.
4. K. Etschberger, R. Hofmann, J. Stolberg, C. Schlegel, and S. Weiher. Controller Area Network: Basics, Protocols, Chips and Applications. ISBN: 3-00-007376-0. IXXAT Automationpress, 2001.
5. G. Juanole. Modélis. Éval. protocol MAC du rseau CAN. École ETR99, Sept. 1999. Control Engineering Practice.
6. J. Krákora and Z. Hanzálek. Timed automata approach to CAN verification. INCOM 2004, 2004.
7. J. C. Palencia and M. G. Harbor. Schedulability analysis for tasks with static and dynamic offsets. IEEE Real-Time Systems, 1998.
8. P. Pettersson and K. G. Larsen. UPPAAL2k, 2000. cite-seer.nj.nec.com/ pettersson00uppaalk.html.
9. OSEK/VDX: Specification 2.1, 2000. http://www.osek-vdx.org.
10. K. Tindell and A. Burns. Guaranteed message latencies for distributed safety critical hard real-time networks, 1994.
11. L. Waszniowski and Z. Hanzálek. Analysis of real-time operating system based applications. FORMATS 2003, 2003.