本重大研究 计 划以国家 关键应 用 领 域中 软 件可信性 问题为 主攻目 标 ，分析、研究和解决相 关 科学 问题 ，在嵌入式 软 件和基于网 络 的大型 应 用 软 件中 开 展示范 应 用， 为 改善国家重大工程中的 软 件可信性提供科学支撑 。

　　一、科学目 标

　　 针对 国家信息化 发 展和重大工程 应 用 对 可信 软 件的 战 略需求，采用理 论 研究和 实证 研究相 结 合的方法， 揭 示 软 件可信和 环 境可信的失效、度量和演化的基本 规 律，建立可信 软 件及其 环 境构造与 验证 、演化与控制的方法和 关键 技 术 体系，研究可信 软 件 开发 工具和运行支撑平台及 环 境，并在典型的嵌入式 软 件和基于网 络 的大型 应 用 软 件中 进 行 验证 和示范，促 进软 件从 传统 的 单 一度量理 论 到 综 合性的可信度量理 论 及其构造方法的集成升 华 ，提高我国在可信 软 件 领 域的原始 创 新能力和国 际 影响力， 为 国家相 关 重大 计 划和工程的可信 软 件研 发 提供科学支撑，培 养 一批高水平的研究人才，促 进 我国 软 件 产业 的崛起和 发 展。

　　二、核心科学 问题

　　本重大研究 计 划主要 围绕 以下4个核心科学 问题组织实 施：

　　（一） 软 件可信性度量、建模与 预测 。

　　1. 软 件可信性度量。

　　研究 软 件缺陷与可信性的内在 联 系、 软 件缺陷 预测 和缺陷分布 规 律；研究多 维 可信属性的多尺度量化指 标 系 统 、度量和 评 估机制及 测评 体系；研究可信属性之 间 的交互 关 系及可能的涌 现 特征，包括多个属性/ 综 合属性的局部/全局相容与失配等；建立可信 软 件度量的技 术标 准或管理 标 准方案。

　　2. 软 件可信性的演化与 预测 。

　　研究 软 件可信性相 关 数据的收集、分析和知 识 挖掘方法；研究 软 件在 环 境和自身演化下可信性的演化 规 律，以及 软 件在 线 演化的基 础 理 论 ；研究基于 软 件行 为 的 软 件可信性增 长 和面向威 胁 的在 线评 估与 预测 理 论 。

　　3．可信 软 件的 风险 及 过 程管理。

　　研究可信 软 件生命周期的 风险识别 、 评 估、管理和控制模式及方法；研究可信 软 件 过 程的属性和度量框架以及相 应 的量化控制和度量 评 估方法；研究适 应 分布性、敏捷性和 过 程 资产复 用性等需求的可信 软 件 过 程建模、定制、仿真和 优 化方法；研究可信 软 件中“人-信息系 统 ”交互作用及 优 化机理。

　　（二）可信 软 件的构造与 验证 。

　　1. 可信 软 件的程序理 论 与方法学。

　　研究 软 件行 为 可信特征空 间 的概念模型及形式化体系，包括程序的近似和 渐 近正确性理 论 ，以及刻画 软 件的近似可信性与演化可信性理 论 ； 针对 可信 软 件形 态 的多 样 性、 动态 性和 协 同性，特 别 是数据与控制同 时动态变 化的新特征，研究网 络环 境下的可信 软 件系 统 形式化模型；研究 软 件系 统 集成的基 础 理 论 以及 对 可信性的影响的推理基 础 ；从 风险 和病 态 角度，研究可信 约 束下的 软 件病 态 特征提取技 术 、 软 件病 态 及 环 境 间 的 关 系，以及相 应 的 预测 理 论 与控制方法；建立可信 软 件全周期 开发 方法学。

　　2. 可信 软 件的需求工程。

　　研究面向可信性的需求分析方法；研究基于社会的可信模型的需求工程方法；研究 风险 分析和可信性分析技 术 ；研究 软 件可信性的性 质获 取与形式 规约 ；研究多 维 异 质 非功能需求的冲突消解与完整性表述方式；探索基于 领 域知 识 的可信性分析方法和理 论 。

　　3. 可信 软 件 设计 、构造与 编译 。

　　研究可信 软 件 设计 的系 统 化科学体系，包括基于构件的可信 软 件的建模、构造方法与代 码 生成技 术 ，面向服 务 的可信 软 件的建模、构造方法与代 码 生成技 术 ，基于“面向方面技 术 ”的可信 软 件的构造方法和代 码 生成技 术 ；研究支持 软 件自演化的可信 软 件体系 结 构；研究可信程序 设计 的基 础 要素和 语 言 设计 ，以及可信 编译 技 术 ；研究算法可信性度量和可信算法 设计 的数学基 础 ， 针对 典型科学 计 算 问题 ，研究 误 差可控 计 算的基 础 算法等。

