DATAM: A model-based tool for dependability analysis

作     者：Lu, XingHai Shi, XiaoHua Wang, WenRu 

作者机构：BeiHang Univ Sch Comp Sci & Engn Beijing 100191 Peoples R China Beihang Univ Xueyuan Rd 37 Beijing 100191 Peoples R China 

出 版 物：《CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE》 (并行学和计算：实践与经验)

年 卷 期：2021年第33卷第7期

页      面：1-1页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：AltaRica component‐ based software development graphical user interface model‐ based dependability analysis tool‐ implementation 

摘      要：Dependability analysis is the main method to evaluate the design of safety-critical systems, which is able to analyze the source of the faults and find them as early as possible. With the increasing system scale and complexity, Model-Based Dependability Analysis (MDBA) has become the mainstream, so that it is crucial to provide powerful models that accurately reflect the real systems and easy to be built. However, modeling a system is error-prone and it is difficult to verify the correctness of the model being built. Therefore, this paper proposes our dependability modeling tool called DATAM (Dependability Analysis Tool of AltaRica Model), which is based on AltaRica, a dataFlow language. We present a method for converting key elements of AltaRica into model/GUI components, thereby ensuring the consistency of the model with the modeling language. GUI-based operations and rich custom components ensure ease of using DATAM. Besides, some components of the model can be edited directly through the AltaRica script and can be interchanged with GUI components. Finally, DATAM supplies varieties of reliability calculation functions. We demonstrate the ability of DATAM through a case study and compare the results with SimFia education version.