A development framework toward reconfigurable run-time monitors

Abstract

Time-critical systems are usually loaded with run-time monitors to observe their temporal requirements because there can be timing violations which may trigger fatal damages to people or systems. Since the timing constraints of run-time monitor are non-trivial, it is prone to complicate modifications as well as implementations. We propose a run-time monitor which facilitates to reconfigure monitoring conditions at design time. As the monitoring concerns are well separated in design time, we can expect the system to mitigate complexity in implementation. Our timing monitor is modeled by using xUML in early stage of development process, and specifications of timing constraints are represented by RTL - like expression. The modeled monitor is transformed into the AOP code by MDA approach. We demonstrate the effectiveness of our approach by showing a case study and analyzing our work.