Output details

Timed automata patterns

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