An efficient state space generation for analysis of real-time systems

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 4-13

  Kang, Inhye ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE TESTING; SPACE RESEARCH;

ANALYSIS AND TESTING; COMPACT REPRESENTATION; EQUIVALENT CLASS; EQUIVALENT STATE; STATE EXPLOSION; STATE-SPACE GENERATION; TIMING INFORMATION; TIMING PROPERTIES;

REAL TIME SYSTEMS;

EID: 85011809633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226297     Document Type: Conference Paper

References (15)

1. R Alur, C. Courcoubetis, and D. Dill. Model Checking for Real-time Systems. In Proc. of lEEE Symposium on Logic in Computer Science, 1990.
2. R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H Wong-Toi. An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness. In Proc. of lEEE Real-Time Systems Symposium, 1992.
3. R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of Timed Transition Systems. In W.R. Cleaveland, editor, Proceedings of International Conference on Concurrency Theory, Lecture Notes in Computer Science vol. 630. Springer-Verlag, August 1992.
4. Duncan Clarke, Insup Lee, and Hong-Liang Xie. VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems. Journal of Computer and Software Engineering, 3(2), April 1995.
5. W.M. Elseaidy, R. Cleaveland, and J.W. Baugh Jr. Verifying an Intelligent Structural Control System: A Case Study. In Proc. of lEEE Real-Time Systems Symposium, 1994.
6. C. Heitmeyer, R Jeffords, and B. Labaw. Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In Proc. 10 th IEEE Workshop on Real-Time Operating Systems and Software, May 1993.
7. T.A. Henzinger, E Ho, and H. Wong-Toi. A User Guide to HYTECH. Technical Report CSD-TR-95-1532, Cornell Univ., 1995.
8. E Jahanian and D. A. Stuart. A Method for Verifying Properties of Modechart Specifications. In Proc. of IEEE Real-Time Systems Symposium, 1988.
9. lnhye Kang. CTSM: A Formalism for Real-Time System Analysis based on State-Space Exploration. Ph.D. Dissertation Proposal, February 1995.
10. [l 0] Inhye Kang and Insup Lee. State Minimization for Concurrent System Analysis Based on State Space Exploration. In Proceedings of Conference on Computer Assurance, June 1994.
11. [1l] R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. X. Nicollin, J. Sifakis, and S. Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE Transactions on Software Engineering, 18(10), September 1992.
13. J.S. Ostroff. Deciding Properties of Timed Transition Models. IEEE Transactions on Parallel and Distributed Systems, 1 (2), April 1990.
14. A. C. Shaw. Communicating Real-Time State Machines. IEEE Transactions on Software Engineering, 18(9), September 1992.
15. M. Yannakakis and D. Lee. An Efficient Algorithm for Minimizing Real-time Transition Systems. In Proceedings of Workshop on Computer-Aided Verification, 1993.