日前，尊龙凯时委员会“十一五”重大研究计划“可信软件基础研究项目启动会暨学术交流会”在北京召开。

　　该重大研究计划由基金委信息科学部、数学物理科学部和管理科学部联合组织。该重大研究计划面向国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研究相结合的方法，揭示软件可信和环境可信失效、度量和演化的基本规律，建立可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运行支撑平台及环境，并结合典型的嵌入式软件和网络应用软件进行验证和示范。

　　会议期间，重大研究计划指导专家组和管理工作组召开工作会议，重点讨论了重大研究计划可信软件基础研究2008年度项目指南；同时就如何进一步明确可信软件的基本概念、聚焦研究内容、强化创新与特色、探索新颖有效的管理工作机制、充分发挥指导专家组的导向和决策作用等问题进行了深入的研究和讨论。