Abstract
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.
Cite
CITATION STYLE
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.
