德赢Vwin官网 App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心
发布

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
德赢Vwin官网 网>电子资料下载>电子论文>网络协议论文>软件密集型装备故障的静态检测

软件密集型装备故障的静态检测

2009-06-21 | rar | 222 | 次下载 | 免费

资料介绍

软件密集型装备故障的静态检测:软件密集型装备是指软件和硬件紧密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序。
关键词 软件密集型装备,故障模型,控制流分析,故障检测

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

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

    下载排行

    本周

    1. 1电子电路原理第七版PDF电子教材免费下载
    2. 0.00 MB |1490次下载 |免费
    3. 2单片机典型实例介绍
    4. 18.19 MB |93次下载 |1积分
    5. 3S7-200PLC编程实例详细资料
    6. 1.17 MB |27次下载 |1积分
    7. 4笔记本电脑主板的元件识别和讲解说明
    8. 4.28 MB |18次下载 |4积分
    9. 5开关电源原理及各功能电路详解
    10. 0.38 MB |10次下载 |免费
    11. 6基于AT89C2051/4051单片机编程器的实验
    12. 0.11 MB |4次下载 |免费
    13. 7基于单片机和 SG3525的程控开关电源设计
    14. 0.23 MB |3次下载 |免费
    15. 8基于单片机的红外风扇遥控
    16. 0.23 MB |3次下载 |免费

    本月

    1. 1OrCAD10.5下载OrCAD10.5中文版软件
    2. 0.00 MB |234313次下载 |免费
    3. 2PADS 9.0 2009最新版 -下载
    4. 0.00 MB |66304次下载 |免费
    5. 3protel99下载protel99软件下载(中文版)
    6. 0.00 MB |51209次下载 |免费
    7. 4LabView 8.0 专业版下载 (3CD完整版)
    8. 0.00 MB |51043次下载 |免费
    9. 5555集成电路应用800例(新编版)
    10. 0.00 MB |33562次下载 |免费
    11. 6接口电路图大全
    12. 未知 |30320次下载 |免费
    13. 7Multisim 10下载Multisim 10 中文版
    14. 0.00 MB |28588次下载 |免费
    15. 8开关电源设计实例指南
    16. 未知 |21539次下载 |免费

    总榜

    1. 1matlab软件下载入口
    2. 未知 |935053次下载 |免费
    3. 2protel99se软件下载(可英文版转中文版)
    4. 78.1 MB |537791次下载 |免费
    5. 3MATLAB 7.1 下载 (含软件介绍)
    6. 未知 |420026次下载 |免费
    7. 4OrCAD10.5下载OrCAD10.5中文版软件
    8. 0.00 MB |234313次下载 |免费
    9. 5Altium DXP2002下载入口
    10. 未知 |233046次下载 |免费
    11. 6电路仿真软件multisim 10.0免费下载
    12. 340992 |191183次下载 |免费
    13. 7十天学会AVR单片机与C语言视频教程 下载
    14. 158M |183277次下载 |免费
    15. 8proe5.0野火版下载(中文版免费下载)
    16. 未知 |138039次下载 |免费