-
往期回顾
WAIC 2026丨上海控安携SmartRocket系列AI全生命周期工具链亮相2026世界人工智能
为我国关键信息基础设施安全和全球人工智能治理贡献更多力量
已有1500人参与
7月17日至20日，“智能伙伴，共创未来”2026世界人工智能大会（WAIC）暨人工智能全球治理高级别会议在上海举行。历经八载迭代升级，本届世界人工智能大会成为了观测全球智能变革、展示中国AI发展实践、践行科技向善理念的最佳窗口。
本届大会期间，上海国投于2026WAIC全域链接馆搭建生态展区，以“AI生态全景展示”为主线，汇聚40余家上海国投被投及生态企业的70余件展品。作为上海国投旗下上海科创集团参股投资的国有控股企业，上海控安携自主研发的SmartRocket高可信嵌入式软件AI全生命周期工具链亮相大会展区，集中展示国产工业软件在AI赋能安全攸关领域的最新创新成果。
SmartRocket高可信嵌入式软件AI全生命周期工具链，贯通“需求→建模→代码→协议→安全合规”全链路。以AI重塑五大环节：需求端，LLM驱动测试用例自动生成与智能审查；建模端，LLM辅助详细设计建模、场景化用例生成及代码到模型逆向工程；代码测试端，大模型与动态符号执行引擎协同，识别符号执行盲区，MC/DC覆盖率边际提升超20%；协议模糊端，LLM赋能智能变异引擎与RAG信息安全知识库，实现协议字段感知变异与约束修复，为安全关键系统提供AI赋能的闭环工具链。
其中，SmartRocket TestGrid嵌入式软件自动化测试平台、SmartRocket Modeler高可信嵌入式软件建模开发工具、SmartRocket TestSec自动化智能模糊渗透测试工具等核心产品，已在航空航天、轨道交通、汽车电子等安全攸关行业实现规模化应用。
作为上海国投科创生态体系中的重要成员，上海控安将持续立足上海市科创中心建设战略部署，依托上海国投与上海科创集团的平台优势和资源赋能，持续加大核心关键技术研发投入。面向“十五五”，上海正全面实施“人工智能+”行动，以人工智能引领产业范式变革。上海控安将抢抓这一战略机遇，加速推进SmartRocket系列工具链的国产化替代进程，积极赋能航空航天、轨道交通、汽车电子等安全攸关领域智能化升级。
习近平总书记在大会开幕式上指出，要“让人工智能赋能千行百业”。上海控安将以此次世界人工智能大会为新起点，深化与产业链上下游的协同创新，推动AI技术与工业安全关键技术的深度融合，以实际行动助力上海加快建设更具国际影响力的人工智能上海高地，为我国关键信息基础设施安全和全球人工智能治理贡献更多力量。