　　4. 可信 软 件的 验证 与 测试 。

　　研究 复杂环 境下嵌入式 软 件和 开 放 环 境中网 络软 件的形式建模和分析技 术 ，以及可信 软 件的模型自 动 抽取技 术 ；研究多 层 次可信 软 件可 扩 展形式 验证 方法和 错误 定位方法；研究面向可信性的 测试 策略和基于控制理 论 的自适 应测试 方法；研究基于模型和 规约 的可信 软 件 测试 技 术 ；研究可信 软 件 验证 与 测试 的集成方法，以及基于 测试 和 验证 数据的可信性 评 估和 预测 方法。

　　（三）可信 软 件的演化与控制。

　　1. 可信 软 件运行 监 控机理。

　　研究 软 件运行 时环 境 变 化和 软 件 变 化 对 可信性的影响；研究 复杂开 放 环 境下基于运行 监 控的可信 软 件模型和体系 结 构；研究面向可信 软 件演化特性的 软 件运行 监 控与保障机制。

　　2. 软 件可信性 动态 控制方法。

　　研究 软 件运行 时 的行 为监 控与可信性 监测 、 诊 断、恢 复 方法，以及基于虚 拟 化 环 境 软 件系 统 故障范 围 控制和快速恢 复 方法与机制，包括基于 动态 控制更改的可信 软 件运行的自主管理机制和代 码热维护关键 技 术 、多 维 度 监 控的 关 注点分离技 术 ，以及基于运行 监 控的可信性 动态评 估机制；研究网 络计 算 环 境的高可信支撑 软 件技 术 。

　　（四）可信 环 境的构造与 评 估。

　　1. 可信 环 境的数学理 论 与信任 传递 理 论 。

　　研究支持可信 计 算的数学模型、形式化模型，构建可信 计 算的理 论 体系；研究可信网 络计 算的形式化模型，形成完整性保 护 的理 论 体系；研究信任 链 的建立与信任的 传递 机理，重点研究支持信任 链 建立与 扩 展的无干 扰 模型。

　　2. 可信 计 算 环 境构造机理及方法。

　　研究基于可信硬件 层 灵活 扩 展信任 边 界的体系 结 构，以及可信 计 算平台的完整性收集、度量、 验证 的体系 结 构和网 络连 接与 认证 的体系 结 构；研究可信 计 算与虚 拟 技 术结 合的新型可信虚 拟 平台架构，重点探索基于可信平台模 块 的虚 拟 平台安全体系 结 构以及可信平台模 块 的虚 拟 化技 术 ；研究可信的安全多方 计 算 环 境的构造方法。

　　3. 可信 计 算 环 境 测评 。

　　研究适用于可信 计 算平台的安全 评 估模型；研究可信平台模 块协议检测 方法，包括可信 计 算平台安全功能 测试 、 标 准符合性 测试 、穿透性 测试 等技 术 ， 对认证 、授 权 和平台 证 明 协议 的正确性、安全性和性能的 验证 提供支持。

　　三、可信 软 件 开发 与运行保障的集成与 验证

　　在 对 上述核心科学 问题 研究的基 础 上，本重大研究 计 划 进 一 步开 展可信 软 件 开发 与运行保障的集成与 验证 研究，主要包括：

　　（一）可信 软 件 综 合 试验环 境。

　　研究和 开发 基于网 络环 境的可信 软 件构造与演化以及可信 环 境 综 合 试验 平台，通 过 在 试验环 境中部署典型可信 软 件案例 对 象、可信 软 件工具 实验 系 统 、可信虚 拟 机，将 试验环 境作 为软 件可信性相 关 数据的采集和共享平台、可信 软 件工具共享平台和 关键 技 术验证 平台。

　　（二）高可信嵌入式 软 件系 统试验验证环 境。

　　 结 合典型的 实际应 用， 针对 嵌入式 软 件系 统 中的可信性需求， 综 合集成高可信 软 件需求分析、 设计 、 编码 、 验证 、 测试 、 监 控、 评 估和 维护 等技 术 ，研究 开发 高可信嵌入式 软 件系 统 的 试验验证环 境，并以典型案例示范的形式 对 集成技 术 及其有效性 进 行 验证 。

　　（三）可信的网 络应 用 软 件系 统试验验证环 境。

　　以网 络应 用 为 背景， 针对 网 络软 件系 统 的可信性和服 务质 量需求， 综 合集成可信网 络软 件及可信 环 境的需求分析、构造、 验证 、演化、 监 控和 评测 等技 术 ，研制 开发 可信的网 络应 用 软 件系 统 的 试验验证环 境，并以典型案例示范的形式 对 集成技 术 及其有效性 进 行 验证 。

