您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 中断驱动的嵌入式系统数据竞争检测工具

  2. 中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没有比较易用的解决方案。为了解决这类问题,提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析,检测出程序中使用的共享资源和中断使能操作;根据预处理的结果,构建出源程序对应的简要控制流图;通过对简要控制流图的抢占关系分析,得到可能会导致竞争关系的执行序列。实验结果
  3. 所属分类:其它

    • 发布日期:2021-03-12
    • 文件大小:999424
    • 提供者:weixin_38655810