A Component-Based Reconfigurable Sensor Network Monitor for Adapting Time-Critical Requirements

초록

Sensor data can be useful in various applications, but it is also critical in some areas, such as health, safety and finance. In particular, in a time critical environment, temporal correlation of streaming sensor data should be monitored. A run-time monitor is embedded in the server for such applications, in order to detect erroneous conditions, and perform appropriate reactions in a timely manner. However, modification of the monitor may require stop and restart of the server, in order to take effect. This kind of option is not permissible where the server should be performing continuously. In this paper, we propose a component based reconfigurable sensor network monitor designed for handling time critical requirements. In order to allow dynamic modification, we implement both the server and the monitor on the Fractal Component model, which enables us to reconfigure the system architecture in run-time. For detecting violation of the timing condition, we specify timing constraints, and design the monitor on Fractal Aspect Component. The architecture can be formally verified by Fractal-ADL and Alloy. We demonstrate the feasibility of the proposed framework, by developing a smart cruise control system. We aim to provide guidance to construct a monitoring system in a dynamic and time critical environment.

키워드