PDF《4 基金 FOUNDATION》

1996 年6月4日, 欧洲阿丽亚娜

5 型火箭 在首次发射中由于惯性参考系统软件的数据 转换错误导致软件失效, 发射

40 秒后爆炸, 造成25 亿美元的经济损失.2005 年11 月1日, 日本东京证券交易所由于软件升级出现系统 故障,导致股市停摆.2007 年北京机场信息系 统瘫痪, 至少造成

84 个航班延误. 在2017 年12 月举行的国家自然科学基 金委员会 (以下简称基金委) 可信软件基础研 究重大研究计划(以下简称重大研究计划) 结 束评估会上, 作为指导专家组组长的何积丰在 报告中提及上述案例时, 与会专家依然对过去 种种因软件可信性导致的损失感到万分惋惜. 时间回溯到

2007 年底,面对当时由于网 络交互、 共享、 协同等带来的 不可信 因素, 基 金委在广泛听取各界专家意见和反复深入研 讨的基础上, 由信息科学部、 数学物理科学部 和管理科学部联合组织, 及时启动了该重大研 究计划. 用何积丰的话说, 这是 我国软件基础研 究领域的一件大事 . 我们对软件关注的重 心从 '

能不能'

转向了 '

信不信'

. 何积丰告诉 《中国科学报》 记者. 此后, 国家层面相继启动了

863 计划、 十二五 规划等,支持相关领域的研究和发 展.在业内专家看来, 正是该重大研究计划的 启动及基础研究成果引领了国内这一领域的 发展. 看准趋势 从 能不能 到 信不信 需求导向 直指 卡脖子 问题

1 完善体系 引领该领域由弱到强

2 3 今天,以支付宝为代表的网络交易已 经深入人们的日常生活.不确定的多样性 业务需求导致网络交易软件系统的交易流 程、 实体和方式不断发生变化, 而开放、 动 态网络环境使得网络交易软件系统面临着 环境和恶意攻击手段的不可预........