資料介紹
諸如航空航天、高鐵、核電等關(guān)鍵系統(tǒng)具有嚴苛的安全性要求。PHA( 預(yù)先危險評估)和FHA(功能危險評估)是兩種常用的系統(tǒng)安全性分析手段,其中PHA從危險叫出發(fā),分析系統(tǒng)發(fā)生危險的原因,并給出相應(yīng)的控制措施,補充系統(tǒng)的安全性功能;FHA是從功能出發(fā),分析功能失效后果可導(dǎo)致的危險,通過分析危險的嚴重程度,來確定功能的安全性等級,對系統(tǒng)的安全性功能做出初步的界定和分析。然而PHA 容易遺漏危險分析,F(xiàn)HA 容易遺漏功能分析,且人工分析存在主觀隨意性強,效率低下等問題。文章在PHA 和FHA 各自獨立驗證的基礎(chǔ)上,開展交叉驗證,并據(jù)此設(shè)計和實現(xiàn)了圖形化的系統(tǒng)安全性自動化建模和驗證工具,用以解決上述問題。
- Mac+OS+X+系統(tǒng)安全性研究
- 高安全性應(yīng)用開發(fā)環(huán)境的時序性質(zhì)驗證框架 1次下載
- 多層異構(gòu)網(wǎng)絡(luò)物理層安全性能研究綜述 2次下載
- 云系統(tǒng)的安全性增強算法及其研究 4次下載
- 基于定理證明的內(nèi)存安全驗證工具算法綜述 5次下載
- 16位CRC驗證碼生成VI工具下載 54次下載
- 批判性分析和聯(lián)網(wǎng)RFID系統(tǒng)安全性的比較研究 0次下載
- 提高充電系統(tǒng)安全性的電池充電器前端IC
- UNIX系統(tǒng)安全工具 0次下載
- 軌道電路極性交叉的調(diào)整
- NET下維修管理系統(tǒng)安全性設(shè)計與實現(xiàn)
- 基于Web的信息系統(tǒng)安全風險評估工具的設(shè)計
- 基于標準的系統(tǒng)安全測試指標體系的研究
- 網(wǎng)絡(luò)系統(tǒng)安全 0次下載
- linux操作系統(tǒng)的安全性 0次下載
- 機器學習中的交叉驗證方法 304次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對策 829次閱讀
- 使用DeepCover安全身份驗證器保護您的FPGA系統(tǒng) 967次閱讀
- 通過SHA-256主/從身份驗證系統(tǒng)實現(xiàn)更高的安全性 978次閱讀
- 安全管理電路提供全方位監(jiān)測,確保系統(tǒng)的安全性 469次閱讀
- 安全管理器提供多方面的監(jiān)控,以確保系統(tǒng)安全 484次閱讀
- QT如何配置交叉編譯工具? 2942次閱讀
- 形式驗證工具對系統(tǒng)功能的設(shè)計 1317次閱讀
- AbsInt代碼安全性能分析套件產(chǎn)品介紹 1355次閱讀
- 高速數(shù)控工具系統(tǒng)RFID自動識別是如何實現(xiàn)的 1468次閱讀
- 物聯(lián)網(wǎng)硬件安全實現(xiàn)可靠加密的方法 4249次閱讀
- 工業(yè)控制系統(tǒng)的本體安全該如何理解 2338次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問題及思想和形式說明 8127次閱讀
- UltraSoC 和 ResilTech 攜手以進一步提高汽車系統(tǒng)功能安全性 1148次閱讀
- IoT時代嵌入式系統(tǒng)有你想的那么安全嗎? 1048次閱讀
下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關(guān)電源基礎(chǔ)知識
- 5.73 MB | 11次下載 | 免費
- 3嵌入式linux-聊天程序設(shè)計
- 0.60 MB | 3次下載 | 免費
- 4DIY動手組裝LED電子顯示屏
- 0.98 MB | 3次下載 | 免費
- 5基于FPGA的C8051F單片機開發(fā)板設(shè)計
- 0.70 MB | 2次下載 | 免費
- 651單片機窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費
- 751單片機大棚環(huán)境控制器仿真程序
- 1.10 MB | 2次下載 | 免費
- 8基于51單片機的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關(guān)電源設(shè)計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設(shè)計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 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次下載 | 免費
評論
查看更多