1、高可信软件生产工具及集成环境（简称：Trustie ）（项目编号： 2007AA010300）总体组首次会议纪要一、 时间、地点和参会人员时间：2008 年 3 月 8 日（星期三）上午 8:30 至下午 17:15。地点：北京西苑饭店 9 号楼。参会人员：包括来自 13 个单位的 22 人，具体为：科技部高技术中心的付耀威副处长；领域专家组北大梅宏老师和南大吕建老师；总体组的王怀民、刘江宁、李宣东、赵大哲、王青、马殿富、朱明远、张向阳和组长秘书尹刚；课题组成员赵琛、谢冰、刘旭东、魏峻、王林章、安贵、郑莉、史美林、许 斌和孙瑞志。二、 会议情况会议开始后，付处长首先介绍了科技部“高可信软件生
2、产工具及集成环境”重点项目总体组人员组成：王怀民、刘江宁、李宣东、 赵大哲、王青、马殿富、朱明远、张向阳，其中王怀民老师为总 体组组长，刘江宁老 师 和李宣东老师为副组长。然后付处长强调本项目是按重大项目来管理的重点项目，说明了科技部关于项目总体组的六项要求 ，要求本次会议要把六个课题的合同定下来。随后，项目责任专家吕建老师和梅宏老师强调了本项目的重大意义和若干关键问题。 吕建老师强调，本项目规模很大，已 经成 为多方关注焦点，高可信项目需要高可信的完成；总体组对后续的经费具有分配权，责任重大。梅宏老师强调，安排一整天确定合同是少见的，足 见高技术中心 对本项目的关注程度；总体组要从整个项目出
3、发进行规划，无需拘泥合同指标的调整幅度；希望今天能够明确总体组的工作方式。接下来的会议由王怀民老师主持，王老师首先请各位专家和老师做自我介绍，然后 带领大家仔细学习 了科技部文件“关于十一五 863 计划高可信软件生产工具及集成环境重点项目立项的通知”，认真回顾了 项目的主要研究内容和具体任务目标。随后，根据王老师的安排，各 课题负责人 围绕研究内容和指标向总体组介绍课题情况，同时各课题的合同由指定的总体组责任专家审查（见附件 1），上午的会议于 12 点左右结束。下午会议 1:30 开始，王老师建议各课题负责人与审查专家首先对合同进行仔细审查和深入讨论，然后王老师做了“ 高可信软件生产工具及
4、集成环境项目总体要求”的报告，并展开了对软件可信指标和可信分级等问题展开了激烈深入的讨论。王老师认为， 本项目的成功有两个基本标志：Trustie 投入正常运行；可信评估为学术界和工业界广泛关注 。最后，梅宏老师建议项目第二轮指南最好在今年年底和明年年初确定，尽早准备。今年 9 月至 10 月在无 锡举行软件产业研讨会（科学院学部活动），希望Trustie 能够亮相并做主 题汇报 。此外，梅老 师还强调 加强本项目与欧盟的合作，以及本项目成果落实到 863 软件专业孵化器。吕建老师对项目的工作状态给以积极肯定，充分相信课题组 能够完美诠释“想干事、能干事、干成事”的团队内涵。会议的核心内容可以
5、概括为以下三个方面：（一）关于合同的研究内容和指标王怀民、李宣东、朱明远、王青、安贵、郑莉六位老师依次介绍了承担课题的研究内容和指标情况。专家 对各课题合同进行了仔细校对，并就合同中出现的问题提出质疑并展开讨论。（二）关于项目的总体要求王怀民老师的“ 高可信软件生 产工具及集成环境项目总体要求” 报告明确阐述了关于合同的修改和审查分工、总体工作研究内容、总体工作的指标、 总体工作的进度要求、总体工作安排等若干关键问题，全面总结了项目的总体实施方法和各课题合同的修改、确认过 程。（三）关于可信资源比例的讨论多位老师认为“ 可信资源”的内涵需要进一步明确。王青老师认为可信分级对于不同的课题可能有不
6、同的解释。李宣东老师指出可信分级标准要有说服力，否则会项目的科学性会遭到质疑，建议将“可信资源”理解为经过可信分级而且级别较高的资源。王怀民老师在此基础上提出首先以“可信分析评估工具”计算出软件的初始可信级别，然后在 Internet 范围内实现基于经验的动态可信评估，实现客观评估与主观评估的有机结合。刘旭东老师谈了自己在实施方面的想法：先在课题一内部讨论可信分级问题，4 月份在项目范围内公开想法并在 6 月至 10 月进行跨课题讨论，12 月争取推出可信分级规范 1.0 版本。刘老师建议各家指定一个可信专题的联络人。三、 会议共识本次会议形成的主要共识和计划包括五点：1 合同的修改要注意三方
7、面内容。形式要求：“课题目标和考核指标”的表述为定性和定量两部分，定性部分是课题目标和成果，定量部分是考核指标的定量部分，而且定量部分必须 不低于指南要求。 时间要求 ：各课题在 3 月 11 日18:00 完成修改，形成修改 说明， 发给总体组责任专家和尹刚；3 月 14 日 12:00 总体组完成合同修改确认；3 月 17 日提交高技术中心。总体技术要求：包括总体技术指标、 总体技术研究内容和 总体工作的进度要求。2 在合同中，课题 1 承诺主持开展：资源库开发、部署与发布；协同平台开发、部署与发布；生产线集成框架研究与规范发布；可信分级规范的研究与发布。其他课题承诺参与开展：资源库规范的
8、制定和应用、协同平台规范的制定和应用、生产线集成框架研究与规范应用、可信分级规范的研究与应用。3 在合同中，各课题承诺：按照本项目的资源库规范在可信生产环境 上发布本课题承诺提供的软件资源；支持在可信生产环境上开展开发协同；按照本项目生产线集成框架规范构建生产线；按照本项目的可信分级规范给出自主软件资源的可信评级。4 课题 1 和其他 5 个课题承诺的时间进度见附件 2，总体工作要求和今年主要工作安排见附件 3。附件 1：总体组分工六项课题合同的责任专家如下：01 课题马殿富，赵大哲 02 课题朱明远03 课题李宣东 04 课题张向阳05 课题王青 06 课题刘江宁附件 2：总体技术时间进度课
9、题 1 承诺的时间进度：08 年 06 月，提交协同平台（1.0 版）08 年 06 月，提交资源库（1.0 版）08 年 12 月，提交生产线集成框架（1.0 版）08 年 12 月，提交可信分级规范（1.0 版）09 年 06 月，提交协同平台（2.0 版）09 年 06 月，提交资源库（2.0 版）09 年 12 月，提交生产线集成框架（2.0 版）09 年 12 月，提交可信分级规范（2.0 版）10 年 06 月，提交协同平台（3.0 版）10 年 06 月，提交资源库（3.0 版）10 年 12 月，提交生产线集成框架（3.0 版）10 年 12 月，提交可信分级规范（3.0 版）
10、其他 5 个课题承诺：08 年 12 月，部署使用协同平台（1.0 版）08 年 12 月，部署使用资源库（1.0 版），提交年度 计划承诺的软件资源09 年 06 月，按照生产线集成框架（1.0 版），构建生产线原型系统09 年 06 月，遵循可信分级规范（1.0 版）， 评估提交的软件资源09 年 12 月，部署使用协同平台（2.0 版）09 年 12 月，部署使用资源库（2.0 版），提交年度 计划承诺的软件资源10 年 06 月，按照生产线集成框架（2.0 版），构建生产线10 年 06 月，遵循可信分级规范（2.0 版）， 评估提交的软件资源附件 3：总体组工作要求和 08 年主要工
11、作安排总体组工作要求：（1）认真履行科技部文件对总体组的要求；（2）重点做好以下两个方面的工作：把握好总体技术方案的制定；把握好总体技术方案的落实。总体组将通过工作例会和工作简报的方式开展工作。08 年的主要工作如下：（1）2008 年 6 月下旬召开第二次工作会议：主要议题是：评估资源库和协同平台两个规范；研究讨论第二轮指南。请北航课题组承办会议。（2）2008 年 12 月中下旬召开第三次工作会议：主要议题是：评估资源库和协同平台两个规范的实施情况；评估生产线集成框架和可信分级两个规范；评估项目年度进展。请软件所课题组承办会议。（3）2008 年 10 月在无锡参加科学院信息学部组织的软件产业与技术研讨会，报告本项目的工作。 这六项要求可以概括为：项目实施方案的建立；各课题间的统筹和协调；各课题成果的集成；课题成果的检查和验收；课题拨款、付款和调款建议；准备项目验收材料及提交验收申请。 即 Trustie，但在合同中建议不直接使用 Trustie 指代。
