Output details
11 - Computer Science and Informatics
Teesside University
Article title
Timed automata patterns
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
34
Issue number
6
First page of article
844
ISSN of journal
0098-5589
Year of publication
2008
Number of additional authors
4
Additional information
<07> We propose a set of composable Timed Automata patterns based on hierarchical constructs in time-enriched process algebras. The patterns facilitate the hierarchical design of complex systems using Timed Automata and allow a systematic translation from high level models (e.g. in Timed CSP/TCOZ) to Timed Automata so that analysers for Timed Automata can be used to reason about high level models. This work is original as it is the first work to propose such a rich set of timed patterns. It is significant as it provides a generic reusable framework for developing real-time systems solely using Timed Automata.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
22
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-