嵌入式软件自动分析和验证技术.pdfVIP

  • 10
  • 0
  • 约1.31万字
  • 约 6页
  • 2017-09-04 发布于重庆
  • 举报
专题 第 8 卷  第 2 期  2012 年 2 月 嵌入式软件自动分析和验证技术 刘 剑 马 越 易秋萍 关键词 :软件分析与验证 可靠性 安全性 实时性 中国科学院软件研究所 嵌入式系统概述 起着关键性的控制作用。因此,若其实时性和可靠 性方面存在缺陷就会导致重大的安全事故,造成巨 嵌入式系统是一种 “完全嵌入受控器件内部, 额的财产损失与人员伤亡。例如,1996年6月A r i- [1] 为特定应用而设计的专用计算机系统” 。与通用 an e5火箭发射40秒后爆炸,原因是惯性参考系统软 计算机相比,嵌入式系统一般专用于特定的任务。 件的数据转换异常造成软件失效。 随着计算机软硬件技术的飞速发展,嵌入式系统的 嵌入式系统的应用环境也使得系统的维护成

文档评论(0)

1亿VIP精品文档

相关文档