为了更可信的IT未来

创建一个安全可靠的软件环境是软件工程的最终目标，也是信息化社会的迫切需求。可信软件已成为现代软件技术发展和应用的重要趋势。

以通信、存储和计算为核心的ICT技术已经成为整个国民经济顺利运转的基础设施。在今天，很难想象没有了这些技术人们如何去工作和生活，办公室没有电脑办公，超市和银行里挤满了排队等待手工办理业务的人流。电脑应用的领域和数量在迅速的增加。

英国计算科学的先锋，同时也是1980年图灵奖获得者，微软剑桥研究院的首席研究员托尼，霍尔爵士预测，到2020年全球计算机总数将比目前增加100倍，每台计算机的处理能力和内存容量都比现在大100倍，而且相互联网。他说，为了能够更好地理解计算世界，我们不应把它看作和许多独立的计算设备组成，而应看作一个无处不在的全球计算机(GUC)。

从单机到这样一个全球计算机，人们对功能需求不断增加，随之造成计算机软件系统变得日趋庞大和难以驾驭，系统就会越来越脆弱，进而发生各种故障和实效，直接或间接地给用户带来损失。并不总是让人信任的软件和日益广泛的应用之间的矛盾，逼迫人们去重视“软件可信性问题”。

10月17日，由多位著名科学家和微软亚洲研究院共同举办的2009可验证软件研讨会在京隆重召开，以探讨计算机软件验证这一关乎解决计算机软件可信性问题，被业界称作计算机产业“大挑战”的严峻课题。来自海内外的众多知名学者和计算机专家出席并发表主题演讲。中国科学院院士、华东师范大学软件学院院长何积丰，中国科学院院士、中国科学院软件研究所研究员周巢尘两位专家在会议间歇接受了记者的采访。

周巢尘院士认为，如今人类的生活依靠软件的领域越来越多，比如说坐电梯，里面嵌入的芯片就需要软件实现控制程序。可信软件的目标就是，我们人类依靠这样一些软件，不会产生灾难性的后果。“可信换句话说就是可依赖，你可以依赖它。”周巢尘院士说。

何积丰院士指出，因为国家整个的经济基础是建筑在计算系统上面的，就希望有一个可靠的基础，在这个基础上我们能够发展经济，提供给老百姓更好的服务。

“我们提出这个主要是出于我们一些关键部门对软件的需求。是有实际需求才做的，中国现在也必须做。”何积丰院士举例说，去年在北京召开的奥林匹克运动会开幕式上，有一个空中飞人的节目。这个节目的控制软件就是用可信软件做的。因为空中有不少人飞来飞去，软件绝对不能出问题，不然两个人在空中相撞，会造成严重的后果。

“创建一个安全可靠的软件环境是软件工程的最终目标，也是信息化社会的迫切需求。”微软亚洲研究院宋罗兰副院长表示。构造可信软件已成为现代软件技术发展和应用的重要趋势和必然选择。

作为国家自然科学基金委“可信软件基础研究”重大研究计划首席科学家的何积丰院士表示，与微软一起组织这样一个活动，主要的想法就是进一步推动新技术在高校教育中的发展。实际上他也很关心中国高级学位、高级人才培养的情况。

何积丰院士表示，我们想借此机会，借鉴外国专家的经验，推动国内高级人才培养。同时也希望国内外学者能够更多地交流。周巢尘院士表示：“这个研讨会做得非常好，既有理论又有工具。”如果把理论直接拿来让公众去用，公众是用不了的，所以需要一个工具把理论屏蔽掉，这个工具和理论的可行性还簧做实验确认，做案例分析，所以这个会议能够从理论到实际，把主要的问题提出来是非常好的。

研究不只是学校的事情，也需要企业的加入，需要企业界的支持。国内的企业不要眼光太短，要成为创新主体，让企业界和学术界结合起来。周巢尘院士表示，“把学术界和大学、研究机构和企业结合起来，甚至以企业为主，建立一些研究院和研究所，这些大的企业有这个能力，我们中国创新就会发展更快。”