实时嵌入式系统是一个具有实时与并发特性的系统，其系统运行的不确定性给开发人员的调试与测试带来很大的障碍。针对这个问题，本项目旨在开发一套实时嵌入式软件的分析与测试工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用户进行实时嵌入式系统的开发。ATRES主要有以下几个特点：

        1. 能够对实时嵌入式系统的运行进行追踪(Traceability)；

        2. 能够重现实时嵌入式系统的历史运行记录(Reproducibility)；

        3. 能够分析系统中的竞态条件(Race Condition Analysis)；

        4. 能够对实时嵌入式软件进行覆盖测试(Software Testing)；

        5. 支持VxWorks和uC/OS II等实时操作系统.

        我们从2005年就开始进行软件测试方面的研究，并公派研究人员赴美国知名大学参与实时嵌入式系统分析与测试的相关项目，取得成功。目前，我们已实现一套针对C/C++程序的软件覆盖测试工具SAT，并已掌握实时嵌入式软件的追踪/重演、竞态条件分析等关键技术。

        可用于分析与测试基于VxWorks和uC/OS II等实时操作系统开发的实时嵌入式软件。

        随着信息化技术的发展和数字化产品的普及，以计算机技术、芯片技术和软件技术为核心的嵌入式系统成为当前研究和应用的热点，中国嵌入式系统产业发展迅猛，正在成为带动ＩＴ产业发展新的增长点。2007年1月-10月，中国嵌入式系统软件产业收入已达942亿元，同比增长28％。据预测，2010年之前，中国嵌入式产业仍将保持快速增长，年均复合增长率将达25.8％。同时，实时嵌入式系统在工业、建筑、医疗、国防业的广泛应用，使得实时嵌入式系统的可靠性、稳定性显得尤为重要，嵌入式软件的测试也开始备受关注。

        据了解，在软件业发达的国家，软件测试早已成为软件开发的一个有机组成部分，在整个软件开发周期中占有相当大比重。国外优秀的软件开发机构把40%的工作花在软件测试上，软件测试费用占软件开发总费用的30%至50%，对于一些要求高可靠性、高安全性的软件，测试费用则相当于整个软件项目开发所有费用的3至5倍。

        具体协商。