1 The Mads Clausen Institute, Faculty of Engineering, SDU2 Mechatronics Group, The Mads Clausen Institute, Faculty of Engineering, SDU3 The Mads Clausen Institute, Faculty of Engineering, SDU
Formal verification methods, such as exhaustive model checking, are often infeasible because of high computational complexity. Runtime observers (monitors) provide an alternative, light-weight verification method, which offers a non-exhaustive but still feasible approach to monitor system behavior against formally specified properties. This paper presents a component-based design method for runtime observers in the context of COMDES framework—a component-based framework for distributed embedded system and its supporting tools. Therefore, runtime verification is facilitated by model-driven engineering. The presented method has been experimentally validated in an industrial safety-related medical ventilator case study.
International Journal of Software Engineering, 2013, Vol 2