资料介绍
诸如航空航天、高铁、核电等关键系统具有严苛的安全性要求。PHA( 预先危险评估)和FHA(功能危险评估)是两种常用的系统安全性分析手段,其中PHA从危险叫出发,分析系统发生危险的原因,并给出相应的控制措施,补充系统的安全性功能;FHA是从功能出发,分析功能失效后果可导致的危险,通过分析危险的严重程度,来确定功能的安全性等级,对系统的安全性功能做出初步的界定和分析。然而PHA 容易遗漏危险分析,FHA 容易遗漏功能分析,且人工分析存在主观随意性强,效率低下等问题。文章在PHA 和FHA 各自独立验证的基础上,开展交叉验证,并据此设计和实现了图形化的系统安全性自动化建模和验证工具,用以解决上述问题。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- Mac+OS+X+系统安全性研究
- 高安全性应用开发环境的时序性质验证框架 1次下载
- 多层异构网络物理层安全性能研究综述 2次下载
- 云系统的安全性增强算法及其研究 4次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- 16位CRC验证码生成VI工具下载 55次下载
- 批判性分析和联网RFID系统安全性的比较研究 0次下载
- 提高充电系统安全性的电池充电器前端IC
- UNIX系统安全工具 0次下载
- 轨道电路极性交叉的调整
- NET下维修管理系统安全性设计与实现
- 基于Web的信息系统安全风险评估工具的设计
- 基于标准的系统安全测试指标体系的研究
- 网络系统安全 0次下载
- linux操作系统的安全性 0次下载
- 利用西门子EDA工具进行SafeSPI功能安全验证 334次阅读
- 机器学习中的交叉验证方法 1331次阅读
- 工业控制系统安全性分析与对策 1252次阅读
- 使用DeepCover安全身份验证器保护您的FPGA系统 1195次阅读
- 通过SHA-256主/从身份验证系统实现更高的安全性 1196次阅读
- 安全管理电路提供全方位监测,确保系统的安全性 561次阅读
- 安全管理器提供多方面的监控,以确保系统安全 576次阅读
- QT如何配置交叉编译工具? 3517次阅读
- 形式验证工具对系统功能的设计 1526次阅读
- 高速数控工具系统RFID自动识别是如何实现的 1540次阅读
- 物联网硬件安全实现可靠加密的方法 4424次阅读
- 工业控制系统的本体安全该如何理解 2457次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 8335次阅读
- UltraSoC 和 ResilTech 携手以进一步提高汽车系统功能安全性 1211次阅读
- IoT时代嵌入式系统有你想的那么安全吗? 1066次阅读
下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 11次下载 | 免费
- 3嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 4DIY动手组装LED电子显示屏
- 0.98 MB | 3次下载 | 免费
- 5基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 651单片机窗帘控制器仿真程序
- 1.93 MB | 2次下载 | 免费
- 751单片机大棚环境控制器仿真程序
- 1.10 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191186次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多