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,
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.