電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
近年來，基于模型的安全性分析技術(shù)（MBSA）在航空等領堿有著廣泛應用，因此對以ⅹSAP安全分析平臺為核心，基于MBSA的系統(tǒng)安全性評估方法進行了研究，并通過一個真實的綜合航電系統(tǒng) Garmin G1000的自動飛行控制系統(tǒng)（AFCS）GFC700為實例來詳細介紹。該方法的實現(xiàn)包括使用 NUSMV形式化語言對系統(tǒng)進行需求建模，根據(jù)系統(tǒng)設計故障模弌，在NSM模型中注λ故障事件，使用κSAP對№SMV需求模型進行模型擴展得到故障擴展模型，以及對故障擴展模型進行故障分析及系統(tǒng)安全性評估，例如生成故障樹及FMEA表等。從分析結(jié)果來看，使用xSAP平臺對實際系統(tǒng)進行基于模型的系統(tǒng)安全分析是行之有效的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 多旋翼飛行器設計與控制的任務決策綜述 0次下載
- 抖動按鍵技術(shù)及雙狄拉克模型綜述 2次下載
- Python環(huán)境下的航空安全信息分析綜述 7次下載
- 飛行器表面沉積靜電分布仿真研究綜述 12次下載
- 高安全性應用開發(fā)環(huán)境的時序性質(zhì)驗證框架 1次下載
- 實體飛行器表面沉積靜電分布仿真模型 18次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點的安全性分析
- 帶有委托功能的UCONpreA模型安全性分析及DBRM0表達 0次下載
- 飛行品質(zhì)評估模型設計 0次下載
- 全面解析OSPF路由協(xié)議安全性分析 8次下載
- 磁共振式無線電能傳輸系統(tǒng)應用的電磁環(huán)境安全性研究及綜述 2次下載
- 動態(tài)路由協(xié)議安全性分析 21次下載
- 基于AHP的飛行安全評估模型的研究與實現(xiàn)
- 座椅被動安全性仿真分析與結(jié)構(gòu)參數(shù)化設計
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- UPS電源的安全性和可靠性分析 580次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對策 1252次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護措施 667次閱讀
- 可靠性與安全性 6245次閱讀
- 不折不扣的安全性 660次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動態(tài)分析 1588次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6531次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設計 2816次閱讀
- 怎樣使無人機安全飛行?無人機飛行需要掌握什么安全知識 1.6w次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.7w次閱讀
- FPGA技術(shù)在汽車中實現(xiàn)高可靠性和安全性 2333次閱讀
- 從幾個不同的技術(shù)層面對鋰電和燃料電池的安全性進行分析對比 8381次閱讀
- 影響鋰離子動力電池安全性因素分析 7433次閱讀
- DES算法的應用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3148次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 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數(shù)字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設計》 溫德爾著
- 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 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網(wǎng)監(jiān)
評論