Embedded Software Analysis with MOTOR

Citations of this article
Mendeley users who have this article in their library.
Get full text


This paper surveys the language MODEST, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool are aimed to support the modular description and analysis of reactive systems while covering both functional and non-functional system aspects such as hard and soft real-time, and quality-of-service aspects. As an illustrative example, the modeling and analysis of a device-absence detecting protocol in plug-and-play networks is described and is shown to exhibit some undesired behaviour. © Springer-Verlag 2004.




Katoen, J. P., Bohnenkamp, H., Klaren, R., & Hermanns, H. (2004). Embedded Software Analysis with MOTOR. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3185, 268–293. https://doi.org/10.1007/978-3-540-30080-9_9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free