指导专家组调研和组织学术交流会费用

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