51fusa安全社区_功能安全_信息安全

登陆

12月1-3日，2023年CCF中国软件大会在上海国际会议中心成功举办。作为中国软件领域规模最大、影响最广的学术会议，本届大会围绕学术、工业、教育、竞赛四大类举办了50余场活动，吸引来自十个国家和地区的高校、科研机构、企事业单位的2,300余位专家学者注册参会。

大会现场，上海控安展示了可视化建模开发工具、嵌入式软件自动化测试平台等多款国产软件工具链核心产品，并与参会嘉宾热烈交流当前工业软件安全领域前沿技术。

大会同期举办的高可信嵌入式软件智能化开发与测试论坛上，上海控安可信软件创新研究院副院长、系统建模组总监冯劲草博士，发表“基于嵌入式系统模型一致性分析与验证”主题演讲，聚焦嵌入式软件研发过程中的需求模型与设计模型，探讨保障模型正确性与一致性的方法，并基于真实案例分享工业领域内软件支撑工具的落地实践。

软件是增强我国产业质量竞争力的重要支撑。《质量强国建设纲要》明确指出，支持工业软件等工程化开发，实现工业质量分析与控制软件关键技术突破。上海控安多年来围绕工业控制系统功能安全和信息安全，已形成一批面向汽车电子、轨道交通、航空航天等领域的核心技术成果，未来将持续加强技术创新，为我国工业安全赋能。

上海控安受邀出席2023年CCF中国软件大会