電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
近年來(lái)，基于模型的安全性分析技術(shù)（MBSA）在航空等領(lǐng)堿有著廣泛應(yīng)用，因此對(duì)以ⅹSAP安全分析平臺(tái)為核心，基于MBSA的系統(tǒng)安全性評(píng)估方法進(jìn)行了研究，并通過(guò)一個(gè)真實(shí)的綜合航電系統(tǒng) Garmin G1000的自動(dòng)飛行控制系統(tǒng)（AFCS）GFC700為實(shí)例來(lái)詳細(xì)介紹。該方法的實(shí)現(xiàn)包括使用 NUSMV形式化語(yǔ)言對(duì)系統(tǒng)進(jìn)行需求建模，根據(jù)系統(tǒng)設(shè)計(jì)故障模弌，在NSM模型中注λ故障事件，使用κSAP對(duì)№SMV需求模型進(jìn)行模型擴(kuò)展得到故障擴(kuò)展模型，以及對(duì)故障擴(kuò)展模型進(jìn)行故障分析及系統(tǒng)安全性評(píng)估，例如生成故障樹(shù)及FMEA表等。從分析結(jié)果來(lái)看，使用xSAP平臺(tái)對(duì)實(shí)際系統(tǒng)進(jìn)行基于模型的系統(tǒng)安全分析是行之有效的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 多旋翼飛行器設(shè)計(jì)與控制的任務(wù)決策綜述 0次下載
- 抖動(dòng)按鍵技術(shù)及雙狄拉克模型綜述 2次下載
- Python環(huán)境下的航空安全信息分析綜述 7次下載
- 飛行器表面沉積靜電分布仿真研究綜述 12次下載
- 高安全性應(yīng)用開(kāi)發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 實(shí)體飛行器表面沉積靜電分布仿真模型 18次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點(diǎn)的安全性分析
- 帶有委托功能的UCONpreA模型安全性分析及DBRM0表達(dá) 0次下載
- 飛行品質(zhì)評(píng)估模型設(shè)計(jì) 0次下載
- 全面解析OSPF路由協(xié)議安全性分析 8次下載
- 磁共振式無(wú)線電能傳輸系統(tǒng)應(yīng)用的電磁環(huán)境安全性研究及綜述 2次下載
- 動(dòng)態(tài)路由協(xié)議安全性分析 21次下載
- 基于AHP的飛行安全評(píng)估模型的研究與實(shí)現(xiàn)
- 座椅被動(dòng)安全性仿真分析與結(jié)構(gòu)參數(shù)化設(shè)計(jì)
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- UPS電源的安全性和可靠性分析 580次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對(duì)策 1252次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護(hù)措施 667次閱讀
- 可靠性與安全性 6245次閱讀
- 不折不扣的安全性 660次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動(dòng)態(tài)分析 1588次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 6531次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計(jì) 2816次閱讀
- 怎樣使無(wú)人機(jī)安全飛行?無(wú)人機(jī)飛行需要掌握什么安全知識(shí) 1.6w次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.7w次閱讀
- FPGA技術(shù)在汽車中實(shí)現(xiàn)高可靠性和安全性 2333次閱讀
- 從幾個(gè)不同的技術(shù)層面對(duì)鋰電和燃料電池的安全性進(jìn)行分析對(duì)比 8381次閱讀
- 影響鋰離子動(dòng)力電池安全性因素分析 7433次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3148次閱讀
上傳資料賺積分下載排行
本周
- 1NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊(cè)
- 0.40 MB | 4次下載 | 2 積分
- 2光伏并網(wǎng)逆變器原理
- 7.31 MB | 3次下載 | 2 積分
- 3T20電烙鐵原理圖資料
- 0.27 MB | 2次下載 | 免費(fèi)
- 4PL83081 雙路恒流同步降壓轉(zhuǎn)換器技術(shù)手冊(cè)
- 3.34 MB | 1次下載 | 免費(fèi)
- 5PL88052 4.8V至60V輸入，5A，同步降壓轉(zhuǎn)換器技術(shù)手冊(cè)
- 3.36 MB | 1次下載 | 免費(fèi)
- 6LX8201微孔霧化驅(qū)動(dòng)芯片電路圖資料
- 0.15 MB | 1次下載 | 免費(fèi)
- 7PC6200_7V直流電機(jī)驅(qū)動(dòng)器技術(shù)手冊(cè)
- 0.47 MB | 次下載 | 免費(fèi)
- 8恒溫晶體振蕩器（OCXO）FOC-2D：20.6×20.6mm在通信基站和測(cè)試設(shè)備中的應(yīng)用參數(shù)規(guī)格
- 485.75 KB | 次下載 | 免費(fèi)
本月
- 1如何看懂電子電路圖
- 12.88 MB | 329次下載 | 免費(fèi)
- 2RK3588數(shù)據(jù)手冊(cè)
- 2.24 MB | 14次下載 | 免費(fèi)
- 3PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 12次下載 | 免費(fèi)
- 4STM32F10x參考手冊(cè)資料
- 13.64 MB | 12次下載 | 1 積分
- 5OAH0428 V1.0英文規(guī)格書(shū)
- 5.86 MB | 8次下載 | 免費(fèi)
- 6NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊(cè)
- 0.40 MB | 4次下載 | 2 積分
- 7PID控制算法學(xué)習(xí)筆記資料
- 3.43 MB | 3次下載 | 2 積分
- 8光伏并網(wǎng)逆變器原理
- 7.31 MB | 3次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191415次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 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 積分
工商網(wǎng)監(jiān)
評(píng)論