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.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.