On checking parallel real-time systems for linear duration properties

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

Volumn 1486, Issue , 1998, Pages 241-250

  Jianhua, Zhao ^a   Van Hung, Dang ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; SPACE RESEARCH;

BISIMULATION EQUIVALENCES; COMPATIBILITY RELATION; MUTUAL EXCLUSION PROTOCOL; PARALLEL COMPOSITION; REAL-TIME AUTOMATON; REAL-TIME PROPERTIES; SIMULATION RELATION; STATE SPACE EXPLORATION;

REAL TIME SYSTEMS;

EID: 84958668482     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055351     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, and T.A. Henzinger. Computing accumulated delays in real-time systems. In Proceedings o/the Fifth Conference on Computer-Aided Verification, LNCS 693, pages 181-193. Springer-Verlag, 1993.
2. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proe. Of ICALP'90, LNCS 443, 1990.
3. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, number 1066 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
4. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. In InformaLion Processing Letter 40,5, pages 269-276, 1991.
5. Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan. Linear Duration Invariants. Research Report 11, IJNU/IIST, P.O.Box 3058, Macau, July 1993. Published in: Formal Techniques in Real-Time and Fault-Tolerant systems, LNCS 863, 1994.
6. Li Xuan Dong and Dang Van Hung. Checking Linear Duration invariants by Linear Programming. Research Report 70, UNU/IIST, P.O.Box 3058, Macau, May 1996. Published in Joxan Jaffar and Roland H. C. yap (Eds.), Concurrency and Palalcllism, Programming, Networking, and Security LNCS 1179, Springer-Verlag, Dec 1996, pp. 321-332.
7. Li Xuan Dong, Dang Van Hung, and Zheng Tao. Checking Hybrid Automata for Linear Duration Invariants. Research Report 109, UNU/IIST, P.O.Box 3058, Macau, June 1997. Published in R.K.Shamasundar, K.Ueda (Eds.), Advances in Computing Science, Lecture Notes in Computer Science 1345, Springer-Verlag, pp.166-180.
8. Kere J. Kristoffersen, Francois Larroussinie, Kim G.Larsen, Paul Pettersson, and Wang Yi. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In Proceedings of TAPSOFT'97, the 7th International Joint Conference on the Theory and Practice of Software Development, pages 14-18, April 1997.
9. Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction. December 1997. Accepted for presentation at the 18th IEEE Real-Time Systems Symposium. San Francisco, California, USA.
10. Kim G Larsen and Paul Pettersson, Wang Yi. UPPAAL: Status & Developments. In Orna Grumberg, editor, Proceedings of the 9th International Conference on Computer-Aided Verification. Haifa, Israel, LNCS 1254, pages 456-459. Springer-Verlag, June 1997.
11. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A Users Guide to HyTech. Technical report, Department of Computer Science, Cornell University, 1995.
12. Pham Hong Thai and Dang Van Hung. Checking a regular class of Duration Calculus Models for Linear Duration Invariants. Technical Report 118, UNU/IIST, P.O.Box 3058, Macan, July 1997. Published in the Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), 20-21 April 1998, Kyoto, Japan, Bernd Kramer, Naoshi Uchihira, Peter Croll and Stefano Russo (Eds), IEEE Computer Society Press, 1998, pp. 61-- 71.
13. Mihalis Yannakakis and David Lee. An Efficient Algorithm for Minimizing Real- Time Transition Systems. Formal Methods in System Design, 11(2):113-136, August 1997.
14. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration Graphs: A Class of Decidable Hybrid Systems. In Hybrid System, number 736 in LNCS, pages 179-208, 1993.