电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
软件密集型装备故障的静态检测:软件密集型装备是指软件和硬件紧密结合的装备，软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析，并建立了故障模型，提出了一种静态故障检测方法，该方法通过对程序控制流进行分析，以检测程序流程是否违反硬件工作时序。
关键词 软件密集型装备，故障模型，控制流分析，故障检测
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
- 用于密集型在轨边缘计算的微处理器和FPGA
- 云优化性能：使用基于闪存的存储的I/O密集型工作负载
- 适用于计算密集型应用的AI计算引擎解决方案 7次下载
- 如何进行舰船装备软件进行维护成本估算模型的研究 6次下载
- 用于计算密集型实时应用的TMS320C54x程序设计详细概述 3次下载
- TMS320C6000系列DSP优化介绍 6次下载
- I/O密集型虚拟机的域间通信优化方法 0次下载
- 新型处理器的数据密集型计算 0次下载
- 计算高度密集型应用在异构多核DSP上的运行方法研究 5次下载
- 两栖装甲装备故障诊断智能检测系统设计_毛伟伟 0次下载
- XML的软件安全静态检测方法研究 13次下载
- 新型电子装备软件故障诊断方法研究
- 基于模型检验的软件安全静态分析研究
- 雷达故障自动检测系统
- 软件安全漏洞的静态检测技术
- 怎么在JAVA中确定线性池大小 215次阅读
- 电动机故障检测方法有哪些 2681次阅读
- 真空检漏设备常见故障及维修方法详解 636次阅读
- Splashtop如何提供快速连接和最小延迟 499次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 724次阅读
- 医疗器械软件风险分析介绍 医疗设备软件静态和动态分析技巧 2252次阅读
- 空调技术：使用“故障自检”功能检测故障 1781次阅读
- 借助多功能Xilinx Zynq Ultrascale+ MPSoC加速计算密集型应用开发 1853次阅读
- 基于模型设计的HDL代码自动生成技术应用需求 1090次阅读
- 基于组合单元密集型FSS结构的特点及应用研究 3198次阅读
- 电动汽车中三电控制系统核心技术详解 4061次阅读
- 航空发动机为什么难造 北航校长道出答案 3340次阅读
- PCB行业中也有工业机器人的应用 1188次阅读
- 工业机器人在PCB行业中的应用 3728次阅读
- ST发布密集型数据写2-Mbit串口EEPROM芯片 1473次阅读
上传资料赚积分下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
工商网监
评论