上海工业控制系统安全创新功能型平台为汽车.DG

随着社会经济的高速发展，汽车走进普通老百姓家庭已成为社会发展趋势。如今人们对汽车的需求不仅仅是出行工具，对汽车的功能性、安全性、舒适性、可操控性等有了更高的要求。从公安部交管局处了解到，据统计数据显示，截至2018年6月底，全国机动车保有量达 .19亿辆，2018年上半年新注册登记机动车达16 6万辆，高于去年同期1594万辆的登记量。全国58个城市汽车保有量超过百万辆，其中26个城市超200万辆，北京、成都、重庆、上海、苏州、深圳、郑州等7个城市超 00万辆。

目前我国乘用车仍处于普及阶段，未来10年依然会保持正增长。预测乘用车年会保持5%的复合增长率，到2025年行业规模达到峰值，年销量达到 600万辆。千人保有量低，刚性需求旺盛支持行业持续正增长;随着经济高速发展，汽车保有量持续升高，机械结构越来越成熟，为满足人们对汽车需求的更高要求，目前汽车电子产品在汽车应用中越来越普遍，汽车电子产品是车体汽车电子控制装置和车载汽车电子控制装置的总称，汽车电子控制装置，包括动力总成控制、底盘和车身电子控制、舒适和防盗系统。 车载汽车电子控制装置，包括汽车信息系统(车载电脑)、汽车胎压监测系统、导航系统、汽车视听娱乐系统、车载通信系统、车载络、倒车影像后视系统、车载领航员后视摄像头等。有些高端豪华轿车上有几十上百个电子控制单元(ecu)，其中安全气囊、底盘控制系统(制动/转向)、发动机控制系统等都是直接关乎车辆安全的重要系统。这些车控电子产品均是利用软硬件结合的嵌入式系统。一旦这些电子系统出现功能性故障，将会极大的影响整车功能安全。

据《产品安全与召回》杂志统计数据，仅 2015 年上半年，42 家汽车制造商共实施召回 124 次，共召回缺陷汽车产品 29 .14 万辆。其中，

汽车保有量的持续升高，推进了社会进步，促进了城市的发展，缩小了城乡差别，改善了人们生活品质，但是随之而来的是汽车的安全问题越来越凸显。汽车电子系统故障直接影响整车安全，对人的生命造成极大的安全隐患。所以汽车电子系统嵌入式软件的可靠和安全至关重要。嵌入式软件使用前需要各种测试，包括：单元测试、集成测试、系统测试、硬件/软件集成测试。而单元测试是嵌入式软件的测试第一步，尤为关键，不仅是保障软件可靠性和安全性的重要环节，更是功能安全测试中的一项重要工作。

上海工业控制系统安全创新功能型平台(简称上海控安)与国家可信嵌入式软件工程技术研究中心联合研发的国内首款国内首款智能化单元测试用例设计工具,旨在提供高安全领域可信工具及技术服务，针对高安全领域 c 语言代码程序(嵌入式软件)，采用人工智能领域的自动推理与符号执行技术，自动分析程序路径，自动产生满足覆盖标准的测试用例，并在后台自动执行测试用用例，实现基本无需手工修改的全自动单元测试。该工具能够让测试人员摆脱效率低下、质量参差不齐的手工测试用例编写任务，大幅提高测试人员的工作效率，有效提升测试质量。提升嵌入式软件应用的可靠性和安全性。降低汽车电子嵌入式软件的功能性故障，提高整车功能安全，为受众提供安全保障。

这次的收获还会多一些。截至目前，此款智能化单元测试用例设计工具已测试航空航天、地铁信号、汽车电子、核电控制及知名开源软件超过100w行，平均语句覆盖率超过85%，能够节省大量的人力物力，推动工业软件安全测试效能提升。

随着世界汽车工业的不断发展壮大，汽车工业在世界经济发展中的地位越来越突出，汽车工业逐渐成为各主要汽车生产国包括中国在内的支柱产业，并对世界经济的发展和社会的进步产生巨大的作用和深远的影响。上海控安将致力于深耕工业控制安全领域，在汽车电子、轨道交通、航空航天等国家重点行业和领域，进行工业控制系统安全技术研究和成果转化，助力工业控制安全的发展。