2024年11月2日—3日，由IEEE电气电子工程师学会主办，西北工业大学软件学院承办，太仓市科技镇长团、太仓市科学技术协会协办的“第十一届可靠系统及其应用国际会议（DSA 2024）”在西北工业大学太仓智汇港成功举办。会议聚焦可靠系统及其应用的难点和热点问题，汇集了百余位全球可靠系统领域的专家学者和师生，就软件可靠性的设计原则、技术手段以及在实践中的应用等方面进行了分享交流。

西北工业大学太仓智汇港管委会常务副主任王增磊，会议名誉主席、北京航天自动控制研究所软件专业总师王晓玲，会议主席、西北工业大学软件学院院长郑江滨在开幕式上致辞，对参加本次活动的专家和学者的到来表示热烈欢迎。会议指导委员会主席、美国德克萨斯大学达拉斯分校W.Eric Wong教授对会议的历史背景及会议主旨作了介绍。会议程序委员会主席、西北工业大学软件学院方振宇副教授就论文投稿情况、录用情况、论文评审标准及分会场安排等向参会代表进行了说明。

△西北工业大学太仓智汇港管委会常务副主任 王增磊

△北京航天自动控制研究所软件专业总师 王晓玲

△西北工业大学软件学院院长 郑江滨

△美国德克萨斯大学达拉斯分校教授 W.Eric Wong

△西北工业大学软件学院副教授 方振宇

开幕式结束后，会议的议程便迅速进入高潮。来自美国阿拉巴马大学伯明翰分校的Ragib Hasan教授、日本广岛大学的刘少英教授、中国科学院软件研究所的张健研究员分别作题为“Provenance-Based Security in Secure Dependable Systems”“Software Fault Prevention and Verification in Human-Machine Pair Programming”“Program Analysis: Successes and Challenges”的主旨演讲。

△美国阿拉巴马大学伯明翰分校教授 Ragib Hasan

△日本广岛大学教授 刘少英

△中国科学院软件研究所研究员 张健

本次国际会议以线上线下相结合的形式进行，线下设置了六个分会场，来自海内外专家学者在两天时间内呈现了超过50场报告，涵盖人工智能与机器学习、软件测试与质量保障、目标检测与计算机视觉、漏洞检测与威胁分析、网络安全与可靠性、人工智能系统的可靠性与测试等12项重要议题。与会人员根据自己的兴趣和专业领域选择参加相应的会场讨论和交流。

随着软件应用的广泛普及，软件可靠性的重要性日益凸显，从国防安全到民生保障，从工业制造到日常消费，各领域的软件可靠性都关系到整个系统的稳定运行。此次 “第十一届可靠系统及其应用国际会议（DSA 2024）”的成功举办，为软件领域的青年科研工作者提供了一个展示研究成果、交流学术思想的舞台，也为推动中国可靠系统及其应用领域的创新与发展注入了新的活力和动力。

（撰稿：张珂欣 审核：郭培荣 ）