作者其他论文
文献详情
Study of safety analysis and assessment methodology for AADL model
文献类型:会议
作者:Song, Deming[1]  Dong, Yunwei[2]  Zhang, Fan[3]  Huo, Hong[4]  Gu, Bin[5]  
机构:[1]Northwestern Polytechnical University, Xi'an, 710129, China
[2]Northwestern Polytechnical University, Xi'an, 710129, China
[3]Northwestern Polytechnical University, Xi'an, 710129, China
[4]Northwestern Polytechnical University, Xi'an, 710129, China
[5]Institute of Control Engineering, Beijing, 100190, China
年:2012
通讯作者:Song, D.(songdeidei@gmail.com)
会议名称:2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012
页码范围:174-183
会议地点:Gaithersburg, MD, United states
会议开始日期:2012-06-20
会议结束日期:2012-06-22
收录情况:EI(20124015533736)  
所属部门:航空学院
人气指数:2313
浏览次数:2291
语言:外文
摘要:
This paper focuses on safety model of embedded system architecture using AADL (Architecture Analysis and Design Language). For further integration of safety analysis and system modeling, we propose a new approach to evaluate and assess the safety property of embedded systems quantitatively. We establish the safety model of embedded systems by extending AADL with fault model, identify causal relationships between elementary failure modes, put forward the formal method to transform this safety mod ...More
0
评论(0 条评论)
登录