Modelling a Real-Time Language
Thomas S. Hune · 2000
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 used by the tool Uppaal. We have implemented the translation and give an example of it's application on a control program for a car. Some properties of the behaviour of the control program are verified using the derived model.