摘要
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,由于AltaRica 3.0的结构模型S2ML(System Structure Modeling Language)是描述真实系统的层次结构信息,无法进行模型的安全性分析,而AltaRica 3.0的语义模型GTS(Guarded Transition Systems)可以用来进行安全性分析,因此,将AltaRica 3.0的S2ML转换为语义等价GTS语义模型是最新的AltaRica 3.0中的一个关键技术.为此,本文提出了一种基于ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型平展化算法.首先,根据Block和Class对AltaRica 3.0模型进行分割分别获取对应的AST(Abstract Syntax Tree);然后设计相关的转换算法,在遍历AST时,对结点存储的AltaRica 3.0模型语言信息进行获取和转换,通过不断的递归过程获取到平展化后的文件.实验表明,设计的算法可以很好地完成AltaRica 3.0模型的平展化过程.
AltaRica 3.0 is a language for safety modeling and analysis of safety-critical systems. Since the structural model S2ML(System Structure Modeling Language) of AltaRica 3.0 is used to describe the hierarchical information of the real system,the safety of the model cannot be analyzed,and GTS model(Guarded Transition Systems) of AltaRica 3.0 can analyze the safety of the system,converting from AltaRica 3.0 model with hierarchical information to semantically equivalent flattened GTS semantic model is a key technology in the latest AltaRica 3.0. In order to effectively implement the flattening process,an flat algorithm based on ANTLR(Another Tool for Language Recognition) for AltaRica 3.0 model is proposed. Firstly,the AltaRica 3.0 model is segmented according to Block and Class to obtain the corresponding AST(Abstract Syntax Tree);then the related transformation algorithm is designed. When traversing AST,the information of AltaRica 3.0 model language stored in the node is obtained and transformed. The iterative process gets a flattened file. Experiments show that the designed algorithm can complete the flattening process of the AltaRica 3.0 model.
作者
陈朔
胡军
王立松
CHEN Shuo;HU Jun;WANG Li-song(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210007,China)
出处
《小型微型计算机系统》
CSCD
北大核心
2020年第7期1476-1487,共12页
Journal of Chinese Computer Systems
基金
国家“九七三”重点基础研究发展计划项目(2014CB744903)资助
南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20181607)
中央高校基本科研业务费专项资金项目资助。
