1、软件密集型系统安全保障案例相关工作坊及研究解读

软件密集型系统安全保障案例相关工作坊及研究解读

在当今科技飞速发展的时代，软件密集型系统的安全性、可靠性和安全性变得至关重要。众多相关的工作坊和研究为这一领域的发展提供了宝贵的交流平台和前沿的研究成果。

工作坊概况

SAFECOMP 会议前的工作坊自以 Springer LNCS 系列出版会议论文集以来，变得更具吸引力。今年原本提议举办八个工作坊，其中一个取消，两个（ASSURE 2023 和 SASSUR 2023）共享工作坊日，还有一个（MASCA 2023）未发表论文。具体举办的工作坊如下：
|工作坊名称|详情|
| ---- | ---- |
|ASSURE 2023|第 8 届软件密集型系统保障案例国际研讨会，由 Ewen Denney、Ibrahim Habli 和 Ganesh Pai 主持|
|DECSoS 2023|第 18 届可靠智能嵌入式网络物理系统与系统-of-系统研讨会，由 Erwin Schoitsch 和 Amund Skavhaug 主持|
|SASSUR 2023|第 10 届关键系统下一代系统保障方法国际研讨会，由 Jose Luis de la Vara 和 Barbara Gallina 主持|
|SENSEI 2023|第 2 届安全与安全交互国际研讨会，由 Christina Kolb、Milan Lopuhaä - Zwakenberg 和 Elena Troubitsyna 主持|
|SRToITS 2023|第 1 届智能交通系统安全/可靠性/可信度国际研讨会，由 Ci Liang、Nour - Eddin El Faouzi 和 Mohamed Ghazel 主持|
|