Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings PDF
Preview Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
António Casimiro · Frank Ortmeier · Erwin Schoitsch · Friedemann Bitsch · Pedro Ferreira (Eds.) Computer Safety, 5 3 2 2 Reliability, and Security 1 S C N SAFECOMP 2020 Workshops L DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020 Lisbon, Portugal, September 15, 2020 Proceedings Lecture Notes in Computer Science 12235 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 Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA More information about this series at http://www.springer.com/series/7408 ó Ant nio Casimiro Frank Ortmeier (cid:129) (cid:129) Erwin Schoitsch Friedemann Bitsch (cid:129) (cid:129) Pedro Ferreira (Eds.) Computer Safety, Reliability, and Security SAFECOMP 2020 Workshops DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020 Lisbon, Portugal, September 15, 2020 Proceedings 123 Editors AntónioCasimiro FrankOrtmeier University of Lisbon Otto-von-Guericke University Lisbon, Portugal Magdeburg, Germany Erwin Schoitsch Friedemann Bitsch Austrian Institute ofTechnology ThalesDeutschland GmbH Vienna,Austria Ditzingen, Germany PedroFerreira University of Lisbon Lisbon, Portugal ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-55582-5 ISBN978-3-030-55583-2 (eBook) https://doi.org/10.1007/978-3-030-55583-2 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2020 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,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare 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 workshop day has for many years preceded the SAFECOMP con- ference, attracting additional participants. The SAFECOMP workshops have become more attractive since they started generating their own proceedings in the Springer LNCS series (Springer LNCS vol. 12235, the book in your hands; the main conference proceedings are LNCS 12234). This meant adhering to Springer’s guide- lines, i.e., the respective International Program Committee of each workshop had to makesurethatatleastthreeindependentreviewersreviewedthepaperscarefully. The selection criteria weredifferent from those for the main conferencesince authors were encouraged to submit workshop papers, i.e., on work in progress and potentially controversial topics. In total, 30 regularpapers (out of45) were accepted. One invited paper was added (in the DECSoS workshop), and all workshops included an intro- duction written by the chairs. Two of thefour workshops are sequelsto earlier workshops,two are new in topics and Organizing Committees: (cid:129) DECSoS 2020 – 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, chaired by Erwin Schoitsch and Amund Skavhaug, and supported by ERCIM, EWICS, and ARTEMIS/ECSEL projects. (cid:129) WAISE 2020 – Third International Workshop on Artificial Intelligence Safety Engineering,chairedbyOrlandoAvila-García,MauricioCastillo-Effen,Chih-Hong Cheng, Zakaria Chihani, and Simos Gerasimou. (cid:129) DepDevOps 2020 – First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems, chaired by Haris Isakovic, Miren Illarramendi, Aitor Arrieta, and Irune Agirre. (cid:129) USDAI 2020 – First International Workshop on Underpinnings for Safe Distributed AI, chaired by Morten Larsen and Alexandru Uta. The workshops provide a truly international platform for academia and industry. It has been a pleasure to work with the SAFECOMP chair Antonio Casimiro, with the publication chairs, Friedemann Bitsch and Pedro Ferreira, the workshop chairs, Program Committees, and the authors. Particular thanks goes to all partners who reorganized SAFECOMP 2020 and all workshops as an online event in hard times because of the COVID-19 crisis. Thank you all for your good cooperation and excellent work! September 2020 Erwin Schoitsch Organization Committees EWICS TC7 Chair Francesca Saglietti University of Erlangen-Nuremberg, Germany General Chair António Casimiro University of Lisbon, Portugal Program Co-chairs António Casimiro University of Lisbon, Portugal Frank Ortmeier Otto-von-Guericke University, Germany General Workshop Chair Erwin Schoitsch AIT Austrian Institute of Technology, Austria Publication Chairs Friedemann Bitsch Thales Deutschland GmbH, Germany Pedro Ferreira University of Lisbon, Portugal Position Papers Chair Jérémie Guiochet University of Toulouse III, France Publicity Chair Bernardo Ferreira University of Lisbon, Portugal Local Organizing Committee António Casimiro University of Lisbon, Portugal Pedro Ferreira University of Lisbon, Portugal Ibéria Medeiros University of Lisbon, Portugal Workshop Chairs DECSoS 2020 Erwin Schoitsch AIT Austrian Institute of Technology, Austria Amund Skavhaug NTNU, Norway viii Organization DepDevOps 2020 Haris Isakovic TU Wien, Austria Miren Illarramendi Mondragon University, Spain Aitor Arrieta Mondragon University, Spain Irune Agirre IKERLAN, Spain USDAI 2020 Morten Larsen AnyWi Technologies, The Netherlands Alexandru Uta Leiden Institute of Advanced Computer Science, The Netherlands WAISE 2020 Orlando Avila-García Atos, Spain Mauricio Castillo-Effen Lockheed Martin, USA Chih-Hong Cheng DENSO, Germany Zakaria Chihani CEA LIST, France Simos Gerasimou University of York, UK Organization ix Gold Sponsor Intel Silver Sponsor Edge Case Research Supporting Institutions European Workshop on Industrial Computer Systems – Reliability, Safety and Security Faculdade de Ciências da Universidade de Lisboa LASIGE Research Unit x Organization AG Software Engineering, Otto-von-Guericke-Universität Magdeburg Austrian Institute of Technology Thales Deutschland GmbH Lecture Notes in Computer Science (LNCS), Springer Science + Business Media European Network of Clubs for Reliability and Safety of Software-Intensive Systems German Computer Society
The list of books you might like
