TY - JOUR AU - Hune, Thomas S. PY - 2000/08/01 Y2 - 2024/03/28 TI - Modeling a Language for Embedded Systems in Timed Automata JF - BRICS Report Series JA - BRICS VL - 7 IS - 17 SE - Articles DO - 10.7146/brics.v7i17.20144 UR - https://tidsskrift.dk/brics/article/view/20144 SP - AB - We present a compositional method for translating real-time<br />programs into networks of timed automata. Programs are written in an<br />assembly like real-time language and translated into models supported<br />by the tool Uppaal. We have implemented the translation and give an<br />example of its application on a simple control program for a car. Some<br />properties of the behavior of the control program are verified using the<br />generated model. ER -