系統(tǒng)安全性交叉驗(yàn)證工具設(shè)計(jì)與實(shí)現(xiàn)(基于PHA和FHA)
資料介紹
諸如航空航天、高鐵、核電等關(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í),對(duì)系統(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+系統(tǒng)安全性研究
- 高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 多層異構(gòu)網(wǎng)絡(luò)物理層安全性能研究綜述 2次下載
- 云系統(tǒng)的安全性增強(qiáng)算法及其研究 4次下載
- 基于定理證明的內(nèi)存安全驗(yàn)證工具算法綜述 5次下載
- 16位CRC驗(yàn)證碼生成VI工具下載 55次下載
- 批判性分析和聯(lián)網(wǎng)RFID系統(tǒng)安全性的比較研究 0次下載
- 提高充電系統(tǒng)安全性的電池充電器前端IC
- UNIX系統(tǒng)安全工具 0次下載
- 軌道電路極性交叉的調(diào)整
- NET下維修管理系統(tǒng)安全性設(shè)計(jì)與實(shí)現(xiàn)
- 基于Web的信息系統(tǒng)安全風(fēng)險(xiǎn)評(píng)估工具的設(shè)計(jì)
- 基于標(biāo)準(zhǔn)的系統(tǒng)安全測(cè)試指標(biāo)體系的研究
- 網(wǎng)絡(luò)系統(tǒng)安全 0次下載
- linux操作系統(tǒng)的安全性 0次下載
- 利用西門子EDA工具進(jìn)行SafeSPI功能安全驗(yàn)證 334次閱讀
- 機(jī)器學(xué)習(xí)中的交叉驗(yàn)證方法 1331次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對(duì)策 1252次閱讀
- 使用DeepCover安全身份驗(yàn)證器保護(hù)您的FPGA系統(tǒng) 1195次閱讀
- 通過SHA-256主/從身份驗(yàn)證系統(tǒng)實(shí)現(xiàn)更高的安全性 1196次閱讀
- 安全管理電路提供全方位監(jiān)測(cè),確保系統(tǒng)的安全性 561次閱讀
- 安全管理器提供多方面的監(jiān)控,以確保系統(tǒng)安全 576次閱讀
- QT如何配置交叉編譯工具? 3517次閱讀
- 形式驗(yàn)證工具對(duì)系統(tǒng)功能的設(shè)計(jì) 1526次閱讀
- 高速數(shù)控工具系統(tǒng)RFID自動(dòng)識(shí)別是如何實(shí)現(xiàn)的 1540次閱讀
- 物聯(lián)網(wǎng)硬件安全實(shí)現(xiàn)可靠加密的方法 4424次閱讀
- 工業(yè)控制系統(tǒng)的本體安全該如何理解 2457次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問題及思想和形式說明 8335次閱讀
- UltraSoC 和 ResilTech 攜手以進(jìn)一步提高汽車系統(tǒng)功能安全性 1211次閱讀
- IoT時(shí)代嵌入式系統(tǒng)有你想的那么安全嗎? 1066次閱讀
下載排行
本周
- 1PID控制算法學(xué)習(xí)筆記資料
- 3.43 MB | 3次下載 | 2 積分
- 2匯聯(lián)芯橋代理_HL817_USB3.1 HUB控制器 提供樣品與設(shè)計(jì)資料
- 1.05 MB | 1次下載 | 免費(fèi)
- 3VLI威鋒代理-VL103-擴(kuò)展塢PD3.0協(xié)議芯片,typeCPD充電輸出DP信號(hào) 替代VL102
- 1.18 MB | 1次下載 | 免費(fèi)
- 4一種抗輻射加固檢錯(cuò)糾錯(cuò)電路的設(shè)計(jì)
- 0.32 MB | 次下載 | 2 積分
- 5NVS800校驗(yàn)手操器操作說明書
- 0.54 MB | 次下載 | 免費(fèi)
- 6瑞芯微代理 RK628F Datasheet V1 HDMI轉(zhuǎn)MIPI/LVDS 視頻橋接芯片
- 1.29 MB | 次下載 | 免費(fèi)
- 78232A/8232B中文數(shù)據(jù)手冊(cè)
- 0.57 MB | 次下載 | 2 積分
- 8SW5099規(guī)格書
- 1.37 MB | 次下載 | 1 積分
本月
- 1如何看懂電子電路圖
- 12.88 MB | 272次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 12次下載 | 免費(fèi)
- 3RK3588數(shù)據(jù)手冊(cè)
- 2.24 MB | 12次下載 | 免費(fèi)
- 4ESP32開發(fā)板元件資料
- 0.03 MB | 8次下載 | 免費(fèi)
- 5OAH0428 V1.0英文規(guī)格書
- 5.86 MB | 8次下載 | 免費(fèi)
- 6PC1032 5.5V_3A高效率同步降壓轉(zhuǎn)換器數(shù)據(jù)手冊(cè)
- 0.76 MB | 3次下載 | 免費(fèi)
- 7臺(tái)達(dá)變頻器VFD-M使用手冊(cè)
- 2.51 MB | 3次下載 | 免費(fèi)
- 8PID控制算法學(xué)習(xí)筆記資料
- 3.43 MB | 3次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 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 | 191414次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183349次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81599次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
電子發(fā)燒友App






創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評(píng)論