作者其他论文
文献详情
Research and Assessment of the Reliability of a Fault Tolerant Model Using AADL
文献类型:会议
作者:Zhang, Chenyu[1]  Yang, Zhiyi[2]  Dong, Yunwei[3]  
机构:[1]College of Computer, Northwestern Polytechnical University, Xi'an, 710072
[2]College of Computer, Northwestern Polytechnical University, Xi'an, 710072
[3]College of Computer, Northwestern Polytechnical University, Xi'an, 710072
年:2008
通讯作者:Zhang, CY (reprint author), NW Polytech Univ, Coll Comp, Xian 710072, Peoples R China.
会议名称:PROCEEDINGS OF THE 2008 ADVANCED SOFTWARE ENGINEERING & ITS APPLICATIONS
页码范围:45-52
会议开始日期:2008-12-13
收录情况:EI(20091111954101)  CPCI-S(WOS:000263207400009)  
所属部门:航空学院
人气指数:1158
浏览次数:1147
语言:外文
摘要:
In order to solve the problem of the assessment of the reliability of the fault tolerant system, the work in this paper is devoted to analyze a subsystem of ATC (Air Traffic Control system), and use AADL (Architecture Analysis and Design Language) to build its model. After describing the various software and hardware error states and as well as error propagation from hardware to software, the work builds the AADL Error Model and convert it to GSPN (General Stochastic Petri Net). Using current Pe ...More
0
评论(0 条评论)
登录