Model-driven monitoring of time-critical systems based on aspect-oriented programming

Abstract

Temporal correctness is one of the most important requirements for time-critical systems. Although time-critical systems are designed to meet their timing constraints there can be still errors especially with timing constraints in run-time due to various reasons. Typically time-critical systems are shipped with run-time monitors to check their temporal requirements. Hence run-time monitors are essential to time-critical services. In this paper we propose a model-driven monitor based on AOP for time-critical systems. The monitor is modeled by using xUML in the design time and its timing constrains are specified by RTL-like expressions. The designed monitor model is transformed into the code automatically by our proposed tool chain. We validate the effectiveness of our approach by presenting a case study and analyzing the implemented system. © 2011 IEEE.