计算机科学 ›› 2021, Vol. 48 ›› Issue (5): 51-59.doi: 10.11896/jsjkx.200700184

• 计算机软件* 上一篇    下一篇

一种AltaRica 3.0模型中类的平展化方法

祁健1,2, 胡军1,2, 谷青范3, 荣灏3, 展万里1,2, 董彦宏1,2   

  1. 1 南京航空航天大学计算机科学与技术学院 南京211106
    2 软件新技术与产业化协同创新中心 南京210007
    3 中国航空无线电电子研究所 上海200233
  • 收稿日期:2020-07-29 修回日期:2020-11-19 出版日期:2021-05-15 发布日期:2021-05-09
  • 通讯作者: 胡军(hujun.nju@139.com)
  • 基金资助:
    国家重点基础研究发展计划(973计划)项目(2014CB744900)

Class Flattening Method for AltaRica 3.0 Model

QI Jian1,2, HU Jun1,2, GU Qing-fan3, RONG Hao3, ZHAN Wan-li1,2, DONG Yan-hong1,2   

  1. 1 College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
    2 Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210007,China
    3 China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China
  • Received:2020-07-29 Revised:2020-11-19 Online:2021-05-15 Published:2021-05-09
  • About author:QI Jian,born in 1997,postgraduate,is a member of China Computer Federation.His main research interests include software verification and system security analysis.(flagship@nuaa.edu.cn)
    HU Jun,born in 1973,Ph.D,associate professor,master supervisor,is a member of China Computer Federation.His main research interests include model-driven system security analysis,software verification and embedded system design.
  • Supported by:
    National Basic Research Program of China(973 Program)(2014CB744900).

摘要: AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。

关键词: AltaRica 3.0, ANTLR, GTS, 类的平展化, 模型转换

Abstract: AltaRica is a modeling language for complex safety-critical systems.Guarded Transition System(GTS) is the latest exe-cution semantic model of AltaRica 3.0.The flattening of classes in the AltaRica 3.0 hierarchical syntax model is an important step in the process of transforming the AltaRica 3.0 syntax model into an equivalent flattened GTS semantic model.In this paper,a flattening optimization method for classes in AltaRica 3.0 models is proposed.Firstly,this paper designs a dedicated data structure to store the semantic structure of the class in the AltaRica 3.0 models,refines and defines the granularity of the AltaRica 3.0 model described by the original ANTLR(Another Tool for Language Recognition) meta language.Secondly,this paper generates the corresponding lexical and syntax analyzer based on ANTLR to automatically construct the syntax tree of the input model.Through traversing the syntax tree,the key information of fine-grained class is obtained and stored.Then,a dedicated algorithm is designed to realize the flattening process of the class efficiently.Finally,the correctness and effectiveness of this me-thod are verified through the analysis of several example systems.

Key words: AltaRica 3.0, ANTLR, Class flattening, GTS, Model Transformation

中图分类号: 

  • TP311
