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