Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Software Engineering

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

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

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.

Supplementary Material

1. Metamodels

• SA Metamodel
• FT Metamodel

2. Models

• SA Models
• FT Models

3. Silift Configurations for SA model

• Matching configuration for SA models

• Difference configuration for SA models

• Atomic edit rules for SA (Generated)

• SA intra model transformations (Configured to Silift Environment)

4. Silift Configurations for FT model

• Matching configuration for FT models

• Difference configuration for FT models

• Atomic edit rules for FT (Generated)

• FT intra model transformations (Configured to Silift Environment)

5. Silift Configurations for SA-Trace-FT triple model

• Matching configuration for Trace models

• Difference configuration for Trace models

• Atomic edit rules for SA-Trace-FT (Generated)

6. Inter model transformations (Configured to Silift Environment)

7. Evaluation Code

8. SiLift Plug-ins