[1]MARCO B,ADOLFO V.Design and Safety Assessment of Critical Systems[M].Auerbach Publications,2010.
[2]LISAGOR O,KELLY T,NIU R.Model-based safety assess-ment:Review of the discipline and its challenges[C]//The Proceedings of 2011 9th International Conference on Reliability,Maintainability and Safety.Guiyang,2011:625-632.
[3]PROSVIRNOVA T.AltaRica 3.0:a model-based approach for safety analyses[D].Ecole Polytechnique,2014.
[4]BATTEUX M,PROSVIRNOVA T,RAUZY A.AltaRica 3.0Language Specification[R].AltaRica Association,2015.
[5]PROSVIRNOVA T,BATTEUX M,BRAMERET P,et al.The AltaRica 3.0 project for model-based safety assessment[J].IFAC Proceedings Volumes,2013,46(22):127-132.
[6]PROSVIRNOVA T,RAUZY A.Automated generation of minimal cut sets from AltaRica 3.0 models[J].IJCCBS,2015,6(1):50-80.
[7]RAUZY A B.Guarded transition systems:a new states/events formalism for reliability studies[J].Proceedings of the Institution of Mechanical Engineers,Part O:Journal of Risk and Reliability,2008,222(4):495-505.
[8]SHANE S,WOJTEK K.Model Transformation:The Heart and Soul of Model-Driven Software Development[J].Software IEEE,2003,20(5):42-45.
[9]CZARNECKI K,HELSEN S.Classification of Model Transformation Approaches[C]//Workshop on Generative Techniques in the Context of Model-driven Architecture.2003.
[10]CHEN S,HU J,WANG L S.A Flattening Algorithm for AltaRica 3.0 Model Based on ANTLR[J].Journal of Chinese Computer Systems,2020,41(7):1476-1487.
[11]TERENCE P.The Definitive ANTLR 4 Reference[M].ThePragmatic Bookshelf,2013.
[12]PROSVIRNOVA T,RAUZY A.AltaRica 3.0 project:compile Guarded Transition Systems into Fault Trees[C]//European Safety and Reliability Conference.ESREL,2013.
[13]HU J,CHEN S,WANG M M.Research on Transformation and Vertification Method of AltaRica 3.0 Model to Promela Model[J].Computer Engineering and Science,2017,39(4):708-716.
[14]FRÉDÉRIC B,VIRGINIE W.The Landing Gear System CaseStudy[C]//International Conference on Abstract State Machines.Springer International Publishing,2014.
[15]POINT GÔRAUZY A.AltaRica:Constraint automata as a de-scription language[J].European Journal of Automatisation,1999,33(8/9):1033-1052.
[16]BOITEAU M,DUTUIT Y,RAUZY A,et al.The AltaRica data-flow language in use:modeling of production availability of a multi-state system[J].Reliability Engineering & System Safety,2006,91(7):747-755.
[17]RAUZY A.Mode automata and their compilation into fault trees[J].Reliability Engineering & System Safety.2002,78(1):1-12.
[18]ERICSON C A.Fault tree analysis[C]//System Safety Conference.Florida,1999.
[19]STEWART W J.Introduction to the Numerical Solution ofMarkov Chains[M]//Introduction to the Numerical Solution of Markov Chains.DBLP,1994.
[20]GRIFFAULT A,POINT G,KUNTZ F,et al.Symbolic computation of minimal cuts for AltaRica models[R].LaBRI,2011.
[21]ZHANG F K,HE Y F,GU Q F.Research on Security Analysis Method of HUD System Based on Model Drive[J].Avionics Technology,2014(3):52-56.
[22]SYSTEM X.The OpenAltaRica Platform-Getting Started[EB/OL].(2017-09-04)[2020-05-20].https://www.openaltarica.fr/docs/The%20OpenAltaRica%20Platform%20-%20Getting%20Started.pdf.
[1] 展万里, 胡军, 谷青范, 荣灏, 祁健, 董彦宏.
基于模型的故障树自动生成方法
Model-based Fault Tree Automatic Generation Method
计算机科学, 2021, 48(12): 159-169. https://doi.org/10.11896/jsjkx.200800177
[2] 於志勇, 林力强, 陈艳, 周天, 倪一涛, 陈星.
面向Hyperledger Fabric的SQL访问框架
SQL Access Framework for Hyperledger Fabric
计算机科学, 2021, 48(11): 54-61. https://doi.org/10.11896/jsjkx.210100220
[3] 陈朔, 胡军, 唐红英, 石梦烨.
一种AltaRica3.0模型到NuSMV模型的转换方法
Transformation Method for AltaRica3.0 Model to NuSMV Model
计算机科学, 2020, 47(12): 73-86. https://doi.org/10.11896/jsjkx.190400035
[4] 李思洁, 魏欧, 战芸娇, 王立松.
基于表格表达式的SCR需求模型转换
SCR Requirement Model Transformation Based on Table Expression
计算机科学, 2019, 46(6): 180-188. https://doi.org/10.11896/j.issn.1002-137X.2019.06.027
[5] 李东民,李静,林华锋.
基于故障树分析的嵌入式系统AADL模型可靠性分析方法
Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis
计算机科学, 2017, 44(6): 182-188. https://doi.org/10.11896/j.issn.1002-137X.2017.06.031
[6] 侯金奎,王磊.
基于体系结构的模型转换语义描述框架
Formal Framework of Architecture-based Model Transformation
计算机科学, 2017, 44(4): 148-152. https://doi.org/10.11896/j.issn.1002-137X.2017.04.032
[7] 贾建鑫,刘广钟,徐明.
DTN中基于时空和社会性的概率路由算法
Probability Routing Algorithm in DTN Based on Time and Space and Sociality
计算机科学, 2016, 43(Z6): 295-300. https://doi.org/10.11896/j.issn.1002-137X.2016.6A.071
[8] 胡显俊,陈建新,周生强,李一帆.
支持异构数据通信的IEEE 802.15.4实时带宽分配算法
IEEE 802.15.4 Real-time Bandwidth Allocation Algorithm Supporting Heterogeneous Data Communication
计算机科学, 2016, 43(6): 106-111. https://doi.org/10.11896/j.issn.1002-137X.2016.06.022
[9] 郭鹏,李亚晖,孙磊,蔡晓乐.
面向嵌入式软件开发的UML到Simulink模型转换方法
UML Model to Simulink Model Transformation Method in Design of Embedded Software
计算机科学, 2016, 43(2): 192-198. https://doi.org/10.11896/j.issn.1002-137X.2016.02.042
[10] 胡翔,焦莉,柴叶生.
从UML到GSPN的转换和性能分析方法
Transforming UML to GSPN for Performance Analysis
计算机科学, 2016, 43(11): 49-54. https://doi.org/10.11896/j.issn.1002-137X.2016.11.009
[11] 李宗花,周晓峰,吴克力,陈伏兵.
基于扩展Petri网模型的BPMN形式化
BPMN Formalization Based on Extended Petri Nets Model
计算机科学, 2016, 43(11): 40-48. https://doi.org/10.11896/j.issn.1002-137X.2016.11.008
[12] 胡显俊,陈建新,周生强,程义.
IEEE 802.15.4实时通信调度算法研究
Study on IEEE 802.15.4 Scheduling Algorithms for Real-time Communication
计算机科学, 2015, 42(Z11): 222-226.
[13] 马 丽,毋国庆,黄 勃,程 铭,崔梦天.
BDL模型到UML状态图的可视化方法研究
Visualization Method of BDL Model to UML State Diagram
计算机科学, 2015, 42(7): 38-43. https://doi.org/10.11896/j.issn.1002-137X.2015.07.009
[14] 孙磊,杨海燕,吴际.
基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法
Simulation and Real-time Analysis for Embedded Software Design Model with Consideration of Integrated Modular Avionics Platform
计算机科学, 2015, 42(12): 95-97.
[15] 王诗碕,李伊潇,沈立炜,赵文耘.
本体概念图的展示过程及技术实现
Display Process and Technique Implementation of Ontology Conceptual Diagram
计算机科学, 2015, 42(12): 87-91.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!