Over-approximate model of multitasking application based on timed automata using only one clock

@article{Waszniowski2005OverapproximateMO,
  title={Over-approximate model of multitasking application based on timed automata using only one clock},
  author={Libor Waszniowski and Zdenek Hanz{\'a}lek},
  journal={19th IEEE International Parallel and Distributed Processing Symposium},
  year={2005},
  pages={8 pp.-}
}
The aim of this article is to show, how a multitasking application running under real-time operating system compliant with OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, we use model checking theory based on timed automata and we verify time and logical properties of proposed model by existing model checking tools. Since a complexity of the model… CONTINUE READING

Similar Papers

Loading similar papers…