Verification of hierarchical state/event systems using reusability and compositionality

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

Volumn 1579, Issue , 1999, Pages 163-177

  Behrmann, Gerd ^a   Larsen, Kim G ^a   Andersen, Henrik R ^b   Hulgaard, Henrik ^b   Lind Nielsen, Jørn ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY;

COMPOSITIONALITY; FINITE STATE SYSTEMS; HIERARCHICAL STATE; HIERARCHICAL STRUCTURES; INDUSTRIAL SYSTEMS; NEW APPROACHES; REACHABILITY; REAL SYSTEMS;

HIERARCHICAL SYSTEMS;

EID: 84948979840     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49059-0_12     Document Type: Conference Paper

References (16)

1. Baan VisualState A/S. http://www. visualstate. com.
2. I-Logix Inc. http://www. ilogix. com.
3. ObjecTime Limited. http://www. objectime. on. ca.
4. Rational Software Corporation. http://www. rational. com.
5. Rajeev Alur and Mihalis Yannakakis. Model Checking of Hierarchical State Ma-chines. Proceedings of the 6th ACM Symposium on Foundations, 1998.
6. Steffen Braa Andersen, Gerd Behrmann, Claus Krogholm Pedersen, and Peter Smed Vestergaard. Reuseability and Compositionality applied to Verification of Hierarchical Systems. Master's thesis, Aalborg University, June 1998.
7. Gerd Behrmann, Kim G. Larsen, Henrik R. Andersen, Henrik Hulgaard, and Jérn Lind-Nielsen. Verification of Hierarchical State/Event Systems. To appear as a BRICS report (http://www. brics. dk), 1999.
8. G. Booch, I. Jacobsen, and J. Rumbaugh. Unified Modelling Language User Guide. Addison Wesley, 1997.
9. Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35: 677-691, August 1986.
10. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231-274, 1987.
11. F. Jahanian and A. K. Mok. A graphtheoretic approach for timing analysis and its implementation. IEEE Transactions on Computers, C-36(8): 961-975, 1987.
12. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requiremets spec-ification for process control systems. IEEE Transactions on Software Engineering, 20(9): 694-707, September 1994.
13. Jérn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kéare Kristoffersen, and Kim G. Larsen. Verification of Large State/Event Systems us-ing Compositionality and Dependency Analysis. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 201-216. Springer, March/April 1998.
14. David Y. W. Park, Jens U. Skakkebék, and David L. Dill. Static Analysis to Identify Invariants in RSML Specifications. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of Lecture Notes in Computer Science, pages 133-142. Springer, September 1998.
15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991.
16. B. Selic, G. Gullekson, and P. T. Ward. Real-time object oriented modeling and design. J. Wiley, 1994.