国家自然基金资助项目“可信软件基础研究”重大研究计划项目（资料2）

参考资料： 

何积丰院士当选国家自然科学基金委“可信软件基础研究”重大研究计划首席科学家

　

    2007年9月19日，国家自然科学基金委发布了“可信软件基础研究”重大研究计划项目指南。此次国家将“可信软件基础研究”项目列为国家重大研究计划，并为此投入1.5亿的资金，设立了培育项目、重点项目和重大研究项目，这是建国以来国家自然科学基金委在软件方面投入最大的一个项目，我校软件学院院长何积丰院士担任此重大研究计划的首席科学家。
    现代信息社会对计算机的依赖，很大程度上体现为软件的依赖。而随着社会的进步和计算机技术的发展，软件的应用需求越来越多，复杂度也越来越高，可用性要求也越来越强，日趋庞大的软件系统越来越脆弱，很多时候不以人们期望的方式工作，会发生各种各样的故障和失误，甚至失效，直接或间接地对用户造成巨大损害，这类问题就是“软件可信性”问题。软件的可信性问题已经成为一个相当普遍的问题。在我国，仅2006年，中航信离港系统就发生了三次软件系统故障，造成近百个机场登机系统瘫痪；2006年四月，中国银联跨行交易系统出现故障，使整个交易系统瘫痪约8小时；2006年，“熊猫烧香”病毒利用软件中存在的安全缺陷，一夜之间，就使上百万台计算机感染并遭到破坏；2006年我国共查处境内信息网络犯罪案件41379起，比05年增加98.9%；国外反华势力和台湾当局也利用软件缺陷对大陆实施信息攻击计划，如木马计划（又称神盾计划、宙斯盾计划）、达尔文计划和茉莉计划等，严重危害了国家安全。据美国NIST估计，2002年美国因软件失效所造成的年度经济损失达600亿美元，约占其GDP的0.6%。仅在Google上，可以搜索到的与软件错误相关的网页就有100多万个。软件的可信性，目前正成为国际上致力解决的重大问题。
     我国信息化建设正处于高速发展阶段，软件产品在信息化设备中的比例超过了30%，以软件为核心的信息服务业在GDP中的份额超过了20%，成为国民经济新的增长点。可信软件基础研究具有战略性、基础性和前瞻性，并将成为软件技术发展和应用的必然结果。可信软件基础研究对于我国软件基础研究、软件产业发展以及国家信息化和现代化建设都将产生深远的影响。
    何积丰院士长期致力于计算机软件理论与应用的研究，在高可信计算领域已经取得了一系列重大研究成果，此次“可信软件基础研究”重大研究计划正是在何积丰院士等的积极倡导和筹划下正式立项的。（完）