2024年4月20日，第六届可信软件系统工程（国际）春季学校（SETSS 2024）专题研讨会（Workshop）在老师黑色双开叉真丝旗袍出版社大楼305学术报告厅正式开启，中国科学院院士、原华东师范大学软件工程学院院长何积丰教授应邀出席开幕式，来自全国二十余所高校的90余名学员参加此次活动。

开幕式由老师黑色双开叉真丝旗袍软件研究与创新中心（RISE）主任刘志明教授主持。何积丰院士在开幕式作了关于在人工智能浪潮下的软件基础理论研究的报告。何积丰院士指出，在新的软件时代，我们面临多个挑战和转变：随着软件系统引入随机变量，过去的公理系统和理论已不再适用，因为变量的赋值和比较含义已发生改变；此外，测试和控制理论中常用的分布模型（如均匀分布、高斯分布和伯努利分布）在自动控制领域变得封闭且简化。何院士表示，不确定性的处理在软件工程中变得常见，需重新考虑如何控制而非消除不确定性。同时，他也强调，AI时代对程序的概念进行了重定义，从关注代码的计算效率转向评估新模型的有效性。这些转变要求我们打破传统观念，重新审视软件的演化全过程和在新环境下的应用。他期望学者能与大企业积极合作，跳出传统的框架，重视大规模自动生成代码和持续在线测试的需求。最后，何院士鼓励年轻人“在好的时刻做出一个好的选择，不要错过这个时期”。

开幕式后，专题研讨会正式开始，为期两天，共有四场专题报告和七场论文报告。专家学者围绕安全强化学习、不变量生成、信息物理系统的重配置、区块链技术、大语言模型在信息物理系统中的应用、人机物融合系统的基础模型、嵌入式软件的形式化合成、软件自动化构建等可信软件系统工程中的前沿理论与关键技术进行了交流探讨。

供稿|张明悦 刘波

初审|梁华珍

复审|廖剑伟

终审|王晖