Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#
Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#
复制标题
基于运行时模型的自组织系统安全分析
DOI：
10.1109/sasow.2015.26
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
W. Reif
中科院分区：
文献类型：
--
作者：
Axel Habermaier;Benedikt Eberhardinger;H. Seebach;Johannes Leupolz;W. Reif
自组织系统对基于模型的安全分析技术提出了挑战：在设计时，潜在的系统配置是未知的，因此有必要将安全分析推迟到运行时。然而，在运行时，基于模型检测的安全分析技术往往是太耗时，因为大的状态空间，必须进行分析。基于S#框架对运行时模型自适应的支持，我们将运行时安全分析模块化，将其分为两部分，分别对自组织和非自组织部分进行建模和分析。通过一些额外的算法，所得到的状态空间减少便于使用基于模型检测的安全分析技术来分析自组织系统的安全性。我们概述了这种方法的自组织生产细胞，评估自组织的影响，系统的整体安全。
Self-organizing systems present a challenge for model-based safety analysis techniques: At design time, the potential system configurations are unknown, making it necessary to postpone the safety analyses to runtime. At runtime, however, model checking based safety analysis techniques are often too time-consuming because of the large state spaces that have to be analyzed. Based on the S# framework's support for runtime model adaptation, we modularize runtime safety analyses by splitting them into two parts, modeling and analyzing the self-organizing and non-self-organizing parts separately. With some additional heuristics, the resulting state space reduction facilitates the use of model checking based safety analysis techniques to analyze the safety of self-organizing systems. We outline this approach on a self-organizing production cell, assessing the self-organization's impact on the overall safety of the system.