کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6885295 1444505 2018 56 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Supporting semi-automatic co-evolution of architecture and fault tree models
ترجمه فارسی عنوان
پشتیبانی از هماهنگ سازی نیمه اتوماتیک معماری و مدل های درخت گسل
کلمات کلیدی
معماری سیستم، درخت های گنگ، ایمنی، تکامل مدل، تحول مدل،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Systems and Software - Volume 142, August 2018, Pages 115-135
نویسندگان
, , , , , ,