Supporting semi-automatic co-evolution of architecture and fault tree models


Getir S. , Grunske L., van Hoorn A., Kehrer T., Noller Y., Tichy M.

JOURNAL OF SYSTEMS AND SOFTWARE, cilt.142, ss.115-135, 2018 (SCI İndekslerine Giren Dergi) identifier identifier

  • Cilt numarası: 142
  • Basım Tarihi: 2018
  • Doi Numarası: 10.1016/j.jss.2018.04.001
  • Dergi Adı: JOURNAL OF SYSTEMS AND SOFTWARE
  • Sayfa Sayıları: ss.115-135

Özet

During the whole life-cycle of software-intensive 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 and Place Unit. On the other hand, we designed a set of intra- and inter-model transformation 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 validated these rules with respect to completeness and evaluated them by a comparison to typical visual editor operations. Our results show a significant reduction of the amount of required user interactions in order to realize the co-evolution. (C) 2018 Elsevier Inc. All rights reserved.