　　四、2014年度 拟资 助的研究 项 目

　　本重大研究 计 划2007年启 动 ，至今已 资 助“培育 项 目”73 项 、“重点支持 项 目”18 项 和“集成 项 目”5 项 。

　　2014年 项 目指南的立 项 宗旨是：面向本重大研究 计 划 结题验 收，重点 围绕 上述四个核心科学 问题 和三个集成 验证环 境，基于前期 项 目研究基 础 和成果 积 累， 开 展必要的 项 目深化和成果提升研究， 进 一 步 完善可信 软 件理 论 体系，建立健全可信 软 件 综 合 试验 平台， 继续 深化嵌入式 软 件系 统 和网 络应 用等 领 域的示范 应 用，推 进项 目整体 优 化完善、成果集成升 华 和 绩 效 综 合展 现 ，提高重大研究 计 划成果的科学性、前瞻性、系 统 性和 实 效性， 为 重大研究 计 划 结题验 收奠定 坚实 的基 础 。

　　2014年 拟对 具 备较 好前期研究基 础 和成果 积 累、并且具有 较 好研究潜力的 项 目 进 行 滚动 提升，通 过 深入研究能 够 在可信 软 件基 础 理 论 或核心技 术 方面取得重要突破，或者通 过 集成成果能 够 提升可信 软 件 综 合 试验 平台的展示水平，或者通 过 深化 应 用能 够 面向国家重大信息化工程 应 用 产 生 显 著效益，切 实 提高本重大研究 计 划的整体 绩 效。

　　2014年度 计 划 资 助 经费约 1000 万元， 拟对滚动 提升的 项 目以“重点支持 项 目”形式 资 助5-10 项 ， 资 助 强 度 每项 100-200 万元， 资 助期限 为 2 年。

　　五、遴 选项 目的基本原 则

　　 围绕 核心科学 问题 ，本重大研究 计 划鼓励：

　　（一）具有原始 创 新思路和独具特色的研究。

　　（二）与 应 用 单 位 紧 密合作、具有重大 应 用背景的研究。

　　（三）跨学科交叉的研究。

　　（四）具有良好国 际 合作基 础 的研究。

　　六、申 报 要求及注意事 项

　　（一）申 请 条件。

　　本重大研究 计 划 项 目申 请 人 应 当具 备 以下条件：

　　1. 具有承担基 础 研究 课题 的 经历 ；

　　2. 具有高 级专业 技 术职务 （ 职 称）。

　　正在博士后流 动 站或者工作站内从事研究、正在攻 读 研究生学位以及无工作 单 位或者所在 单 位不是依托 单 位的科学技 术 人 员 均不得申 请 。

　　（二）限 项规 定。

　　1. 具有高 级专业 技 术职务 （ 职 称）的人 员 ，申 请 或者参与申 请 本次重大研究 计 划 项 目与 处 于 评审阶 段（申 请 和参与申 请 的 项 目在自然科学基金委做出 资 助与否决定之前）和正在承担（包括 负责 人和主要参与者）的以下 类 型 项 目合 计 限 为 3 项 ：面上 项 目、重点 项 目、重大 项 目、重大研究 计 划 项 目（不包括集成 项 目和指 导专 家 组调 研 项 目）、 联 合基金 项 目（指同一名称 联 合基金 项 目）、青年科学基金 项 目、地区科学基金 项 目、 优 秀青年科学基金 项 目、国家杰出青年科学基金 项 目（申 请时 不限 项 ）、国 际 （地区）合作研究 项 目（特殊 说 明的除外）、科学 仪 器基 础 研究 专 款 项 目、国家重大科研 仪 器 设备 研制 专项项 目、国家重大科研 仪 器研制 项 目、 优 秀国家重点 实验 室研究 项 目，以及 资 助期限超 过 1 年的委主任基金 项 目和科学部主任基金 项 目等。

　　2. 申 请 人（不含参与者）同年只能申 请 1 项 重大研究 计 划 项 目。上一年度 获 得重大研究 计 划 项 目 资 助的 项 目 负责 人（不包括集成 项 目和指 导专 家 组调 研 项 目），本年度不得再申 请 重大研究 计 划 项 目。

　　（三）申 请 注意事 项 。

　　本重大研究 计 划旨在将相 关领 域研究 进 行 战 略性的方向引 导 和 优势 整合，成 为 一个 协调 的 综 合“ 项 目群”。申 请书须 具有明确的 关键 科学 问题 ，并 应论 述与 项 目指南最接近的科学 问题 的 关 系，以及 对 解决核心科学 问题 和 实现项 目 总 体目 标 的 贡 献。

　　1. 项 目申 请 接收与受理。

