-
题名机载系统的功能研制保证等级验证方法
被引量:1
- 1
-
-
作者
蒋泉
朱春玲
王旭亮
尹小花
-
机构
南京航空航天大学航空宇航学院
空军装备部项目中心
南京航空航天大学计算机科学与技术学院
-
出处
《计算机工程与设计》
北大核心
2021年第3期867-874,共8页
-
基金
国家自然科学基金重点基金项目(11832012)。
-
文摘
为保证机载系统研制过程中人为分配的功能研制保证等级是合理的,提出一种机载系统功能研制保证等级的验证方法。考虑不同架构设计对系统功能研制保证等级分配的影响,结合模型驱动和形式化方法,研究系统的功能研制保证等级与安全标准的一致性,通过实例验证了该方法能够自动分析和检验系统的功能研制保证等级分配的合理性,提高系统安全性。
-
关键词
机载系统
功能研制保证等级
形式化方法
安全标准
系统安全性
-
Keywords
airborne system
FDAL
formal method
safety standards
system safety
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于飞机架构的初步飞机安全性评估方法研究
被引量:1
- 2
-
-
作者
池巧君
-
机构
上海飞机设计研究院
-
出处
《科技创新导报》
2015年第36期41-42,44,共3页
-
文摘
初步飞机安全性评估(PASA)方法是民机安全性设计与评估工作的关键环节之一,也是开展民机适航符合性验证工作的必要过程。该文基于ARP 4754A所提供的指导材料,以民机设计和研制为对象,从飞机系统功能间的相互关联性分析、概率分配、功能研制保证等级分配等方面,阐述了民机初步飞机安全性评估的具体方法,结合工程实际飞机架构,验证了该方法的有效性和实用性,并为民机安全性评估与适航合格审定工作提供了有力的技术支持。
-
关键词
民机
相互关联性分析
概率分配
功能研制保证等级
-
分类号
F42
[经济管理—产业经济]
-