Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models

In the whole life-cycle of systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models like fault trees. However, performing these co-evolution steps is a cumbersome and often manual task. To understand this problem in detail, we have analyzed the evolution and mined common changes of architecture and fault tree models for a set of evolution scenarios of a part of a factory automation system called pick&place unit. Based on the results, we could derive a set of co-evolution rules which fully cover the evolution scenarios of the case study and which offer the potential to semi-automate the co-evolution process. In particular, we evaluated these rules by a comparison to typical visual editor operations. Our results show a signicant reduction of the amount of required user interactions in order to realize the co-evolution.

在安全关键领域系统的整个生命周期中，系统模型必须与质量评估模型，如故障树模型，持续协同进化。然而，执行这些协同进化步骤是一项繁琐且通常需要人工完成的任务。为了详细了解这一问题，我们分析了一组工厂自动化系统中的拾取放置单元部分在进化场景下的架构和故障树模型的演变过程及其共同变化。基于研究结果，我们推导出一组协同进化规则，这些规则全面覆盖了案例研究的进化场景，并具有半自动化的协同进化过程的潜力。特别是，我们通过将规则与典型的可视化编辑器操作进行比较来评估这些规则。我们的结果显示，为了实现协同进化，所需用户交互的数量显著减少。