Hdl Handle:
http://hdl.handle.net/10149/110688
Title:
Timed Automata Patterns
Authors:
Dong, J. S. (Jin Song); Hao, P. (Ping); Qin, S. (Shengchao); Sun, J. (Jun); Yi, W. (Wang)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Dong, J. S. et. al. (2008) 'Timed Automata Patterns', IEEE Transactions on Software Engineering, 34(6), pp.844-859.
Publisher:
IEEE
Journal:
IEEE Transactions on Software Engineering
Issue Date:
Nov-2008
URI:
http://hdl.handle.net/10149/110688
DOI:
10.1109/TSE.2008.52
Additional Links:
http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4586397
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.
Type:
Article
Language:
en
Keywords:
TCOZ; timed automata; timed patterns; UPPAAL
ISSN:
0098-5589
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
2 [Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDong, J. S. (Jin Song)en
dc.contributor.authorHao, P. (Ping)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorSun, J. (Jun)en
dc.contributor.authorYi, W. (Wang)en
dc.date.accessioned2010-09-03T15:01:51Z-
dc.date.available2010-09-03T15:01:51Z-
dc.date.issued2008-11-
dc.identifier.citationIEEE Transactions on Software Engineering; 34(6):844-859en
dc.identifier.issn0098-5589-
dc.identifier.doi10.1109/TSE.2008.52-
dc.identifier.urihttp://hdl.handle.net/10149/110688-
dc.description.abstractTimed 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.en
dc.language.isoenen
dc.publisherIEEEen
dc.relation.urlhttp://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4586397en
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectTCOZen
dc.subjecttimed automataen
dc.subjecttimed patternsen
dc.subjectUPPAALen
dc.titleTimed Automata Patternsen
dc.typeArticleen
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.identifier.journalIEEE Transactions on Software Engineeringen
ref.citationcount2 [Scopus, 03/09/2010]en
or.citation.harvardDong, J. S. et. al. (2008) 'Timed Automata Patterns', IEEE Transactions on Software Engineering, 34(6), pp.844-859.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.