Embedded Software Analysis with MOTOR

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.

• Type: Conference
• Year: 2004
• Where: SFM
• Authors: Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
• Keywords: Description Language, Device-absence Detecting Protocol, SFM 2004, Timed Systems