電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
諸如航空航天、高鐵、核電等關鍵系統具有嚴苛的安全性要求。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次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論