计算机科学 ›› 2021, Vol. 48 ›› Issue (5): 51-59.doi: 10.11896/jsjkx.200700184
祁健1,2, 胡军1,2, 谷青范3, 荣灏3, 展万里1,2, 董彦宏1,2
QI Jian1,2, HU Jun1,2, GU Qing-fan3, RONG Hao3, ZHAN Wan-li1,2, DONG Yan-hong1,2
摘要: 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生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。
中图分类号:
[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. |
|