Advanced Search
Volume 42 Issue 9
Sep.  2016
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2016  >  42(9): 1884-1891.
LIU Chang, GU Tao, ZHOU Qing, et al. Model transformation method from AADL2ECPN and its application in IMA[J]. Journal of Beijing University of Aeronautics and Astronautics, 2016, 42(9): 1884-1891. doi: 10.13700/j.bh.1001-5965.2015.0562(in Chinese)
Citation: LIU Chang, GU Tao, ZHOU Qing, et al. Model transformation method from AADL2ECPN and its application in IMA[J]. Journal of Beijing University of Aeronautics and Astronautics, 2016, 42(9): 1884-1891. doi: 10.13700/j.bh.1001-5965.2015.0562(in Chinese)
shu

Model transformation method from AADL2ECPN and its application in IMA

doi: 10.13700/j.bh.1001-5965.2015.0562
  • 1.

    Key Laboratory of Synthetic Technology of Avionics, China National Aeronautical Radio Electronics Research Institute, Shanghai 200241, China

  • 2. School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

Funds:  National Defense Basic Scientific Research Program of China (JCKY2013205C003)
  • Received Date: 01 Sep 2015
  • Publish Date: 20 Sep 2016
    Abstract
  • Resource allocation modeling and safety analysis of integrated modular avionics (IMA) are essential in the process of IMA application integration. According to model transformation method, a set of transformation rules from the architecture analysis and design language (AADL) to the extended colored Petri net (ECPN) is proposed. Using the model transformation rules, the AADL model is transformed into the ECPN for subsequent safety analysis, and any of critical resource elements will not be lost in the model transformation process. Finally, a simple example is employed to show how to apply the model transformation method. Through the experimental results, the feasibility of the proposed method in IMA safety analysis is confirmed.

     

    • FullText(HTML)
  • loading
    • References(24)
  • [1]
    WATKINS C B,WALTER R.Transitioning from federated avionics architectures to integrated modular avionics[C]//Digital Avionics Systems Conference. Piscataway,NJ:IEEE Press,2007:1-10.
    [2]
    PRISAZNUK P J.ARINC 653 role in integrated modular avionics (IMA)[C]//Digital Avionics Systems Conference.Piscataway,NJ:IEEE Press,2008:5-10.
    [3]
    ZURAWSKI R,ZHOU M C.Petri nets and industrial applications:A tutorial[J].IEEE Transactions on Industrial Electronics,1994,41(6):567-583.
    [4]
    ZUBEREK W M.Timed Petri nets definitions,properties,and applications[J].Microelectronics Reliability,1991,31(4):627-644.
    [5]
    JENSEN K.An introduction to the theoretical aspects of coloured Petri nets[M].Berlin:Springer,1994：230-272.
    [6]
    JENSEN K,ROZENBERG G.High-level Petri nets:Theory and application[M].Berlin:Springer,2012：100-173.
    [7]
    FEILER P H,GLUCH D P,HUDAK J J.The architecture analysis & design language (AADL):An introduction [R].New Jersey:Addison-Wesley,2006.
    [8]
    FEILER P H,GLUCH D P.Model-based engineering with AADL:An introduction to the SAE architecture analysis & design language[M].New Jersey:Addison-Wesley,2012：210-267.
    [9]
    SINGHOFF F,LEGRAND J,NANA L,et al.Scheduling and memory requirements analysis with AADL[C]//ACM SIGAda Annual International Conference,SIGAda 2005:The Engineering of Correct and Reliable Software for Real-Time and Distributed Systems using Ada and Related Technologies.New York:ACM,2005:1-10.
    [10]
    YANG Z,HU K,MA D,et al.Formal semantics and verification of AADL modes in timed abstract state machine[C]//2010 IEEE International Conference on Progress in Informatics and Computing (PIC).Piscataway,NJ:IEEE Press,2010,2:1098-1103.
    [11]
    QUAN Z,WANG S,BIN L.IMA reconfiguration modeling and reliability analysis based on AADL[C]//2014 IEEE 4th Annual International Conference on Cyber Technology in Automation,Control,and Intelligent Systems (CYBER).Piscataway,NJ:IEEE Press,2014:664-668.
    [12]
    ÖLVECZKY P C,BORONAT A,MESEGUER J.Formal semantics and analysis of behavioral AADL models in real-time maude[M]//Formal techniques for distributed systems.Berlin:Springer,2010:47-62.
    [13]
    SUO D,AN J,ZHU J.A new approach to improve safety of reconfiguration in integrated modular avionics[C]//Digital Avionics Systems Conference(DASC).Piscataway,NJ:IEEE Press,2011,1C4:1-12.
    [14]
    BERTHOMIEU B,BODEVEIX J P,DAL ZILIO S,et al.Formal verification of AADL models with fiacre and tina[C]//Proceedings of the 5th International Congress and Exhibition on Embedded Real-Time Software and Systems.Berlin:Elsevier,2010：7-11.
    [15]
    BERTHOMIEU B,BODEVEIX J P,CHAUDET C,et al.Formal verification of AADL specifications in the topcased environment[M]//Reliable software technologies-Ada-Europe 2009.Berlin:Springer,2009:207-221.
    [16]
    DE SOUSA DINIZ N M,RUFINO J M M.ARINC 653 in space[C]//Proceedings of DASIA2005-Data Systems in Aerospace.Noordwijk:European Space Agency,2005,602:201-205.
    [17]
    FEILER P H,LEWIS B A,VESTAL S.The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems[C]//Computer Aided Control System Design,IEEE International Conference on Control Applications,IEEE International Symposium on Intelligent Control.Piscataway,NJ:IEEE Press,2006:1206-1211.
    [18]
    李昕颖,熊华钢.综合化航空电子分区隔离的建模与设计方法[J].北京航空航天大学学报,2011,37(1):31-35.LI X Y,XIONG H G.Partition modeling and design in integrated modular avionics[J].Journal of Beijing University of Aeronautics and Astronautics,2011,37(1):31-35(in Chinese).
    [19]
    JENSEN K.Coloured Petri nets & quot.Petri nets:Central models and their propertie[J].Lecture Notes in Computer Science,1986,254:248-299.
    [20]
    JENSEN K,KRISTENSEN L M.Coloured Petri nets:Modelling and validation of concurrent systems[M].Berlin:Springer,2009:19-34.
    [21]
    JENSEN K.Coloured Petri nets:Basic concepts,analysis methods and practical use[M].Berlin:Springer,2013：33-50.
    [22]
    BILLINGTON J,GALLASCH G E,HAN B.A Coloured Petri net approach to protocol verification[M].Berlin:Springer,2004:210-290.
    [23]
    VAN DER AALST W M P.The application of Petri nets to workflow management[J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
    [24]
    PETERSON J L.A note on colored Petri nets[J].Information Processing Letters,1980,11(1):40-43.
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(666) PDF downloads(495) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return