计算机科学

计算机科学 ›› 2017, Vol. 44 ›› Issue (6): 182-188.doi: 10.11896/j.issn.1002-137X.2017.06.031

• 软件与数据库技术 • 上一篇    下一篇

基于故障树分析的嵌入式系统AADL模型可靠性分析方法

李东民,李静,林华锋   

  1. 南京航空航天大学计算机科学与技术学院 南京210016软件新技术与产业化协同创新中心 南京 211100,南京航空航天大学计算机科学与技术学院 南京210016软件新技术与产业化协同创新中心 南京 211100,南京航空航天大学计算机科学与技术学院 南京210016软件新技术与产业化协同创新中心 南京 211100
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受中央高校基本科研业务费专项资金(NS2015092)资助

Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis

LI Dong-min, LI Jing and LIN Hua-feng   

  • Online:2018-11-13 Published:2018-11-13

PDF (PC)

886

摘要： 采用架构分析与设计语言(AADL)建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树(Static Fault Tree,SFT)模型的转换,并根据故障树定量分析法对系统可靠性进行分析。首先结合AADL错误模型附件建立可靠性模型；然后设计了从AADL模型到SFT模型的语义映射规则,并实现了将AADL模型中的基本元素转换为静态故障树中相对应的元素；最后结合飞机车轮刹车系统实例,使用文献中提出的方法对其进行可靠性分析,从而验证 所提方法的可行性和有效性。

关键词: AADL,故障树分析,可靠性分析,模型转换

Abstract: We used architecture analysis and designed language(AADL) to build embedded system semi-formalization model,transformed AADL model to static fault tree (SFT) model,and analyzed the reliability of the system according to the fault tree analysis method.Firstly,the reliability model is built with the attachment of the AADL error model.Then,the semantic mapping rules from AADL model to SFT model are designed and used to transform from AADL model to SFT model.Finally,based on the example of aircraft wheel brake system,the reliability analysis is carried out according to the method proposed in this paper to prove the feasibility and effectiveness of the proposed method.

Key words: AADL,Fault tree analysis,Reliability analysis,Model transformation

[1] WANG G,ZHOU X S,ZHANG F,et al.Research on Model-based Testing on AADL[J].Computer Science,2009,6(11):127-130.(in Chinese) 王庚,周兴社,张凡,等.AADL模型的测试方法研究[J].计算机科学,2009,6(11):127-130.
[2] YANG Z B,LEI P I,KAI H U,et al.AADL:An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems[J].Journal of Software,2010,21(5):899-915.
[3] DELANGE J,FEILER P.Architecture Fault Modeling with the AADL Error-Model Annex[C]∥2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA).IEEE,2014:361-368.
[4] GU B,DONG,WEI X.A Qualitative Safety Analysis Method for AADL Model[C]∥IEEE International Conference on Software Security and Reliability-Companion.2014:213-217.
[5] ZHANG Q,WANG S,LIU B.Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL[J].Iet Software,2016,10(1):18-25.
[6] PROCTER S,HATCLIFF J.An architecturally-integrated,systems-based hazard analysis for medical applications[C]∥Twelfth ACM/IEEE International Conference on Formal Me-thods and MODELS for Codesign.IEEE,2014:124-133.
[7] ZHANG Q,WANG S,LIU B.Some Improvements on the Rules for Exchanging Between Error Model Annex and AADL to Fault Tree[C]∥2013 International Conference on Information Technology and Applications (ITA).IEEE,2013:338-342.
[8] SUN H,HAUPTMAN M,LUTZ R.Integrating Product-LineFault Tree Analysis into AADL Models[C]∥IEEE High Assurance Systems Engineering Symposium.IEEE Computer So-ciety,2007:15-22.
[9] SINGHOFF F,LEGRAND J,NANA L,et al.Cheddar:a flexible real time scheduling framework[J].Abstr,2004,xxiv(4):1-8.
[10] JEAN-PAUL B,RAPHAЁL C,DAVID C,et al.A mappingfrom AADL to Java-RTSJ[C]∥International Workshop on Java Technologies for Real-Time and Embedded Systems,Jtres 2007.Institute of Computer Engineering,Vienna University of Technology,September 2007,Vienna,Austria.2007:165-174.
[11] GAO J L,ZHANG G,JING X C,et al.Reliability modeling and evaluation method of software system based on AADL [J].Frontiers of Computer Science and Technology,2011,5(10):942-952.(in Chinese) 高金梁,张刚,经小川,等.采用AADL的软件系统可靠性建模与评估方法[J].计算机科学与探索,2011,5(10):942-952.
[12] DONG Y W,WANG G R,ZHANG F,et al.AADL model reliability analysis and evaluation tool[J].Journal of Software,2011,22(6):1252-1266.(in Chinese) 董云卫,王广仁,张凡,等.AADL模型可靠性分析评估工具[J].软件学报,2011,22(6):1252-1266.
[13] LIU J J,MENG H N.Reliability analysis tool of avionics system based on AADL[J].Modern Electronic Technology,2014,7(8):65-68.(in Chinese) 刘建军,孟海宁.基于AADL的航电系统可靠性分析工具[J].现代电子技术,2014,7(8):65-68.
[14] CHENG Y H,HUANG Z Q,KAN S L.System reliability mo-deling method combining AADL and IMC[J].Computer Engineering and Science,2015,37(8):1517-1524.(in Chinese) 程亦涵,黄志球,阚双龙.一种结合AADL和IMC的系统可靠性建模方法[J].计算机工程与科学,2015,37(8):1517-1524.
[15] TANG Y,SU W,LI S Y.AADL model to the generalized stochastic Petri net conversion tool[J].Modern Electronic Techno-logy,2015,38(12):62-65.(in Chinese) 汤玥,苏威,李蜀瑜.AADL模型到广义随机Petri网的转换工具[J].现代电子技术,2015,38(12):62-65.
[16] SHEN N M,LI J,BAI H Y.Transformation and verification of AADL data flow model of real time system based on Uppaal[J].Computer Science,2016(1):211-217.
[17] SHARVIA S,PAPADOPOOULOS Y.Integrating Model Checking with HiP-HOPS in Model-Based Safety Analysis[J].Reliability Engineering System Safety,2015,135:64-80.
[18] SU W.Research on verification technology of embedded software system based on AADL[D].Xi’an:Shanxi Normal University,2015.(in Chinese) 苏威.基于AADL的嵌入式软件系统验证技术研究[D].西安:陕西师范大学,2015.
[19] GAO L,DONG Y W,ZHANG F.AADL system reliability mo-del conversion method[J].Computer Engineering,2011,37(14):21-26.
[20] BOZZANO M,CIMATI A,KATOEN J P,et al.Safety,Depen-dability and Performance Analysis of Extended AADL Models[J].Computer Journal,2011,54(5):754-775.
[21] YANG Z B,PI L,HU K,et al.Architecture design and analysis of complex embedded real time systems:AADL[J].Journal of Software,2010,21(5):899-915.(in Chinese) 杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915.
No related articles found!
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发