Graphical Modeling of System Failure Behavior and its Translating into Altarica

AbstractFormal models could accurately reflect design of systems and can be used to implement automatic verification and validation, however, two main problems exit when modeling the system failure behavior: firstly, it's a huge job to model directly using the Altarica language (i.e. Altarica Data-Flow). Secondly, models described in Altarica codes lack visualization, and it's visually inconvenient for reviewers to verify the correctness of Altarica models and the inconsistency between the Altarica codes and the real design. To solve these problems, a graphical modeling method is proposed to describe the system failure behavior in this paper. Meanwhile, in order to obtain Altarica models that could be used to take automatic safety analysis, the translation method from graphical failure behavior models to Altarica models is also recommended in this paper