Timed Automata Templates for Distributed Embedded System Architectures

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.