Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops: DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September ...

360 Pages·2022·13.675 MB·English

by  Mario Trapp (editor), Erwin Schoitsch (editor), Jérémie Guiochet (editor), Friedemann Bitsch (editor)

Mario Trapp · Erwin Schoitsch ·
Jérémie Guiochet · Friedemann Bitsch (Eds.)
Computer Safety,
5
1
4
Reliability, and Security
3
1

S
C
N
SAFECOMP 2022 Workshops
L
DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE
Munich, Germany, September 6–9, 2022
Proceedings
Lecture Notes in Computer Science 13415
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this series at https://link.springer.com/bookseries/558
Mario Trapp Erwin Schoitsch
(cid:129) (cid:129)
é é
J r mie Guiochet Friedemann Bitsch (Eds.)
(cid:129)
Computer Safety,
Reliability, and Security
SAFECOMP 2022 Workshops
DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE
Munich, Germany, September 6–9, 2022
Proceedings
123
Editors
Mario Trapp Erwin Schoitsch
Fraunhofer IKS Austrian Institute ofTechnology
Munich,Germany Vienna,Austria
Jérémie Guiochet Friedemann Bitsch
LAAS-CNRS ThalesDeutschland GmbH
University of Toulouse Ditzingen, Germany
Toulouse, France
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-031-14861-3 ISBN978-3-031-14862-0 (eBook)
https://doi.org/10.1007/978-3-031-14862-0
©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicense
toSpringerNatureSwitzerlandAG2022
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
The SAFECOMP workshops preceding the SAFECOMP conference have become
more attractive since they started generating their own proceedings in the
Springer LNCS series (LNCS vol. 13415, the book in your hands, accompanies the
main conference proceedings published in LNCS vol. 13414). This meant adhering to
Springer’sguidelines,i.e.,theInternationalProgramCommitteeofeachworkshophad
to make sure that at least three independent reviewers reviewed the papers carefully.
The selection criteria differed from those of the main conference since authors were
encouragedtosubmitworkshoppapers onworkinprogress orcontroversialtopics.In
total, 23 regular papers (out of 27) were accepted for the SAFECOMP 2022 work-
shops. There were a few invited papers and talks, which were not all included in the
proceedings. All workshops had an introduction written by the chairs. The workshops
wereorganizedasonlineorhybrideventsbecauseofuncertaintiesaroundCOVID-19.
This year, eight workshops had been proposed, one was cancelled, one (DepDe-
vOps) was integrated with DECSoS, and one (ARCH 2022) arranged its own pro-
ceedings outside this volume:
(cid:129) DECSoS 2022 – 17th Workshop on Dependable Smart Embedded and
Cyber-Physical Systems and Systems-of-Systems, chaired by Erwin Schoitsch and
Amund Skavhaug.
(cid:129) DepDevOps 2022 – 3rd International Workshop on Dependable
Development-Operation Continuum Methods for Dependable Cyber-Physical
Systems, chaired by Miren Illarramendi, Aitor Arrieta, and Irune Agirre.
(cid:129) SASSUR 2022 – 9th International Workshop on Next Generation of System
Assurance Approaches for Critical Systems, chaired by Jose Luis de la Vara,
Alejandra Ruiz, and Antonio Kung.
(cid:129) SENSEI 2022 – 1st International Workshop on Security and Safety Interactions,
chaired by Christina Kolb, Milan Lopuhaä-Zwakenberg, and Elena Troubitsyna.
(cid:129) USDAI 2022 – 3rd International Workshop on Underpinnings for Safe
Distributed AI, chaired by Morten Larsen, Merijn van Tooren, Alain Sears, and
Daniel Reti.
(cid:129) WAISE 2022 – 5th International Workshop on Artificial Intelligence Safety
Engineering,chairedbyOrlandoAvila-García,MauricioCastillo-Effen,Chih-Hong
Cheng, Zakaria Chihani, and Simos Gerasimou.
The workshops provided a truly international platform for academia and industry.
ItwasapleasuretoworkwiththeSAFECOMPconferencechairsMarioTrappand
Francesca Saglietti, the general workshop co-chair Jeremie Guiochet, the publication
chair Friedemann Bitsch, the workshop chairs, the Program Committees, the local
vi Preface
organization team, and the authors. Thank you all for your cooperation and excellent
work!
September 2022 Erwin Schoitsch
Organization
EWICS TC7 Chair
Francesca Saglietti University of Erlangen-Nuremberg, Germany
Conference Chairs
Mario Trapp Fraunhofer Institute for Cognitive Systems, Germany
Francesca Saglietti University of Erlangen-Nuremberg, Germany
General Workshop Co-chairs
Erwin Schoitsch AIT Austrian Institute of Technology, Austria
Jérémie Guiochet LAAS-CNRS, France
Publication Chair
Friedemann Bitsch Thales Deutschland GmbH, Germany
Industry Chair
Simon Fürst BMW, Germany
Local Organization Chair
Simon Burton Fraunhofer Institute for Cognitive Systems, Germany
Local Organization Committee
Martin Simon Fraunhofer Institute for Cognitive Systems, Germany
Eva von Wardenburg Fraunhofer Institute for Cognitive Systems, Germany
Workshop Chairs
DECSoS 2022
Erwin Schoitsch AIT Austrian Institute of Technology, Austria
Amund Skavhaug Norwegian University of Science and Technology,
Norway
DepDevOps 2022
Miren Illarramendi Mondragon University, Spain
viii Organization
Aitor Arrieta Mondragon University, Spain
Irune Agirre Ikerlan Research Centre, Spain
SASSUR 2022
Jose Luis de la Vara Universidad de Castilla-La Mancha, Spain
Alejandra Ruiz TECNALIA R&I, Spain
Antonio Kung Trialog, France
SENSEI2022
Christina Kolb Independent Scholar, The Netherlands
MilanLopuhaä-Zwakenberg University of Twente, The Netherlands
Elena Troubitsyna KTH Royal Institute of Technology, Sweden
USDAI 2022
Morten Larsen AnyWi Technologies, The Netherlands
Merijn van Tooren Almende, The Netherlands
Alain Sears Leiden University, The Netherlands
Daniel Reti DFKI, Germany
WAISE 2022
Orlando Avila-García ARQUIMEA Research Center, Spain
Mauricio Castillo-Effen Lockheed Martin, USA
Chih-Hong Cheng Fraunhofer Institute for Cognitive Systems, Germany
Zakaria Chihani CEA-List, France
Simos Gerasimou University of York, UK
Organization ix
Supporting Institutions
European Workshop on
Industrial Computer Systems
Technical Committee 7 on
Reliability, Safety and Security
Fraunhofer Institute for
Cognitive Systems
Technical University of Munich
Austrian Institute of Technology
Laboratory for Analysis and
Architecture of Systems, CNRS
Thales Deutschland GmbH
Lecture Notes in Computer Science
(LNCS),
Springer Science + Business Media
Gesellschaft für Informatik (GI)