1. 嵌入式系统软件前沿.pdfVIP

专题 第 8 卷  第 2 期  2012 年 2 月 嵌入式系统软件前沿 关键词 ：片上系统芯片 软硬件协同设计 自动分析和验证技术 特邀编辑：吴甘沙 王　涛 系统调试 高可信软件 英特尔中国研究院 近年来，信息世界与物理世界、信息化与工业化 实现，因此SoC的设计已经成为整个电子产品产业链 融合的趋势日渐明朗，嵌入式系统已成为学术界和工业 中最重要的环节，也是决定嵌入式系统生产率和质量 界共同关注的热点。尤其在我国，以物联网和三网合一 的关键。SoC的设计尤其强调软硬件协同设计的设计 为代表的新一代信息技术风起云涌，嵌入式系统 （em- 流程和方法学。在 《片上系统芯片的软硬件协同设 bedded system ）研究正面临着历史性的发展机遇。 计》一文中，清华大学微电子所邓仰东论述了SoC的 嵌入式系统的早期定义 （由Th e In stituti on of 核心设计问题以及目前面临的挑战，并且对软硬件协 Electrical Engineers给出）是指对仪器、机器和工厂运 同设计的各种解决方案作了介绍。为了缩短设计时 作进行控制、监视或支持的设备，通常表现为针对特 间，SoC的软硬件必须并行开发；同时SoC设计关系 定应用、对软硬件高度定制的专用计算机系统。经过 到多标准、大参数空间的最优化求解 （表现为大量参 30多年的发展，嵌入式系统保留了其专用性的特点， 数的选择和配置），需要以定量方式衡量不同配置对 但又呈现出一些新的特征，如泛在、互联、融合、集 系统整体性能的影响。基于这些考虑，虚拟平台已成 成、微型化和与云计算相结合等。同时，系统开发 为所有当前SoC设计工具的核心，该文着重介绍了基 效率的提高开始明显落后于系统复杂度的增长[1] 。嵌 于虚拟平台的SoC设计流程。 入式系统中软件的比重越来越大 （将达到80% ），系 从设计到代码实现需要一个转换的过程。虽然 [4] 统的差异化将从硬件转向软件 。嵌入式系统软件是 目前在嵌入式软件开发中已经出现大量代码自动生成 嵌入式系统的基石，它不仅仅包括操作系统和运行 的工具 （如模型驱动设计工具），但编码仍是一个 时 （runtime ），更涵盖了从设计、编码、调优、测 冗长且易错的过程。高质量的代码必须遵循正确的 试、调试到部署和维护的整个生命周期。嵌入式系统 设计意图，同时通过正确无误的实现去反映该设计 软件的研究也从早期着重关注实时性、可靠性和轻 意图。由于嵌入式系统涉及人们实际生活的各个方 量化，转而开始审视设计开发模式、流程、生产率 面，嵌入式软件 （尤其是系统软件）的质量也比普通 （如面市时间，time to market ）和高可信性等方面。 软件有更高的要求。一些特定的嵌入式系统，例如宇 本期专题从中国计算机学会 《学科前沿讲习 航、汽车等一些安全关键的系统，突出强调了软件自 [3] 班》第19期 “嵌入式系统软件及前沿”中精选了5个 动分析与验证技术的重要性 。中国科学院软件研究 课题。我们把目光投向一些新的、具有普遍性的和跨 所刘剑等在 《嵌入式软件自动分析和验证技术》一文 界的研究课题，包括软硬件协同设计，嵌入式软件的 中对软件的自动分析和验证技术做了综述，并重点介 测试、验证和调试以及高可信系统等几个方面。 绍了模型检测和符号执行两种分析技术。该文结合一 从嵌入式系统的设计趋势看，信息处理能力将 些系统级软件的分析实例和嵌入式系统的特点，介绍 由一块或多块片上系统芯片 （system-on-chip ，SoC ） 了该领域内近些年来一些具有代表性的工具；同时也 16 第 8 卷  第2 期  2012 年 2 月 总结了嵌入式软件自动分析与验证技术面临的一些挑 应用领域，嵌入式系统的高可