%0 Journal Article %A 肖女娥 %A 阎芳 %A 王鹏 %T 基于安全论证的民机机载系统安全性评估 %D 2019 %R 10.16265/j.cnki.issn1003-3033.2019.12.012 %J 中国安全科学学报 %P 72-77 %V 29 %N 12 %X 为解决现有民机机载系统安全性评估中逻辑推理不明确、可读性不强等问题,首先基于安全论证法和目标结构化标记(GSN)语言,通过分析系统安全性要求的符合性验证思路,研究并给出系统安全性评估论证策略;然后从安全性目标满足和安全性需求管理2方面分别进行机载系统安全论证;最后通过实例分析,验证基于安全论证法在民机机载系统安全性评估中的有效性。结果表明:基于GSN的安全论证符合正向研制流程要求,在安全性目标和支撑证据之间建立明确的逻辑推理关系,可用于内部交流和适航审查。 %U http://www.cssjj.com.cn/CN/10.16265/j.cnki.issn1003-3033.2019.12.012