7．纸质申请材料可直接送至自然科学基金委信息科学部综合处。邮寄报送的申请材料，请提前以速递方式寄自然科学基金委信息科学部综合处（以发信邮戳日期为准），并在信封左下角标注“重大研究计划项目申请材料”。请勿使用包裹，以免延误申请。
附件：重大研究计划“可信软件基础研究”2010年度项目指南
二○一○年四月十九日
附件：
重大研究计划“可信软件基础研究”2010年度项目指南
“可信软件基础研究”重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解决相关科学问题，在嵌入式软件和基于网络的大型应用软件中开展示范应用，为改善国家重大工程中的软件可信性提供科学支撑。
一、科学目标
针对国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研究相结合的方法，揭示软件可信和环境可信的失效、度量和演化的基本规律，建立可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运行支撑平台及环境，并在典型的嵌入式软件和基于网络的大型应用软件中进行验证和示范，促进软件从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华，提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可信软件研发提供科学支撑，培养一批高水平的研究人才，促进我国软件产业的崛起和发展。
二、2007-2008年度资助的基本情况
“可信软件基础研究”重大研究计划于2007年正式启动，至今已资助“培育项目”58项，“重点支持项目”12项。有关情况参见http：//www.nsfcts.net。
三、2010年度拟资助的研究项目
为了切实保障本重大研究计划科学目标的实现，充分做好实施“集成项目”的前期顶层设计和研究方案准备，2010年度本重大研究计划拟先期资助10-20项研究期限为1年的“培育项目”（资助强度为50万元／项）。
（一）研究背景。
本重大研究计划拟以三项“集成项目”作为标志性研究项目。拟支持的“集成项目”主要以国家重大科技与工程任务为载体，通过集成与示范验证来展示本重大研究计划在可信软件开发与运行保障等方面的实际成效。三个“集成项目”包括：
