首先由课题组长、国防科大计算机学院王怀民教授作总体汇报。王怀民教授从课题考核指标与完成情况、课题技术路线与研发成果、课题成果推广与重要影响、课题 组织管理与经费使用几个方面对课题的总体完成情况进行了汇报。经过课题组的共同努力,课题取得了丰硕成果,在高可信软件生产的关键技术方面取得了突破,研 制了具有自主知识产权的软件生产工具,积累了一批可信的软件资源建立国家软件资源共享与协同开发环境,形成了高可信软件相关的标准规范体系应用目标为企业 提供一系列软件生产线,提升了我国软件企业技术水平,促进了可信软件的大规模工业化生产,为提高我国软件产业的竞争力为国家经济、社会、文化和国防信息化 等方面提供了技术支撑。
课题副组长、北京大学信息科学技术学院谢冰教授作了课题生产环境演示汇报。在验收现场通过Internet连接到课题所建设的软件开发社区门户网站 www.trustie.net上进行实际操作演示,该网站已将课题所研究的协同开发平台、协同开发项目、软件资源库、生产线框架等成果形成了有机统一的 环境,可以方便进行软件的协同开发过程。其后,课题组成员、北京航空航天大学孙海龙副教授演示了软件生产线。
课题组汇报完成后,课题验收专家观看了其他演示,并检查了课题组所提交的各种验收文档资料。
在专家质询环节,课题验收专家们纷纷发言,提出了课题相关问题,课题组针对专家提问一一作答。
最后,课题组人员退场,验收专家们经过讨论,形成了课题验收意见。验收意见认为,经过多年的研究,课题组完成了课题的总体目标和考核指标,课题通过验收。
国防科技大学、北京大学、北京航空航天大学、中科院软件研究所、中创软件商用中间件股份有限公司各单位课题组全体成员出席了会议。