　　（1）本重大研究 计 划申 请书报 送日期 为 2014 年8月25-29日16 时 。申 请书 由国家自然科学基金委委 员 会 项 目材料接收工作 组负责 接收。

　　通 讯 地址：北京市海淀区双清路83号国家自然科学基金委 员 会 项 目材料接收工作 组 （行政楼101房 间 ）

　　 邮 　　 编 ：100085

　　 联 系 电话 ：010-62328591

　　（2）本重大研究 计 划重点支持 项 目的申 请书 中研究期限 应 填写“2015年1月-2016年12月”；

　　重点支持 项 目合作研究 单 位不得超 过 2 个。

　　（3）申 请书 由信息科学部 负责 受理。

　　2. 申 请 人注意事 项 。

　　本重大研究 计 划采用在 线 撰写申 请书 方式， 对 申 请 人具体要求如下：

　　（1）申 请 人在填 报 申 请书 前， 应 当 认 真 阅读 本 项 目指南，不符合 项 目指南的申 请项 目不予受理。

　　申 请书应 符合本重大研究 计 划的 实 施原 则 ，并明确 论 述 对 解决本重大研究 计 划的核心科学 问题 、深化典型示范 应 用和 实现 本重大研究 计 划 总 体目 标 的突出 贡 献。

　　（2）申 请 人 应 根据本重大研究 计 划 拟 解决的具体科学 问题 和 项 目指南公布的 拟资 助研究方向，在 认 真 总结 和系 统 梳理本重大研究 计 划已有相 关 成果和 进 展、明确新的提升突破点的基 础 上，自行 拟 定 项 目名称、科学目 标 、研究内容、技 术 路 线 和相 应 的研究 经费 等。

　　（3）申 请 人向依托 单 位索取用 户 名和密 码 ，登 录 ISIS 系 统 ，申 请书 中的 资 助 类别选择 “重大研究 计 划”， 亚类说 明 选择 “重点支持 项 目”，附注 说 明 选择 “可信 软 件基 础 研究”，根据申 请 的具体研究内容 选择 相 应 的申 请 代 码 。以上 选择 不准确或者未 选择 的 项 目申 请 将不予受理。

　　（4）申 请书 的 报 告正文 应 当按照重大研究 计 划正文提 纲 撰写，如果申 请 人已 经 承担与本重大研究 计 划相 关 的国家其他科技 计 划 项 目， 应 当在 报 告正文的“研究基 础 ”部分 论 述申 请项 目与其他相 关项 目的区 别 与 联 系。

　　（5） 申 请 人完成申 请书 撰写后，在 线 提交 电 子申 请书 ，下 载 并打印最 终 PDF 版本申 请书 ，向依托 单 位提交 签 字后的 纸质 申 请书 原件。

　　（6）申 请 人 应 保 证纸质 申 请书 与 电 子版内容一致。

　　3. 依托 单 位注意事 项 。

　　依托 单 位 应对 本 单 位申 请 人所提交申 请 材料的真 实 性和完整性 进 行 审 核，并在 规 定 时间 内将申 请 材料 报 送自然科学基金委。具体要求如下：

　　（1）依托 单 位 应 在自然科学基金委 规 定的 项 目申 请 截止日前提交本 单 位 电 子申 请书 及附件材料，并 统 一 报 送 经单 位 签 字盖章后的 纸质 申 请书 原件（一式一份）以及要求 报 送的 纸质 附件材料。

　　（2）依托 单 位 报 送 纸质 申 请 材料 时 ， 还应 包括本 单 位公函和申 请项 目清 单 , 材料不完整不予接收。

　　（3）依托 单 位提交 电 子申 请书时 ， 应 通 过 ISIS 系 统 逐 项 确 认 。

　　（4）依托 单 位可将 纸质 申 请书 直接送达或者 邮 寄至材料

　　接收工作 组 。采用 邮 寄方式的， 请 在 项 目申 请 截止日期前（以 发 信 邮 戳日期 为 准）以快 递 方式 邮 寄，并在信封左下角注明“重大研究 计 划 项 目申 请 材料”。 请 勿使用 邮 政包裹，以免延 误 申 请 。

　　（四）其他注意事 项 。

　　1. 为实现 重大研究 计 划 总 体科学目 标 和多学科集成， 获 得 资 助的 项 目 负责 人 应 承 诺 遵守相 关 数据和 资 料管理与共享的 规 定。

　　2. 为 加 强项 目的学 术 交流，促 进项 目 围绕 重大研究 计 划目 标 研究和多学科交叉与集成，本重大研究 计 划 每 年将 举办 一次 资 助 项 目的年度学 术 交流会，并不定期地 组织 相 关领 域的学 术 研 讨 会。 获资 助 项 目 负责 人有 义务 参加 这 些学 术 活 动 。


科技 处 联 系人： 马 克 东
联 系 电话 ： 87402013