国家自然科学基金委拟投1.5亿研究可信软件
http://www.edu.cn 　 2008-05-28 作者：

      记者从国家自然科学基金委信息科学部获悉，国家拟在可信软件基础研究方面投入1.5亿元，该计划的周期自2008年1月至2015年12月，旨在解决由相对不可信构件开发可信软件和可信软件运行保障的问题。

　　由于日趋庞大的软件系统越来越脆弱，各种故障和错误直接/间接地对用户造成损害。一方面软件的规模越来越大导致软件开发、集成和持续演化变得越来越复杂，相关的可信软件的构造技术严重缺乏，导致软件产品在推出时总会含有很多已知或未知的缺陷，这些缺陷对软件系统能否安全、可靠地运行构成了严重的威胁；另一方面，软件的运行环境和开发环境从传统的封闭静态环境延伸到了开放、动态、多变的互联网环境下，互联网环境下计算实体的行为存在不可控性和不确定性，既对传统的软件开发方法和技术提出了挑战，也对运行的可信保障提出了严峻的挑战。

　　据了解，目前，与可信软件研究相关的学科在国内已具备很好的基础，在国内高等院校北京大学、北京航空航天大学、南京大学、国防科技大学、吉林大学和上海交通大学设立了6个国家级重点学科，在全国范围内约有50个左右的代表性研究单位，具有上千人的研究队伍。

　　2000年以来，基金委在可信软件方向上申请的课题875项，资助了137项。此次基金委的重大研究计划的科学问题是：软件可信性度量与建模，可信软件的构造与验证，可信软件的演化与控制等。