資料介紹
軟件密集型裝備故障的靜態(tài)檢測:軟件密集型裝備是指軟件和硬件緊密結合的裝備,軟件密集型裝備中的故障多由軟件與硬件相互作用引發(fā)。本文對程序流程違反硬件工作時(shí)序引起的故障進(jìn)行了分析,并建立了故障模型,提出了一種靜態(tài)故障檢測方法,該方法通過(guò)對程序控制流進(jìn)行分析,以檢測程序流程是否違反硬件工作時(shí)序。
關(guān)鍵詞 軟件密集型裝備,故障模型,控制流分析,故障檢測
Abstract: Software-Intensive System is the equip system which includes software and hardware. The faults of Software-Intensive System are always caused by the interplay in software and hardware. The faults caused by the program flow disobey the work scheduling of hardware are analyzed in this paper, and the fault model is built. A static method of detection of faults is described in this paper. In this method, whether the program disobey the work scheduling of hardware is detected by the analysis of program control flow.
Keywords:Software-Intensive System,Fault Model,Control Flow Analysis, Fault Detection
- 云優(yōu)化性能:使用基于閃存的存儲的I/O密集型工作負載 0次下載
- 基于雙殘差超密集網(wǎng)絡(luò )的多模態(tài)醫學(xué)圖像融合方法 19次下載
- KUKS系統軟件錯誤信息與故障處理電子版下載 0次下載
- 如何進(jìn)行艦船裝備軟件進(jìn)行維護成本估算模型的研究 6次下載
- I/O密集型虛擬機的域間通信優(yōu)化方法 0次下載
- 新型處理器的數據密集型計算 0次下載
- 計算高度密集型應用在異構多核DSP上的運行方法研究 5次下載
- 兩棲裝甲裝備故障診斷智能檢測系統設計_毛偉偉 0次下載
- XML的軟件安全靜態(tài)檢測方法研究 13次下載
- SRAM故障模型的檢測方法與應用 44次下載
- 新型電子裝備軟件故障診斷方法研究 9次下載
- 基于模型檢驗的軟件安全靜態(tài)分析研究 23次下載
- 雷達故障自動(dòng)檢測系統 26次下載
- 過(guò)程裝備制造與檢測課程實(shí)驗教學(xué)大綱 27次下載
- 軟件安全漏洞的靜態(tài)檢測技術(shù) 17次下載
- 功能安全驗證之軟件故障注入方法 579次閱讀
- 軟件漏洞檢測場(chǎng)景中的深度學(xué)習模型實(shí)證研究 345次閱讀
- 醫療器械軟件風(fēng)險分析介紹 醫療設備軟件靜態(tài)和動(dòng)態(tài)分析技巧 1201次閱讀
- CAN收發(fā)器故障檢測電路及算法 1426次閱讀
- 空調技術(shù):使用“故障自檢”功能檢測故障 1175次閱讀
- 借助多功能Xilinx Zynq Ultrascale+ MPSoC加速計算密集型應用開(kāi)發(fā) 1388次閱讀
- 基于分流器的故障檢測方法 1297次閱讀
- 一文解析軟件故障模式和影響 3781次閱讀
- 軟件測試的運行劃分:動(dòng)態(tài)靜態(tài)測試的區別 1.5w次閱讀
- 電路故障檢測的8種判斷方法 6.3w次閱讀
- 投入式液位計故障判斷_投入式液位計故障檢測方法 3463次閱讀
- 電磁離合器的檢測及常見(jiàn)故障解決 7756次閱讀
- PCB設計軟件allegro中靜態(tài)銅箔和動(dòng)態(tài)銅箔的設計 1.5w次閱讀
- 超實(shí)用放入電子電路八種故障分析方法 6885次閱讀
- ST發(fā)布密集型數據寫(xiě)2-Mbit串口EEPROM芯片 1310次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于A(yíng)T89C2051/4051單片機編程器的實(shí)驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開(kāi)關(guān)電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開(kāi)關(guān)電源設計實(shí)例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會(huì )AVR單片機與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論