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

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