電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
近年來，基于模型的安全性分析技術(shù)（MBSA）在航空等領(lǐng)堿有著廣泛應(yīng)用，因此對以ⅹSAP安全分析平臺為核心，基于MBSA的系統(tǒng)安全性評估方法進(jìn)行了研究，并通過一個(gè)真實(shí)的綜合航電系統(tǒng) Garmin G1000的自動飛行控制系統(tǒng)（AFCS）GFC700為實(shí)例來詳細(xì)介紹。該方法的實(shí)現(xiàn)包括使用 NUSMV形式化語言對系統(tǒng)進(jìn)行需求建模，根據(jù)系統(tǒng)設(shè)計(jì)故障模弌，在NSM模型中注λ故障事件，使用κSAP對№SMV需求模型進(jìn)行模型擴(kuò)展得到故障擴(kuò)展模型，以及對故障擴(kuò)展模型進(jìn)行故障分析及系統(tǒng)安全性評估，例如生成故障樹及FMEA表等。從分析結(jié)果來看，使用xSAP平臺對實(shí)際系統(tǒng)進(jìn)行基于模型的系統(tǒng)安全分析是行之有效的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 多旋翼飛行器設(shè)計(jì)與控制的任務(wù)決策綜述 0次下載
- 抖動按鍵技術(shù)及雙狄拉克模型綜述 2次下載
- Python環(huán)境下的航空安全信息分析綜述 7次下載
- 飛行器表面沉積靜電分布仿真研究綜述 12次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 實(shí)體飛行器表面沉積靜電分布仿真模型 18次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點(diǎn)的安全性分析
- 帶有委托功能的UCONpreA模型安全性分析及DBRM0表達(dá) 0次下載
- 基于網(wǎng)絡(luò)編碼的安全性綜述 0次下載
- 飛行品質(zhì)評估模型設(shè)計(jì) 0次下載
- 磁共振式無線電能傳輸系統(tǒng)應(yīng)用的電磁環(huán)境安全性研究及綜述 2次下載
- 動態(tài)路由協(xié)議安全性分析 21次下載
- 基于AHP的飛行安全評估模型的研究與實(shí)現(xiàn)
- 座椅被動安全性仿真分析與結(jié)構(gòu)參數(shù)化設(shè)計(jì)
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- 航空發(fā)動機(jī)燃油系統(tǒng)：飛行器動力核心的精密部件工作原理全解析 429次閱讀
- 航空發(fā)動機(jī)及eVTOL飛行器燃油供油系統(tǒng)：現(xiàn)代航空動力的關(guān)鍵支撐 346次閱讀
- 航空滑油附件測試臺：精準(zhǔn)溫控如何破解航空動力系統(tǒng)可靠性密碼 320次閱讀
- 高級壓感油墨在航空健康監(jiān)測系統(tǒng)中的應(yīng)用：提升安全性和性能 465次閱讀
- UPS電源的安全性和可靠性分析 2.3k次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護(hù)措施 1.7k次閱讀
- 可靠性與安全性 8.2k次閱讀
- 不折不扣的安全性 1.2k次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動態(tài)分析 2.6k次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計(jì) 3.3k次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 4w次閱讀
- 從幾個(gè)不同的技術(shù)層面對鋰電和燃料電池的安全性進(jìn)行分析對比 8.8k次閱讀
- 影響鋰離子動力電池安全性因素分析 7.9k次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.7w次閱讀
- 智能家居安全嗎_智能家居安全性分析 4k次閱讀
上傳資料賺積分下載排行
本周
- 1新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 1次下載 | 免費(fèi)
- 2冷柜-電氣控制系統(tǒng)講解
- 13.68 MB | 1次下載 | 10 積分
- 3MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 4MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 5LAT1218 如何選擇和設(shè)置外部晶體適配 BlueNRG-X
- 0.60 MB | 次下載 | 3 積分
- 6LAT1216 Blue NRG-1/2 系列芯片 Flash 操作與 BLE 事件的互斥處理
- 0.89 MB | 次下載 | 3 積分
- 7收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 8MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 5蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 6蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
- 7100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
- 8FS8025B USB的PD和OC快充協(xié)議電壓誘騙控制器IC技術(shù)手冊
- 1.81 MB | 1次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 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 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論