Modeling a Language for Embedded Systems in Timed Automata

  • Thomas S. Hune

Abstract

We present a compositional method for translating real-time
programs into networks of timed automata. Programs are written in an
assembly like real-time language and translated into models supported
by the tool Uppaal. We have implemented the translation and give an
example of its application on a simple control program for a car. Some
properties of the behavior of the control program are verified using the
generated model.
Published
2000-08-01
How to Cite
Hune, T. (2000). Modeling a Language for Embedded Systems in Timed Automata. BRICS Report Series, 7(17). https://doi.org/10.7146/brics.v7i17.20144