電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件密集型裝備故障的靜態(tài)檢測:軟件密集型裝備是指軟件和硬件緊密結(jié)合的裝備，軟件密集型裝備中的故障多由軟件與硬件相互作用引發(fā)。本文對(duì)程序流程違反硬件工作時(shí)序引起的故障進(jìn)行了分析，并建立了故障模型，提出了一種靜態(tài)故障檢測方法，該方法通過對(duì)程序控制流進(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，F(xiàn)ault Model，Control Flow Analysis, Fault Detection
- 用于密集型在軌邊緣計(jì)算的微處理器和FPGA
- 云優(yōu)化性能：使用基于閃存的存儲(chǔ)的I/O密集型工作負(fù)載
- 適用于計(jì)算密集型應(yīng)用的AI計(jì)算引擎解決方案 7次下載
- 如何進(jìn)行艦船裝備軟件進(jìn)行維護(hù)成本估算模型的研究 6次下載
- 用于計(jì)算密集型實(shí)時(shí)應(yīng)用的TMS320C54x程序設(shè)計(jì)詳細(xì)概述 3次下載
- TMS320C6000系列DSP優(yōu)化介紹 6次下載
- I/O密集型虛擬機(jī)的域間通信優(yōu)化方法 0次下載
- 新型處理器的數(shù)據(jù)密集型計(jì)算 0次下載
- 計(jì)算高度密集型應(yīng)用在異構(gòu)多核DSP上的運(yùn)行方法研究 5次下載
- 兩棲裝甲裝備故障診斷智能檢測系統(tǒng)設(shè)計(jì)_毛偉偉 0次下載
- XML的軟件安全靜態(tài)檢測方法研究 13次下載
- 新型電子裝備軟件故障診斷方法研究
- 基于模型檢驗(yàn)的軟件安全靜態(tài)分析研究
- 雷達(dá)故障自動(dòng)檢測系統(tǒng)
- 軟件安全漏洞的靜態(tài)檢測技術(shù)
- 電動(dòng)機(jī)故障檢測方法有哪些 1850次閱讀
- 真空檢漏設(shè)備常見故障及維修方法詳解 312次閱讀
- Splashtop如何提供快速連接和最小延遲 348次閱讀
- 軟件漏洞檢測場景中的深度學(xué)習(xí)模型實(shí)證研究 578次閱讀
- 醫(yī)療器械軟件風(fēng)險(xiǎn)分析介紹 醫(yī)療設(shè)備軟件靜態(tài)和動(dòng)態(tài)分析技巧 1842次閱讀
- 如何構(gòu)建更涼爽、更密集的ASIC礦機(jī)鉆機(jī) 806次閱讀
- 空調(diào)技術(shù)：使用“故障自檢”功能檢測故障 1535次閱讀
- 借助多功能Xilinx Zynq Ultrascale+ MPSoC加速計(jì)算密集型應(yīng)用開發(fā) 1658次閱讀
- 基于模型設(shè)計(jì)的HDL代碼自動(dòng)生成技術(shù)應(yīng)用需求 953次閱讀
- 基于組合單元密集型FSS結(jié)構(gòu)的特點(diǎn)及應(yīng)用研究 2885次閱讀
- 電動(dòng)汽車中三電控制系統(tǒng)核心技術(shù)詳解 3985次閱讀
- 航空發(fā)動(dòng)機(jī)為什么難造 北航校長道出答案 3235次閱讀
- PCB行業(yè)中也有工業(yè)機(jī)器人的應(yīng)用 1132次閱讀
- 工業(yè)機(jī)器人在PCB行業(yè)中的應(yīng)用 3625次閱讀
- ST發(fā)布密集型數(shù)據(jù)寫2-Mbit串口EEPROM芯片 1411次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論