点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：Int. J. Perform. Eng.

摘要：AltaRica is a modeling language that is capable of hierarchical modelling and fault behavior description for industrial safety-critical system design. AltaRica 3.0 is the latest version, and its semantics are based on a formal GTS (Guarded Transition Systems) model. One of the key steps in the process of safety analysis toward AltaRica 3.0 models is that how to flatten a hierarchical AltaRica 3.0 model into a semantically equivalent GTS semantic model. This paper proposes an AltaRica 3.0 model flattening algorithm framework based on ANTLR (Another Tool for Language Recognition). Firstly, considering the different structural features of Block and Class, the AltaRica 3.0 model is sliced carefully in order to obtain the corresponding AST (Abstract Syntax Tree). Secondly, a set of recursive transformation algorithms are designed to extract and transform the AltaRica model elements, which are stored in the AST nodes based on the traversal technique of the AST. Then, a semantically equivalent flattened GTS model can be obtained. Lastly, several case studies show that the algorithms designed in this paper can effectively implement the flattening process of AltaRica 3.0 models. © 2019 Totem Publisher, Inc. All rights reserved.

ISSN号：0973-1318

是否译文：否

发表时间：2019-01-01

合写作者：Chen, Shuo,Chen, Defeng,Kang, Jiexiang,Wang, Hui

通讯作者：胡军