Premium
DATAM: A model‐based tool for dependability analysis
Author(s) -
Lu XingHai,
Shi XiaoHua,
Wang WenRu
Publication year - 2018
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.4988
Subject(s) - dependability , correctness , computer science , consistency (knowledge bases) , reliability (semiconductor) , dataflow , modeling language , component (thermodynamics) , reliability engineering , key (lock) , programming language , software engineering , software , engineering , operating system , artificial intelligence , power (physics) , physics , quantum mechanics , thermodynamics
Summary 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.