Modeling a Language for Embedded Systems in Timed Automata

Forfattere

  • Thomas S. Hune

DOI:

https://doi.org/10.7146/brics.v7i17.20144

Resumé

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.

Downloads

Publiceret

2000-08-01

Citation/Eksport

Hune, T. S. (2000). Modeling a Language for Embedded Systems in Timed Automata. BRICS Report Series, 7(17). https://doi.org/10.7146/brics.v7i17.20144