上海工业控制系统安全创新功能型平台为汽车电子安全保驾护航
发布时间:2018-8-27 15:00
发布者:chinco
随着社会经济的高速发展,汽车走进普通老百姓家庭已成为社会发展趋势。如今人们对汽车的需求不仅仅是出行工具,对汽车的功能性、安全性、舒适性、可操控性等有了更高的要求。从公安部交管局处了解到,据统计数据显示,截至2018年6月底,全国机动车保有量达3.19亿辆,2018年上半年新注册登记机动车达1636万辆,高于去年同期1594万辆的登记量。全国58个城市汽车保有量超过百万辆,其中26个城市超200万辆,北京、成都、重庆、上海、苏州、深圳、郑州等7个城市超300万辆。![]() 据《产品安全与召回》杂志统计数据,仅 2015 年上半年,42 家汽车制造商共实施召回 124 次,共召回缺陷汽车产品 293.14 万辆。其中, ![]() 上海工业控制系统安全创新功能型平台(简称上海控安)与国家可信嵌入式软件工程技术研究中心联合研发的国内首款国内首款智能化单元测试用例设计工具,旨在提供高安全领域可信工具及技术服务,针对高安全领域 C 语言代码程序(嵌入式软件),采用人工智能领域的自动推理与符号执行技术,自动分析程序路径,自动产生满足覆盖标准的测试用例,并在后台自动执行测试用用例,实现基本无需手工修改的全自动单元测试。该工具能够让测试人员摆脱效率低下、质量参差不齐的手工测试用例编写任务,大幅提高测试人员的工作效率,有效提升测试质量。提升嵌入式软件应用的可靠性和安全性。降低汽车电子嵌入式软件的功能性故障,提高整车功能安全,为受众提供安全保障。 截至目前,此款智能化单元测试用例设计工具已测试航空航天、地铁信号、汽车电子、核电控制及知名开源软件超过100W行,平均语句覆盖率超过85%,能够节省大量的人力物力,推动工业软件安全测试效能提升。 随着世界汽车工业的不断发展壮大,汽车工业在世界经济发展中的地位越来越突出,汽车工业逐渐成为各主要汽车生产国包括中国在内的支柱产业,并对世界经济的发展和社会的进步产生巨大的作用和深远的影响。上海控安将致力于深耕工业控制安全领域,在汽车电子、轨道交通、航空航天等国家重点行业和领域,进行工业控制系统安全技术研究和成果转化,助力工业控制安全的发展。 来源:搜狐科技 深圳奥立科www.aureke.com/,www.aureke.1688.com/;深圳辰驰电子www.chinco.co/ |
网友评论