Please use this identifier to cite or link to this item: https://doi.org/10.1109/TSE.2008.52
Title: Timed automata patterns
Authors: Dong, J.S. 
Hao, P.
Qin, S.
Sun, J. 
Yi, W.
Keywords: TCOZ
Timed Automata
Timed patterns
UPPAAL
Issue Date: 2008
Source: Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W. (2008). Timed automata patterns. IEEE Transactions on Software Engineering 34 (6) : 844-859. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2008.52
Abstract: Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variables. A number of automated analyzers for Timed Automata have been developed. However, Timed Automata lack of composable patterns for high-level system design. Logic-based specification languages like Timed CSP and TCOZ are well suited for presenting compositional models of complex real-time systems. In this work, we define a set of composable Timed Automata patterns based on hierarchical constructs in timed enriched process algebras. The patterns facilitate hierarchical design of complex systems using Timed Automata. They also allow a systematic translation from Timed CSP/TCOZ models to Timed Automata so that analyzers for Timed Automata can be used to reason about TCOZ models. A prototype has been developed to support system design using Timed Automata patterns or, if given a TCOZ specification, to automate the translation from TCOZ to Timed Automata. © 2008 IEEE.
Source Title: IEEE Transactions on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/38951
ISSN: 00985589
DOI: 10.1109/TSE.2008.52
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

44
checked on Dec 7, 2017

WEB OF SCIENCETM
Citations

27
checked on Nov 23, 2017

Page view(s)

46
checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric


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