-
题名基于AADL的失效概率分配及安全性评估方法
被引量:6
- 1
-
-
作者
魏晓敏
董泽乾
肖明睿
田聪
-
机构
西北工业大学计算机学院
西安电子科技大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第6期1654-1671,共18页
-
基金
国家自然科学基金(61772423)。
-
文摘
当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结合失效概率分配方法和确定性随机Petri网(deterministic stochastic Petri-net,简称DSPN),进一步提出了基于AADL的安全性评估方法,将系统的AADL模型转换为DSPN模型,以计算子构件的失效概率,并评估子构件是否满足安全性需求,直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构,并通过将所提出的方法应用到飞行控制系统,表明所提方法能够有效地完成失效概率分配和安全性评估.
-
关键词
AADL
失效概率分配
安全性评估
DSPN
-
Keywords
AADL
failure probabilities allocation
safety assessment
DSPN
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名坚持用科学发展观统领地方农机化工作
- 2
-
-
作者
董泽乾
-
机构
德江县农机服务中心
-
出处
《贵州农机化》
2009年第2期28-28,共1页
-
文摘
在全党开展深入实践科学发展观活动,是党的十七大作出的重大战略决策,是全党和全国各族人民政治生活中的一件大事。基层农机部门作为地方党委、政府推进农业机械化工作的职能部门,全面贯彻落实科学发展观。
-
关键词
农机化发展
农业机械化
基层农机
科学发展观
-
分类号
F323.3
[经济管理—产业经济]
-