PDF《4 基金 FOUNDATION》

2018 年8月27 日 星期一 Tel: (010)

62580633 主编: 肖洁 编辑: 张双虎 校对: 何工劳 E-mail押news@stimes.

cn

4 基金 FOUNDATION 可信软件基础研究 重大研究计划 为振兴软件产业提供科学支撑

本报记者 甘晓 近年来, 随着社会经济的迅速发展, 人 们的出行需求与机动车保有量快速增长. 公安部交管局数据显示,截至

2018 年6月底, 我国机动车保有量达 3.19 亿辆. 正如我们所见,道路上的车辆越来越 多.车辆迅猛增长与道路环境承载能力之 间突出的矛盾成为交通发展的瓶颈, 日常 的交通拥堵和高发的交通事故成为影 响人们生活的重要问题. 综合来看,司机以个体的有限视野作 为驾驶依据,缺乏对环境感知和全局信息 的掌握, 进而导致预警预判时间不足、 出行 决策不科学,是交通效率低下和安全事故 发生的主要原因之一. 如何在有限的道路条件下,不断提升 交通安全性和交通效率?将信息技术与交 通有机结合,形成人―车―路互联的车联 网环境, 为化解问题提供了有效手段.有预 测认为, 到2020 年, 全球 90%以上的车辆都 将具备联网能力.而作为典型的端―网― 云一体化的复杂软件系统,车联网软件系 统的可信程度,对交通的安全和效率有直 接影响. 在基金委 可信软件基础研究 重大研 究计划的支持下,北京航空航天大学课题 组通过集成创新形成了一体化可信软件技 术体系,并在车联网系统中进行了系统化 示范应用,有效提升了车联网等网络应用 软件系统的整体可信性.项目成果获得国 家科技进步奖二等奖. 研究人员介绍,车联网软件具有开放 性、 规模性、 演化性的特点, 面临应用类型 多样、应用规模快速变化、软件迭代更新 快、 不确定可信威胁多等挑战.由此, 他们 围绕车联网软件 端―云―网 特征, 以终 端软件、 网络通信构件、 服务端软件可信技 术研究为切入点,建立了一套完备的客户端 软件设计与开发、 验证、 动态部署以及实时控 制相关可靠性保障技术体系;

实现了资源受 限下移动网络的可信数据传输与认证,以及 异构网络融合技术;

通过软件执行环境实现 对服务端软件可信保障核心要素进行筛选, 集成和验证了基于虚拟化的网络软件实体 可信保障机制,以及基于监控的可信追溯 机制和相关的可信保障关键技术. 在此基础上,研究人员研制了车联网 软件可信技术综合集成验证平台,通过接 入实际车辆以及对接仿真数据生成平台, 对可信保障机制进行综合试验与验证.同时,针对车辆监管、专车服务和 Telematics 服务等不同典型场景,研究人员搭建了面 向车联网的大数据云服务平台和信息服务 平台, 实现实车接入超过

7 万辆, 成为世界 上规模最大的实车实时数据处理平台系统 之一. 据了解,相关技术和成果已经应用于 交通部重点营运车辆监管系统, 北京市、 重 庆市等地方交通管理机关实时交通业务系 统以及新型交通运输企业移动网联网平 台, 社会效益和经济效益明显. 研究人员表示,在提高车联网等软件 的可信度之外,相关技术和成果也为后续 发展提供了可信技术支撑,为提升信息化 带动工业化能力、落实网络环境下工业控 制系统安全和可信提供了基本技术手段和 试验验证环境. 让车联网更可信