Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (5): 51-59.doi: 10.11896/jsjkx.200700184

• Computer Software • Previous Articles     Next Articles

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).

PDF (PC)

577

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

CLC Number: 

  • 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] ZHAN Wan-li, HU Jun, GU Qing-fan, RONG Hao, QI Jian, DONG Yan-hong. Model-based Fault Tree Automatic Generation Method [J]. Computer Science, 2021, 48(12): 159-169.
[2] YU Zhi-yong, LIN Li-qiang, CHEN Yan, ZHOU Tian, NI Yi-tao, CHEN Xing. SQL Access Framework for Hyperledger Fabric [J]. Computer Science, 2021, 48(11): 54-61.
[3] CHEN Shuo, HU Jun, TANG Hong-ying, SHI Meng-ye. Transformation Method for AltaRica3.0 Model to NuSMV Model [J]. Computer Science, 2020, 47(12): 73-86.
[4] LI Si-jie, WEI Ou, ZHAN Yun-jiao, WANG Li-song. SCR Requirement Model Transformation Based on Table Expression [J]. Computer Science, 2019, 46(6): 180-188.
[5] LI Dong-min, LI Jing and LIN Hua-feng. Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis [J]. Computer Science, 2017, 44(6): 182-188.
[6] HOU Jin-kui and WANG Lei. Formal Framework of Architecture-based Model Transformation [J]. Computer Science, 2017, 44(4): 148-152.
[7] JIA Jian-xin,  LIU Guang-zhong and XU Ming. Probability Routing Algorithm in DTN Based on Time and Space and Sociality [J]. Computer Science, 2016, 43(Z6): 295-300.
[8] HU Xian-jun, CHEN Jian-xin, ZHOU Sheng-qiang and LI Yi-fan. IEEE 802.15.4 Real-time Bandwidth Allocation Algorithm Supporting Heterogeneous Data Communication [J]. Computer Science, 2016, 43(6): 106-111.
[9] GUO Peng, LI Ya-hui, SUN Lei and CAI Xiao-le. UML Model to Simulink Model Transformation Method in Design of Embedded Software [J]. Computer Science, 2016, 43(2): 192-198.
[10] HU Xiang, JIAO Li and CHAI Ye-sheng. Transforming UML to GSPN for Performance Analysis [J]. Computer Science, 2016, 43(11): 49-54.
[11] LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing. BPMN Formalization Based on Extended Petri Nets Model [J]. Computer Science, 2016, 43(11): 40-48.
[12] SU Yue, LI Mi, WANG Wen-xin and ZHANG De-ping. Software Reliability Prediction Approach Based on UML Activity Diagram [J]. Computer Science, 2015, 42(Z6): 531-536.
[13] HU Xian-jun, CHEN Jian-xin, ZHOU Sheng-qiang and CHENG Yi. Study on IEEE 802.15.4 Scheduling Algorithms for Real-time Communication [J]. Computer Science, 2015, 42(Z11): 222-226.
[14] MA Li, WU Guo-qing, HUANG Bo, CHENG Ming and CUI Meng-tian. Visualization Method of BDL Model to UML State Diagram [J]. Computer Science, 2015, 42(7): 38-43.
[15] SUN Lei, YANG Hai-yan and WU Ji. Simulation and Real-time Analysis for Embedded Software Design Model with Consideration of Integrated Modular Avionics Platform [J]. Computer Science, 2015, 42(12): 95-97.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.