摘要
为解决现有民机机载系统安全性评估中逻辑推理不明确、可读性不强等问题,首先基于安全论证法和目标结构化标记(GSN)语言,通过分析系统安全性要求的符合性验证思路,研究并给出系统安全性评估论证策略;然后从安全性目标满足和安全性需求管理2方面分别进行机载系统安全论证;最后通过实例分析,验证基于安全论证法在民机机载系统安全性评估中的有效性。结果表明:基于GSN的安全论证符合正向研制流程要求,在安全性目标和支撑证据之间建立明确的逻辑推理关系,可用于内部交流和适航审查。
In order to solve problems of existing safety assessment methods of civil airborne system,such as unclear logical reasoning and poor readability,firstly,an argument strategy for its safety assessment,based on safety case and GSN language,was studied and proposed through analyzing compliance verification approach to system safety requirements.Secondly,system safety argument was conducted separately from two aspects of safety goal satisfaction and safety requirements management.Finally,effectiveness of this safety case based assessment method was demonstrated with real cases.The results show that safety case based on GSN meets requirements of civil aircraft and system development,and given the clear logical relationship it builds between safety objectives and supporting evidences,it can be used for internal communication and airworthiness certification.
作者
肖女娥
阎芳
王鹏
XIAO Nyu'e;YAN Fang;WANG Peng(School of Airworthiness,Civil Aviation University of China,Tianjin 300300,China;Key Laboratory of Civil Aircraft Airworthiness Technology,Civil Aviation University of China,Tianjin 300300,China)
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2019年第12期72-77,共6页
China Safety Science Journal
基金
国家自然科学基金-民航联合研究基金资助(U1933106)
民航科技创新引导资金资助(MHRD20140208)。
