期刊名：Software

期刊主页：https://www.mdpi.com/journal/software

特刊链接：https://www.mdpi.com/journal/software/special_issues/X9B7U49274

在工业4.0时代，软件应用如信息物理系统（CPS）、服务器系统、基于机器学习的系统、数据驱动系统以及实时计算系统等，在工业生产和日常生活中都扮演着重要角色。这些系统通常由众多不同的组件构成，它们可能相互交互并呈现出复杂的行为。由于这些系统由软件控制，且系统故障可能导致严重后果，甚至造成人员伤亡，所以软件的可靠性、安全性和质量保证显得尤为关键。当前，科研人员已在软件可靠性、安全性和质量保证方面开展了大量研究，包括形式化工程、软件测试、验证与确认技术，以及可靠性与安全性建模等，旨在提升系统的可靠性、安全性、可用性和安全性等多项指标。然而，在复杂系统中，海量交互组件与现有方法可扩展性之间仍存在差距。尽管如此，我们相信对可靠软件系统的需求将激励我们开发新的技术，或对现有技术进行可行的调整和改进，最终成功解决如组件交互、实时调度等难题。

Software 邀请了广岛大学Tadashi Dohi教授，鄭俊俊博士和北京科技大学張逍怡博士，合作创建特刊Software Reliability, Security and Quality Assurance (软件可靠性、安全性和质量保证)。特刊包括但不限于以下主题：

• 软件可靠性

• 软件安全

• 软件质量保证

• 需求工程

• 形式化工程

• 软件测试

• 验证与确认（V&V）技术

• 软件可靠性建模

• 软件安全性建模

• 软件度量

• 实证软件工程

投稿截止日期：2026年12月31日

客座编辑介绍

Tadashi Dohi教授

自2002年起，担任广岛大学全职教授。1992年和2000年，先后在加拿大不列颠哥伦比亚大学商学与工商管理系、美国杜克大学哈德森工学院担任访问研究员。曾被任命为信息学与数据科学学院副院长，并担任先进科学与工程研究生院全职教授。研究领域包括可靠性工程、软件可靠性和可信计算。于2018–2019年担任日本可靠性工程学会（REAJ）会长。他是日本运筹学学会（ORSJ）、日本电子情报通信学会（IEICE）、日本信息处理学会（IPSJ）、日本可靠性工程学会（REAJ）以及电气与电子工程师协会（IEEE）的正式会员。

鄭俊俊博士

日本广岛大学先进科学与工程研究生院副教授。研究兴趣包括软件可靠性、性能评估和可信计算。作为共同作者发表了70余篇期刊和会议论文，包括发表于 IEEE TR、RESS、Stoch. Models、Perform. Eval.、SQJ、QE 等期刊的论文。曾担任DCCS 2022-2024、DeIS 2023以及GCCCE英文论文轨道的程序委员会联合主席（PC Co-Chairs）。是《国际可靠性与安全期刊》（IJRS，2021年起）的编委会成员，并担任《软件质量期刊》（SQJ，2023年起）的客座编辑。是多个专业学会的会员，包括日本运筹学学会（ORSJ）、日本可靠性工程学会（REAJ）、日本电气电子情报通信学会（IEICE）以及电气与电子工程师协会（IEEE）。

張逍怡博士

北京科技大学计算机与通信工程学院的副教授。长期从事复杂智能系统测试与调试工作，具体包括：1）自动驾驶系统的测试充分性准则与测试场景生成方法，2）对自动驾驶系统的失效进行分析，3）研究对多智能体规划算法的测试与分析，4）复杂深度学习模型的分析与修复。目前共发表论文 50 余篇，其中多篇被 IEEE Transactions on Dependable and Secure Computing、IEEE Transactions on Reliability、IEEE/ACM International Conference on Automated Software 等高水平期刊和国际会议收录。2018-2022年在日本国立情报学研究所担任特任研究员与助理教授，参与了日本ERATO MMSD以及eAI Mirai等自动驾驶与人工智能相关的大型研究项目，目前仍以访问助理教授身份享受日本国立情报学研究所的访问资助。与日本国立情报学研究所、日本九州大学等国外著名研究机构的优秀学者保持着经常性地学术交流，并与相关研究团队共同指导博士生和硕士生。曾受邀参加日本的著名的信息学研讨会——湘南会议，与海内外知名学者讨论软件工程的高级议题，共同参与各种研究项目。

Software 期刊介绍

主编：Mirko Viroli, Alma Mater Studiorum Università di Bologna, via dellUniversità 50, 47521 Cesena FC, Italy

Software (ISSN 2674-113X) 创刊于2022年，是一本国际化、经同行评审的开放获取期刊。本刊旨在汇聚学术界与工业界的研究人员、工程师及软件开发人员，共同探讨软件应用领域在理论与实践层面的创新理念与扎实成果。期刊聚焦软件工程、软件应用及相关算法的最新研究进展，致力于解决该领域的核心问题。