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

To meet the challenge of the progress of information science and key projects,we.adopt the approach which combines the theoretic and practical view on the.trustworthy software for environment, measurement , evolution. We will try to.discover the basic laws for the trustness and build the framework for the.environment construction, verification, control and evolution. We will apply our.approach in the field of embedded systems and networks to evaluate its.effectiveness. By carrying out the project, we will improve our international.affection and original innovation in the trustworthy computing field. Moreover,.the results achieved by this project are going to support the national key.projects for the trustworthy computing and train a number of first-class.researchers. This project will also bloom our software industry. The grant of this.project is for the meeting and communication of the researchers.

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