Runtime Safety Analysis for Safe Reconfiguration
Modern technical systems are increasingly built to exhibit self-x properties as, e.g., self-healing or self-optimization. For this, they require adaptation at runtime. This is even true for embedded or mechatronic systems which often operate in safetycritical environments. There, the effects of the adaptation with respect to safety must be analyzed carefully. However, not all parameters needed for safety analyses, e.g., the concrete system architecture, are known at design time. Consequently, safety analyses need to be executed during runtime. Current approaches of runtime safety analysis typically react to anomalies that already occurred in the system. Thus, unsafe system states cannot be excluded completely. We present a runtime safety analysis that prevents system states with an unacceptable risk that have not yet occurred. For this, we generate the reachable component structures at runtime and analyze them with respect to risk. The system is modified such that component structures with an unacceptable risk are not reachable any more and are thus prevented.
security and safety applications self adaptive technologies robust systems
Claudia Priesterjahn Christian Heinzemann Wilhelm Sch(a)fer Matthias Tichy
Heinz Nixdorf Institute and Department of ComputerScience, Software Engineering GroupUniversity of P Software Engineering Division, Chalmers University of Technology and University of Gothenborg Gothen
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
1092-1097
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）