系统安全性交叉验证工具设计与实现  

Design and realization of system safety cross verification tool

作　　者：李丹[1] 李震[1,2] 苗虹[3] 郑军[4] 李海峰[4] 

机构地区：[1]江苏科技大学电子信息学院,江苏镇江212003 [2]金舟软件有限责任公司,江苏镇江212003 [3]江苏科技大学经济管理学院,江苏镇江212003 [4]中国航空综合技术研究所,北京100028

出　　处：《电子设计工程》2017年第4期32-34,38,共4页Electronic Design Engineering

基　　金：江苏高校优势学科(苏政办发[2011]6号);江苏省企业博士集聚计划(苏人才办[2012]40号);镇江市"331"计划优先项目(镇领军办[2013]3号);中航综合技术研究所创新课题(2011DX051F)

摘　　要：针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能,并结合刹车系统利用该方法和工具开展安全性交叉验证工作,结果表明方法和工具可以发现独立验证遗漏的问题,可以提高系统安全性的建模和分析能力、工作效率和可复用性。To solve the problem of easy to ignore hazard and its control in independent verification, andto solve the problem of easy to make mistake and lack of effectiveness in manual analysis, this paperdesigned and developed a tool of automatic analysis and verification to system safety based crossverification. This tool supported visual and graphical modeling of function structure, FHA analysis andsummary, modeling and analysis with summary of PHA, independent verification, combined verification andhazard database. This paper use this method and tool to implement cross verification of brake system,the result showed the method and tool can find the ignorant problems in independent verification, andcan enhance the ability of system safety modeling and analysis, effectiveness and reusability.

关 键 词：系统安全性 初步危险分析 功能危险分析 验证 

分 类 号：TN02[电子电信—物理电子学]