6月11日下午，上?？匕渤晒侔斓?期普陀创新专项“智能网联汽车不神秘”科普活动?；疃浴爸悄芡等砑柿勘Ｕ稀蔽魈?，邀请四十余位行业专家、企业代表，共同探讨汽车软件质量提升发展，交流技术难题，加强产业互动。

普陀区市场监督管理局副局长陈燕为本次活动致辞。陈副局指出，智能软件业质量提升行动需激发企业活力，不断增强质量提升能力；充分发挥行业优势，不断完善质量服务模式；注重政府引导，不断优化质量发展环境。同时提出三点期望，企业首先要不断加强质量品牌建设，二是要继续加大标准化工作力度，三是持续推动质量创新。最后，期待工控平台能协助普陀区在质量提升工作上取得更大成效，在实现平台自身高质量发展的同时，为产业发展助力，为区域转型添力。

分享环节，来自科世达（上海）管理有限公司开发部程晖部长分享《软件持续开发与集成-高效安全软件开发过程》主题，针对功能安全自动化DevSecOps流程，以及功能安全工具链平台的最佳实践技术展开介绍。上?？匕蚕钅孔芗嘧褰樯芰恕洞氚踩Ｕ辖饩龇桨浮?，面向软件开发过程，基于已有的开发流程体系，提出高效的代码安全保障的办法。DEKRA德凯道路车辆功能安全事业部中国区总监赵欣带来《汽车软件质量保证要求和功能安全》主题分享，主要从功能安全及信息安全角度对软件开发流程、系统要求、架构设计等方面进行分析?？ㄋ箍滦藕庞邢薰静馐灾行纳虾２馐圆扛本沓孪啤豆斓澜煌ㄈ砑柿勘Ｕ嫌牍δ馨踩蟆?，分享了功能安全在轨交领域的最佳实践，重点介绍了形式化需求方法的高度自动化过程，以及单元测试的重要性及实践过程。贝腾软件科技(上海)有限公司总经理刘春晓分享了《基于形式化的形式验证技术》主题，主要提到无论是ASPICE还是功能安全，都着重强调需求是产品开发的基石，需求工程是保证项目成功的关键要素。

上?？匕泊罱ò踩幸倒步ü蚕砉灿纳缜教?，旨在促进企业与企业间、政府与企业间的展示、交流与合作，率先引领行业质量提升工作，带动智能软件产业协同发展。