ChinaSoft 论坛巡礼 | 安全攸关软件的智能化开发方法论坛

2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！

CCF ChinaSoft 2023官方首页：

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

✦  +

+

论坛巡礼

论坛名称：安全攸关软件的智能化开发方法论坛

时间: 2023年12月1日（星期五），14:00 – 18:00

地点: 上海国际会议中心，5I会议室

论坛简介：

   融合智能化技术的软件开发方法是当前软件工程领域的研究热点和重要发展方向。模型驱动方法已成为国外航空、航天等领域安全攸关软件的主流开发模式，我国航空航天等装备研制领域也正在从传统开发方式向模型驱动方式转变。模型驱动开发方法仍然面临模型构建效率低、代码开发成本高、形式验证难度大、系统验证不充分等挑战。本论坛主题为安全攸关软件的智能化开发和验证方法。将智能化技术与模型驱动相结合，形成“模型驱动+智能增强”的软件开发新模式，创新地解决软件模型构建、安全代码开发、软件验证认证、系统仿真测试等方面的难题，有效解决安全攸关软件开发效率和软件质量提升问题，有望引领新一代安全攸关软件开发的发展方向