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
Source: 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.

SCOPUSTM   
Citations

6
checked on Dec 5, 2017

Page view(s)

59
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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