Please use this identifier to cite or link to this item:
https://doi.org/10.1145/1882291.1882350
Title: | Analyzing hierarchical complex real-time systems | Authors: | Liu, Y. Sun, J. Dong, J.S. |
Keywords: | real-time system zone abstraction |
Issue Date: | 2010 | Citation: | Liu, Y.,Sun, J.,Dong, J.S. (2010). Analyzing hierarchical complex real-time systems. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering : 365-366. ScholarBank@NUS Repository. https://doi.org/10.1145/1882291.1882350 | Abstract: | Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze real-time systems, which supports system modeling, animated simulation and automatic verification (based on advanced model checking techniques like dynamic zone abstraction). In this tool, we adopt an event-based modeling language for describing real-time systems with hierarchical structure. Experiments show that our tool has compatible performance with the state-of-the-art verifiers, and complement them with additional capabilities like LTL model checking, timed refinement checking. | Source Title: | Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering | URI: | http://scholarbank.nus.edu.sg/handle/10635/40019 | ISBN: | 9781605587912 | DOI: | 10.1145/1882291.1882350 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.