|
Authors: | Simon Perathoner, Ernesto Wandeler, Lothar Thiele |
Group: | Computer Engineering |
Type: | Techreport |
Title: | Timed Automata Templates for Distributed Embedded System Architectures |
Year: | 2005 |
Month: | November |
Pub-Key: | PWT05 |
Keywords: | MPA |
Rep Nbr: | 233 |
Abstract: | Networks of timed automata can be used to specify and verify distributed embedded systems. This technical report provides timed automata templates for a few basic components of such systems as a first step towards a library of reusable components which shall facilitate the design and analysis of large distributed embedded systems. In particular timed automata templates for common input event streams and for TDMA-scheduling are provided. |
Resources: | [BibTeX] [Paper as PDF] |