Automata Driven Approach to Simulation of Embedded Computing Systems

摘要

The goal of this paper is to develop a new formalism for modeling of embedded systems. We introduce a new formalism based on timed automata. Subsequently, we show that it is strictly more expressive than closed queuing networks with constant times that are often used in simulation. We introduce conversion algorithm and estimate its complexity. We formulate a simulation method that work in real-time and is faster than traditional closed queuing network simulation.