资料下载
×
系统安全性交叉验证工具设计与实现（基于PHA和FHA）
消耗积分:1 |
格式:rar |
大小:0.75 MB |
2017-10-30
分享资料个
诸如航空航天、高铁、核电等关键系统具有严苛的安全性要求。PHA（ 预先危险评估）和FHA（功能危险评估）是两种常用的系统安全性分析手段，其中PHA从危险叫出发，分析系统发生危险的原因，并给出相应的控制措施，补充系统的安全性功能;FHA是从功能出发，分析功能失效后果可导致的危险，通过分析危险的严重程度，来确定功能的安全性等级，对系统的安全性功能做出初步的界定和分析。然而PHA 容易遗漏危险分析，FHA 容易遗漏功能分析，且人工分析存在主观随意性强，效率低下等问题。文章在PHA 和FHA 各自独立验证的基础上，开展交叉验证，并据此设计和实现了图形化的系统安全性自动化建模和验证工具，用以解决上述问题。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
