Verification via digitized models of real-Time hybrid systems

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 1996, Pages 4-15

  Van Hung, Dang ^a   Il, Ko Kwang ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; HYBRID SYSTEMS; SOFTWARE ENGINEERING;

DIGITIZED MODEL; DISTRIBUTED SYSTEMS; DURATION CALCULUS; INTUITIVE MODELING; REAL TIME; SPECIFICATION AND VERIFICATION; SYSTEM CLOCK;

REAL TIME SYSTEMS;

EID: 33750926698     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1996.566735     Document Type: Conference Paper

References (11)

1. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio Control Protocol. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Sczence, pages 170-192. Springer-Verlag, 1994.
2. Z. Chaochen, M. Hansen, and P. Sestoft. Decidability and Undecidability Results for Duration Calculus. In A. F. P. Enjalbert and K. Wagner, editors, STACS93, volume 665 of Lecture Notes in Computer Science, pages 58-68. Springer-Verlag, 1993.
3. Z. Chaochen, D. V. Hung, and L. Xiaoshan. A Duration Calculus with Infinite Intervals. In H. Reichel, editor, Fundamentals of Computing Theory, volume 965 of Lecture Notes in Computer Science, pages 16-41. Springer-Verlag, 1995.
4. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages and Computation. Reading, MA, Addison-Wesley, 1979.
5. D. Hung and K. K. 11. Verification via Digitized Models of Real-Time Hybrid Systems. Technical Report 54, UNU/IIST, P.O. Box 3058 Macau, 1996.
6. B. Mahony and I. Hayes. Using Continuous Real Functions to Model Timed Histories. In 6th Australian Software Engineering Conference, AS WEC91, 1991.
7. J. S. Moore. A Formal Model of Asynchronous Communication and Its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Aspects of Computing, 6, 1994.
8. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 317-356. Springer-Verlag, 1993.
9. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 149-178. Springer-Verlag, 1993.
10. A. Pnueli. Development of Hybrid Systems. In Formal Techniques in Real-Tame and Fault-Tolerant Systems, volume 863 of Lecture Notes an Computer Science. Springer-Verlag, 77-80 1994.
11. A. P. R. Zhou Chaochen, C. A. R. Hoare. A Calculus of Durations. Information Processing Letters, 40:269-276, 1992.