PDF《4 基金 FOUNDATION》

70 多家单位的

1000 多名计算机领 域的学者合力攻关, 共同推动我国可信软件实现 从小到大、 从散到整、 由弱到强的跨越式发展, 进 入该研究领域国际先进行列. 面向未来, 何积丰表示: 为巩固和辐射本重 大研究计划的成果, 应及时建设可信软件开发资 源共享与服务平台, 充分利用群体智慧, 建立形 成可信软件的开放数据、 开放服务、 让合作开发 成为可能. 同时, 科学家们也期待, 在可信软件与人工智 能交叉的新领域有所作为,以满足我国工业4.0 和 机器人等国家创新计划对可信智能化软件不断 增长的迫切需求. 围绕可信软件面临的机遇和挑战, 科学家们 将主攻问题锁定在国家关键应用领域, 并按 以 重点领域应用需求为导向引领理论和技术研究、 以理论和技术研究成果支撑综合试验平台的研 制、 以综合试验平台承载典型应用示范 的路线 实施该重大研究计划.

2010 年至

2013 年,科学家们在陆续完成可 信软件理论体系和技术体系的积累后, 将研究成 果在各类试验环境中进行示范, 真正让可信软件 技术走出实验室, 走进国民经济主战场. 本文开篇的场景中, 人们对网络支付的信任, 得益于该重大研究计划中建立的我国首个互联网 交易风险防控体系.这一体系已服务

21 个国家和 地区的

4 亿多支付宝实名用户.该重大研究计划 科学家、 同济大学计算机系教授蒋昌俊介绍, 该研 究从运用到实践

3 年来为支付宝减少资产损失 173.03 亿元,资金损失率仅为十万分之零点九, 是 发达国家同领域资金损失率的两百分之一. 此外, 还有

1000 多万行代码应用在我国探月 工程、 载人航天、 北斗导航等型号的各类航天嵌入 式软件中, 打破国外技术垄断的列车通信控制器,

3 年为支付宝减少

170 余亿元损失的首个互联网 交易风险防控体系,连续

4 年没有发生重大事故 的电子税务可信监控, 实车接入超过

7 万辆、 世界 上规模最大的实车实时数据处理平台系统…… 据统计, 该重大研究计划在重大示范应用方面共 完成项目

15 项, 与长城华冠、 中航工业

615 所、 航天五院、 全路通、 核九院、 支付宝等机构开展合 作, 推动国家安全相关行业自主可控技术发展. 谈到收获与感想,该重大研究计划科学家、 中国空间技术研究院杨孟飞院士表示: 重大研 究计划的实施过程中, 我们边研究、 边验证、 边应 用, 软件质量显著提高、 研制效率显著提升, 逐步 实现了从局部到系统、 从依赖人到依赖工具的转 变. 杨孟飞院士介绍, 集成项目实施以来, 软件 交付的缺陷率显著下降, 百余个航天器在轨运行 未发生软件质量问题. 在科学家们看来, 以需求为导向开展基础研 究, 切实解决了诸多领域中的 卡脖子 问题, 有 力支撑了国家战略.

2018 年8月中旬, 刚入秋的北京清晨已有 些许凉意, 中关村附近的一个菜市场内人群熙 攘.挑选好几样蔬菜后, 张大爷拿出兜里的智 能手机, 熟练地通过扫小摊上挂出的蓝色二维 码支付了菜钱. 和十多年前网上支付刚刚启动 时的情况不同, 今天, 即使上了年纪的大爷大 妈们, 也不会因为担心手机支付不安全, 而拒 绝使用支付宝绑卡、 扫码支付. 人们对支付软件的信任, 来源于软件本身 的 可信性 ,意指软件系统是否能在操作错 误、 环境影响、 外部攻击等干扰下, 依然提供连 续的预期服务. 如今, 以通信、 存储和计算为核心的信息基 础设施已经渗透人类生活的方方面面,软件对 可信性 的要求, 显然不限于网络支付领域. 早在十多年前, 中国计算机学家已经注意 到, 随着软件的应用需求越来越多, 复杂度越 来越高, 可用性要求越来越强, 软件系统也越 来越庞大、 越来越脆弱. 软件不总是可以让人 信任的, 很多时候它并不以人们所期望的方式 工作, 会发生各种故障和失效, 从而直接或间 接地对用户造成巨大损害. 中科院院士、 华东 师范大学计算机科学与软件工程学院教授何 积丰表示.