上海控安受邀出席“走进上汽-功能安全创新技术交流展”

9月24日，由上汽大乘用车主办、匠歆会展承办的“走进上汽-功能安全创新技术交流展”在上海顺利举办。活动以“智驭安全•创领未来”为主题，聚焦功能安全和预期功能安全，汇集了来自国内外认证机构、零部件供应商、技术伙伴的专家代表，共同探讨智能网联汽车发展中的安全挑战与创新路径。

上海控安受邀参加本次活动，展台现场重点展示了面向高安全和智能的汽车软件功能安全研发环境解决方案，包含自研的高安全研发工具链、软件测试与安全咨询服务。

工具链覆盖“需求工程-设计开发-测试验证”三大类： SmartRocket REDS需求管理工具、SmartRocket Prema设计需求分析工具、SmartRocket Modeler高可信嵌入式软件建模开发工具、SmartRocket Copilot智能软件开发工具、SmartRocket TestGrid嵌入式软件自动化测试平台，聚焦汽车功能安全需求开发，为ISO 26262等汽车功能安全标准的落地实施提供了强有力的技术保障。

• 需求工程阶段，REDS覆盖需求定义、版本管理、变更追溯等需求工程所要求的各项活动，大幅提升需求管理质量与效率。Prema集需求撰写与实时分析于一体，可将自然语言撰写的需求文档转化为CASDL需求建模语言，自动生成测试用例。

• 设计开发阶段，Modeler是面向高可信嵌入式软件的建模开发工具，支撑基于模型的开发与验证流程，提供基于SCADE模型语言的图形化建模、模型静态检查等功能，成功支撑多项国家重大型号任务。Copilot将人工智能技术应用于软件开发领域，帮助开发者快速、高效地完成软件开发任务。

• 测试验证阶段，TestGrid是上海控安推出的嵌入式软件自动化测试平台，针对嵌入式软件安全测试需求，集静态分析、动态单元/集成测试、目标机测试功能于一体，已成功应用于汽车电子、航空航天、船舶舰艇等领域，全面提升软件测试效率与可靠性。

同时，上海控安提供全套的软件测试与安全咨询服务，包括ASIL A/B/C/D各级别的汽车软件全生命周期代码测试服务，确保软件在各安全等级下的可靠性；提供面向双安合规的软件漏洞扫描与检测服务，有效识别潜在安全风险。公司还提供功能安全与预期功能安全体系咨询服务，以及功能安全、预期功能安全与信息安全融合咨询服务，为车企构建完整的安全保障体系。

专题分享环节，上海控安总经理助理、产品与解决方案部负责人包丹珠，发表“面向高安全和智能的汽车软件功能安全研发环境工具链”主题演讲。报告指出，随着汽车产业向软件定义时代加速转型，功能安全已成为智能网联汽车发展的基石，未来汽车的安全也将越来越倚重软件和算法控制，如何通过全面的解决方案保障功能安全成为行业亟待解决的问题。面对智能化时代的安全需求，上海控安提出了构建一体化、平台化的工具链，实现从需求、设计、编码、测试到验证的全流程功能安全闭环管理，为打造高安全、高可靠的智能汽车软件提供了切实可行的实践路径。

未来，上海控安将不断丰富和完善汽车软件功能安全研发环境工具链，为行业提供更优质的产品和服务，共同推动中国智能网联汽车产业高质量发展。

阅读原文