Model-Based Run-Time Error Detection

Jozef Hooman and Teun Hendriks

Appeared in: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, LNCS 5002, pages 225-236, Springer-Verlag, 2008.

ABSTRACT

The reliability of high-volume products, such as consumer electronic devices, is threatened by the combination of increasing complexity, decreasing time-to-market, and strong cost constraints. As an approach to maintain a high level of reliability and to avoid customer complaints, we present a run-time awareness concept. Part of this concept is the use of models for run-time error detection. We have implemented a general awareness framework in which an application and a model of its desired behaviour can be inserted. It allows both time-based and event-based error detection at run time. This method, coupled to local recovery techniques, aims to minimize any user exposure to product-internal technical errors, thereby improving user-perceived reliability.