计算机科学
自动化
完备性(序理论)
集合(抽象数据类型)
过程(计算)
软件工程
任务(项目管理)
故障树分析
软件进化
工厂(面向对象编程)
树(集合论)
软件
软件系统
系统工程
工程类
程序设计语言
可靠性工程
机械工程
数学分析
软件建设
数学
作者
J. Scott Armstrong,David M. Georgoff
标识
DOI:10.1016/0169-2070(88)90019-2
摘要
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.
科研通智能强力驱动
Strongly Powered by AbleSci AI