<p class="MsoNormal"><span lang="EN-US" style="mso-ansi-language: EN-US;">This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.&#xa0;</span></p><p class="MsoNormal"><span lang="EN-US" style="mso-ansi-language: EN-US;">The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:</span></p><p class="MsoListParagraphCxSpFirst" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-US" style="mso-ansi-language: EN-US; mso-bidi-font-weight: bold;">CoC3CPS 2025, Co-Design of Communication, Computing and Control in Cyber-Physical Systems</span></p><p class="MsoListParagraphCxSpMiddle" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-US" style="mso-ansi-language: EN-US; mso-bidi-font-weight: bold;">DECSoS 2025 – 20th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems</span></p><p class="MsoListParagraphCxSpMiddle" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-US" style="mso-ansi-language: EN-US; mso-bidi-font-weight: bold;">SASSUR 2025 - 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems</span></p><p class="MsoListParagraphCxSpMiddle" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-US" style="mso-ansi-language: EN-US; mso-bidi-font-weight: bold;">SENSEI 2025 – 4th International Workshop on Safety and Security Interaction</span></p><p class="MsoListParagraphCxSpMiddle" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-GB" style="mso-ansi-language: EN-GB; mso-bidi-font-weight: bold;">SRToITS 2025 – 2nd&#xa0;International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems</span></p><p class="MsoListParagraphCxSpLast" style="text-indent: -18.0pt; mso-list: l0 level1 lfo1;"><!-- [if !supportLists]--><span lang="EN-US" style="font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-ansi-language: EN-US; mso-bidi-font-weight: bold;"><span style="mso-list: Ignore;">·<span style="font: 7.0pt 'Times New Roman';">&#xa0;&#xa0;&#xa0;&#xa0;&#xa0;&#xa0; </span></span></span><!--[endif]--><span lang="EN-US" style="mso-ansi-language: EN-US; mso-bidi-font-weight: bold;">WAISE 2025 – 8th International Workshop on Artificial Intelligence Safety Engineering</span></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

摘要

This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025. 

The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:

·       CoC3CPS 2025, Co-Design of Communication, Computing and Control in Cyber-Physical Systems

·       DECSoS 2025 – 20th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems

·       SASSUR 2025 - 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

·       SENSEI 2025 – 4th International Workshop on Safety and Security Interaction

·       SRToITS 2025 – 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems

·       WAISE 2025 – 8th International Workshop on Artificial Intelligence Safety Engineering