電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻系統(tǒng)安全性交叉驗(yàn)證工具設(shè)計(jì)與實(shí)現(xiàn)（基于PHA和FHA）
2017-10-30 |
rar |
0.75 MB |
次下載 |
1積分
資料介紹
諸如航空航天、高鐵、核電等關(guān)鍵系統(tǒng)具有嚴(yán)苛的安全性要求。PHA（ 預(yù)先危險(xiǎn)評(píng)估）和FHA（功能危險(xiǎn)評(píng)估）是兩種常用的系統(tǒng)安全性分析手段，其中PHA從危險(xiǎn)叫出發(fā)，分析系統(tǒng)發(fā)生危險(xiǎn)的原因，并給出相應(yīng)的控制措施，補(bǔ)充系統(tǒng)的安全性功能;FHA是從功能出發(fā)，分析功能失效后果可導(dǎo)致的危險(xiǎn)，通過分析危險(xiǎn)的嚴(yán)重程度，來確定功能的安全性等級(jí)，對系統(tǒng)的安全性功能做出初步的界定和分析。然而PHA 容易遺漏危險(xiǎn)分析，F(xiàn)HA 容易遺漏功能分析，且人工分析存在主觀隨意性強(qiáng)，效率低下等問題。文章在PHA 和FHA 各自獨(dú)立驗(yàn)證的基礎(chǔ)上，開展交叉驗(yàn)證，并據(jù)此設(shè)計(jì)和實(shí)現(xiàn)了圖形化的系統(tǒng)安全性自動(dòng)化建模和驗(yàn)證工具，用以解決上述問題。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Mac+OS+X+系统安全性研究1次下载
- 高安全性应用开发环境的时序性质验证框架1次下载
- 多层异构网络物理层安全性能研究综述2次下载
- 云系统的安全性增强算法及其研究4次下载
- 基于定理证明的内存安全验证工具算法综述5次下载
- 16位CRC验证码生成VI工具下载55次下载
- 批判性分析和联网RFID系统安全性的比较研究0次下载
- 提高充电系统安全性的电池充电器前端IC33次下载
- UNIX系统安全工具0次下载
- 轨道电路极性交叉的调整41次下载
- NET下维修管理系统安全性设计与实现11次下载
- 基于Web的信息系统安全风险评估工具的设计25次下载
- 基于标准的系统安全测试指标体系的研究13次下载
- 网络系统安全0次下载
- linux操作系统的安全性0次下载
- Linux系统安全防护措施313次阅读
- 接地电阻柜是电力系统安全运行的重要保障236次阅读
- 利用西门子EDA工具进行SafeSPI功能安全验证1742次阅读
- 机器学习中的交叉验证方法2749次阅读
- 工业控制系统安全性分析与对策1772次阅读
- 使用DeepCover安全身份验证器保护您的FPGA系统1501次阅读
- 通过SHA-256主/从身份验证系统实现更高的安全性1482次阅读
- 安全管理电路提供全方位监测，确保系统的安全性711次阅读
- 安全管理器提供多方面的监控，以确保系统安全802次阅读
- QT如何配置交叉编译工具？3970次阅读
- 形式验证工具对系统功能的设计1804次阅读
- 高速数控工具系统RFID自动识别是如何实现的1676次阅读
- 物联网硬件安全实现可靠加密的方法4693次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明8656次阅读
- IoT时代嵌入式系统有你想的那么安全吗？1138次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 1貼片三極管上的印字與真實(shí)名稱的對照表詳細(xì)說明
- 0.50 MB | 87次下載 | 1 積分
- 2802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費(fèi)
- 33D AD庫文件
- 16.96 MB | 2次下載 | 免費(fèi)
- 4BDR6121G直流電機(jī)驅(qū)動(dòng)芯片中文手冊
- 0.54 MB | 1次下載 | 免費(fèi)
- 5ANT8817 1%3.5W/3.7V，同步自適應(yīng)升壓，超長續(xù)航，H類防破音單聲道音頻功放中文手冊
- 1.11 MB | 1次下載 | 免費(fèi)
- 610K-100K B3950-B3435NTC熱敏電阻快速查詢對照表
- 0.10 MB | 1次下載 | 1 積分
- 7ANT8825S內(nèi)置同步升壓，防破音，AB/D類雙模立體聲音頻功放中文手冊
- 1.29 MB | 次下載 | 免費(fèi)
- 8ANT3270 2×75W/2×38W+75W，免電感，低EMI，D類音頻功率放大器中文手冊
- 1.33 MB | 次下載 | 免費(fèi)
本月
- 1AI智能眼鏡產(chǎn)業(yè)鏈分析
- 4.43 MB | 311次下載 | 免費(fèi)
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 286次下載 | 5 積分
- 3長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 87次下載 | 5 積分
- 4貼片三極管上的印字與真實(shí)名稱的對照表詳細(xì)說明
- 0.50 MB | 87次下載 | 1 積分
- 5U盤一鍵制作
- 23.84 MB | 41次下載 | 免費(fèi)
- 6AO4803A雙P通道增強(qiáng)型場效應(yīng)晶體管的數(shù)據(jù)手冊
- 0.11 MB | 28次下載 | 2 積分
- 7長虹液晶彩電LS29機(jī)芯的技術(shù)資料說明
- 3.42 MB | 16次下載 | 2 積分
- 8802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191387次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論