资料介绍
软件密集型装备故障的静态检测:软件密集型装备是指软件和硬件紧密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序。
关键词 软件密集型装备,故障模型,控制流分析,故障检测
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 programflow 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
- 云优化性能:使用基于闪存的存储的I/O密集型工作负载0次下载
- 基于双残差超密集网络的多模态医学图像融合方法19次下载
- KUKS系统软件错误信息与故障处理电子版下载0次下载
- 如何进行舰船装备软件进行维护成本估算模型的研究6次下载
- I/O密集型虚拟机的域间通信优化方法0次下载
- 新型处理器的数据密集型计算0次下载
- 计算高度密集型应用在异构多核DSP上的运行方法研究5次下载
- 两栖装甲装备故障诊断智能检测系统设计_毛伟伟0次下载
- XML的软件安全静态检测方法研究13次下载
- SRAM故障模型的检测方法与应用44次下载
- 新型电子装备软件故障诊断方法研究9次下载
- 基于模型检验的软件安全静态分析研究23次下载
- 雷达故障自动检测系统26次下载
- 过程装备制造与检测课程实验教学大纲27次下载
- 软件安全漏洞的静态检测技术17次下载
- 功能安全验证之软件故障注入方法579次阅读
- 软件漏洞检测场景中的深度学习模型实证研究345次阅读
- 医疗器械软件风险分析介绍 医疗设备软件静态和动态分析技巧1201次阅读
- CAN收发器故障检测电路及算法1426次阅读
- 空调技术:使用“故障自检”功能检测故障1175次阅读
- 借助多功能Xilinx Zynq Ultrascale+ MPSoC加速计算密集型应用开发1388次阅读
- 基于分流器的故障检测方法1297次阅读
- 一文解析软件故障模式和影响3781次阅读
- 软件测试的运行划分:动态静态测试的区别1.5w次阅读
- 电路故障检测的8种判断方法6.3w次阅读
- 投入式液位计故障判断_投入式液位计故障检测方法3463次阅读
- 电磁离合器的检测及常见故障解决7756次阅读
- PCB设计软件allegro中静态铜箔和动态铜箔的设计1.5w次阅读
- 超实用放入电子电路八种故障分析方法6885次阅读
- ST发布密集型数据写2-Mbit串口EEPROM芯片1310次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB |1490次下载 |免费
- 2单片机典型实例介绍
- 18.19 MB |93次下载 |1积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB |27次下载 |1积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB |18次下载 |4积分
- 5开关电源原理及各功能电路详解
- 0.38 MB |10次下载 |免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB |4次下载 |免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB |3次下载 |免费
- 8基于单片机的红外风扇遥控
- 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 专业版下载 (3CD完整版)
- 0.00 MB |51043次下载 |免费
- 5555集成电路应用800例(新编版)
- 0.00 MB |33562次下载 |免费
- 6接口电路图大全
- 未知 |30320次下载 |免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB |28588次下载 |免费
- 8开关电源设计实例指南
- 未知 |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十天学会AVR单片机与C语言视频教程 下载
- 158M |183277次下载 |免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 |138039次下载 |免费
评论
查看更多