基于GSN的安全论证方法在产品功能安全评估中的应用

来源 :控制与信息技术 | 被引量 : 0次 | 上传用户:goodsky4008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全相关机构对产品安全可接受性的认识主要取决于安全论证过程中产生的安全证明文件是否全面、准确,文章采用目标结构表示法(goal structuring notation,GSN)构建基于IEC 62425标准的安全论证模型,在系统全生命周期中梳理安全目标与安全证明文件间的论证推理关系,从而能够有效地整合安全分析中的安全证据材料,并在安全性需求和安全性证据间建立明确的论证关系。该方法被应用于构建轨道交通信号系统应答器车载设备的安全论证模型中,取得了良好的效果。
其他文献
随着现代铁路运输业的迅速发展,铝合金车体轻量化设计已成为生产制造轨道车辆的必然趋势。7N01铝合金是非常理想的中强可焊结构材料,主要用于轨道高速列车车体的端面梁、底座
La-Mg-Ni系PuNi3型贮氢合金是新近发现的高容量电极合金,具有重要的开发应用前景,但电极合金循环稳定性较差,因而如何提高合金电极循环稳定性是该类合金目前应用研究的关键问
为提高航空维修风险评估的有效性,引入多元联系数集对分析理论,将评估系统中的确定与不确定因素作为一个整体进行处理。在考虑专家权重的基础上,运用不确定层次分析法确定各
目的:应用RP—HPLC建立了勒马回注射剂的指纹图谱,并对相似度计算软件应用过程中存在的问题进行了探讨。方法:用BeckmanC18(4.6mmx250mm,5μm)甲醇-0.5%冰醋酸溶液恒流洗脱,流速1mL&#