電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
諸如航空航天、高鐵、核電等關鍵系統具有嚴苛的安全性要求。PHA（ 預先危險評估）和FHA（功能危險評估）是兩種常用的系統安全性分析手段，其中PHA從危險叫出發，分析系統發生危險的原因，并給出相應的控制措施，補充系統的安全性功能;FHA是從功能出發，分析功能失效后果可導致的危險，通過分析危險的嚴重程度，來確定功能的安全性等級，對系統的安全性功能做出初步的界定和分析。然而PHA 容易遺漏危險分析，FHA 容易遺漏功能分析，且人工分析存在主觀隨意性強，效率低下等問題。文章在PHA 和FHA 各自獨立驗證的基礎上，開展交叉驗證，并據此設計和實現了圖形化的系統安全性自動化建模和驗證工具，用以解決上述問題。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Mac+OS+X+系統安全性研究
- 高安全性應用開發環境的時序性質驗證框架 1次下載
- 多層異構網絡物理層安全性能研究綜述 2次下載
- 云系統的安全性增強算法及其研究 4次下載
- 基于定理證明的內存安全驗證工具算法綜述 5次下載
- 16位CRC驗證碼生成VI工具下載 54次下載
- 批判性分析和聯網RFID系統安全性的比較研究 0次下載
- 提高充電系統安全性的電池充電器前端IC
- UNIX系統安全工具 0次下載
- 軌道電路極性交叉的調整
- NET下維修管理系統安全性設計與實現
- 基于Web的信息系統安全風險評估工具的設計
- 基于標準的系統安全測試指標體系的研究
- 網絡系統安全 0次下載
- linux操作系統的安全性 0次下載
- 機器學習中的交叉驗證方法 304次閱讀
- 工業控制系統安全性分析與對策 829次閱讀
- 使用DeepCover安全身份驗證器保護您的FPGA系統 967次閱讀
- 通過SHA-256主/從身份驗證系統實現更高的安全性 978次閱讀
- 安全管理電路提供全方位監測，確保系統的安全性 469次閱讀
- 安全管理器提供多方面的監控，以確保系統安全 484次閱讀
- QT如何配置交叉編譯工具？ 2942次閱讀
- 形式驗證工具對系統功能的設計 1317次閱讀
- AbsInt代碼安全性能分析套件產品介紹 1355次閱讀
- 高速數控工具系統RFID自動識別是如何實現的 1468次閱讀
- 物聯網硬件安全實現可靠加密的方法 4249次閱讀
- 工業控制系統的本體安全該如何理解 2338次閱讀
- 工控系統的安全現狀和存在的問題及思想和形式說明 8127次閱讀
- UltraSoC 和 ResilTech 攜手以進一步提高汽車系統功能安全性 1148次閱讀
- IoT時代嵌入式系統有你想的那么安全嗎？ 1048次閱讀
上傳資料賺積分下載排行
本周
- 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次下載 | 免費
工商網監
評論