Barbara Gallina · Amund Skavhaug Erwin Schoitsch · Friedemann Bitsch (Eds.) 4 9 0 Computer Safety, 1 1 S C Reliability, and Security N L SAFECOMP 2018 Workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE Västerås, Sweden, September 18, 2018, Proceedings 123 Lecture Notes in Computer Science 11094 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology Madras, Chennai, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7408 Barbara Gallina Amund Skavhaug (cid:129) Erwin Schoitsch Friedemann Bitsch (Eds.) (cid:129) Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE ä å V ster s, Sweden, September 18, 2018 Proceedings 123 Editors Barbara Gallina Erwin Schoitsch Mälardalen University AIT Austrian Institute ofTechnology Västerås Vienna Sweden Austria AmundSkavhaug Friedemann Bitsch NorwegianUniversity of Science ThalesDeutschland GmbH andTechnology Ditzingen Trondheim Germany Norway ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-99228-0 ISBN978-3-319-99229-7 (eBook) https://doi.org/10.1007/978-3-319-99229-7 LibraryofCongressControlNumber:2018950937 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2018 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, express 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 Conference, 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. 11094, the book in your hands; the main conference proceedings are LNCS 11093). 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, 49 regular papers (out of 73) were accepted. Three of the five workshops are sequels to earlier workshops, which shows conti- nuity of their relevance to the scientific and industrial community: (cid:129) ASSURE 2018 – 6th International Workshop on Assurance Cases for Software-IntensiveSystems, chaired byEwen Denney,IbrahimHabli, GaneshPai, and Richard Hawkins (cid:129) DECSoS2018–13thERCIM/EWICS/ARTEMISWorkshoponDependableSmart Embedded and Cyber-Physical Systems and Systems-of-Systems, chaired by Erwin Schoitsch and Amund Skavhaug (cid:129) SASSUR 2018 – 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems, chaired by Alejandra Ruiz, Jose Luis de la Vara, and Tim Kelly Finally, two new workshops were part of Safecomp for the first time (a third new proposal was withdrawn in the end): (cid:129) STRIVE 2018 – FirstInternational Workshopon Safety,securiTy, andpRivacyIn automotiVe systEms, chaired by Gianpiero Costantino and Ilaria Matteucci (cid:129) WAISE 2018 – First International Workshop on Artificial Intelligence Safety Engineering, chaired by Huascar Espinoza, Orlando Avila-García, Rob Alexander, and Andreas Theodorou; The workshops provide a truly international platform for academia and industry. It has been a pleasure to work with the Safecomp chair, Barbara Gallina, and with the publication chair, Friedemann Bitsch, the workshop chairs, Program Committees, and the authors. Thank you all for your good cooperation and excellent work! September 2018 Erwin Schoitsch Organization Committee EWICS TC7 Chair Francesca Saglietti University of Erlangen-Nuremberg, Germany General Chair Barbara Gallina Mälardalen University, Sweden Program Co-chairs Barbara Gallina Mälardalen University, Sweden Amund Skavhaug TheNorwegianUniversityofScienceandTechnology, Norway Workshop Chair Erwin Schoitsch AIT Austrian Institute of Technology, Austria Publication Chair Friedemann Bitsch Thales Deutschland GmbH, Germany Local Organizing Committee Irfan Sljivo Mälardalen University, Sweden Lena Jonsson Mälardalen University, Sweden Martina Pettersson Mälardalen University, Sweden Elena Rivani Mälardalen University, Sweden Linda Claesson Mälardalen University, Sweden Gunnar Widforss Mälardalen University, Sweden Publicity Chair Alexander Romanovsky Newcastle University, UK Workshop Chairs ASSURE 2018 Ewen Denney SGT/NASA Ames Research Center, USA Ibrahim Habli University of York, UK Richard Hawkins University of York, UK Ganesh Pai SGT/NASA Ames Research Center, USA VIII Organization DECSoS 2018 Erwin Schoitsch AIT Austrian Institute of Technology, Austria Amund Skavhaug NTNU, Norway SASSUR 2018 Alejandra Ruiz Lopez Tecnalia, Spain Jose Luis de La Vara Carlos III University of Madrid, Spain Tim Kelly University of York, UK STRIVE 2018 Gianpiero Costantino IIT-CNR, Italy Ilaria Matteucci IIT-CNR, Italy WAISE 2018 Huascar Espinoza CEA LIST, France Orlando Avila-García Atos, Spain Rob Alexander University of York, UK Andreas Theodorou University of Bath, UK Organization IX Supporting Institutions European Workshop onIndustrial Computer SystemsReliability, Safety andSecurity Mälardalen University,Sweden Norwegian University of Scienceand Technology AIT Austrian Institute of Technology Thales DeutschlandGmbH Lecture Notesin Computer Science (LNCS), SpringerScience +Business Media Austrian Computer Society ARTEMIS IndustryAssociation X Organization European Network of Clubs for Reliability andSafetyof Software-Intensive Systems German Computer Society Electronic ComponentsandSystems for European Leadership - Austria Verband österreichischer Software Industrie European Research Consortium for Informatics andMathematics IEEE SMCTechnical Committee on Homeland Security (TCHS)