System Dynamic Behavior Monitoring And Its Implementation Via Aspect Oriented Programming

Rail transit is an environmental friendly and sustainable transportation, which plays an important role in transportation system. With continuous renewal of rail transit function, security issues have become increasingly prominent. Subject to the conditions of system equipment applications, function failure may get into the final application through protection measures, which causes fatal blow to the normal operation of safety-critical system. Therefore it’s important to monitor runtime behavior of the system and take measure when necessary.In order to implement the monitor which can monitor runtime state based on the monitoring requirement with time constrain, we propose an aspect-oriented monitoring framework and design corresponding algorithm which matches the framework.With the help of the monitor,it’s able to determine whether the practical operation of the train control system meets the design specifications of the system. Main work in this thesis includes:(1)Monitoring function of train control system are defined as crosscutting in the aspect-oriented development framework, and independent encapsulation and call of monitor is implemented using aspect oriented programming which reduces the degree of coupling between core function and monitoring function of the system to realize their separation on physical plane;(2)In order to realize runtime monitoring of system dynamic behavior based on monitoring requirement with time constrain, metric interval temporal logic is used to describe real-time property. Meanwhile incremental algorithm is designed to match aspect oriented programming features which makes it possible to combine the advantages of AOP and runtime verification to improve system security performance.(3) The function framework of the monitor is improved based on the Eclipse platform using AJDT plug-in. Then we introduce each function point as well as its specific implementation together with specific encapsulation of different types of monitoring needs in incremental monitoring algorithm. In the end, we realize information transmission between monitor and monitoring object by compiling after building internal structure of the monitor.