Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Description

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering. Front Matter ....Pages I-XV Front Matter ....Pages 1-3 Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation (Biao Xu, Minyan Lu, Tingyang Gu, Dajian Zhang)....Pages 5-13 Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems (Fuyuki Ishikawa, Yutaka Matsuno)....Pages 14-21 The Assurance Recipe: Facilitating Assurance Patterns (Justin Firestone, Myra B. Cohen)....Pages 22-30 Incorporating Attacks Modeling into Safety Process (Amer Šurković, Džana Hanić, Elena Lisova, Aida Čaušević, Kristina Lundqvist, David Wenslandt et al.)....Pages 31-41 Assurance Case Considerations for Interoperable Medical Systems (Yi Zhang, Brian Larson, John Hatcliff)....Pages 42-48 Two Decades of Assurance Case Tools: A Survey (Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik)....Pages 49-59 MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases (Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik)....Pages 60-70 D-Case Steps: New Steps for Writing Assurance Cases (Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno)....Pages 71-78 Front Matter ....Pages 79-86 A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment (Ian Oliver, Aapo Kalliola, Silke Holtmanns, Yoan Miche, Gabriela Limonta, Borger Vigmostad et al.)....Pages 87-98 Constraint-Based Testing for Buffer Overflows (Loui Al Sardy, Francesca Saglietti, Tong Tang, Heiko Sonnenberg)....Pages 99-111 Multi-layered Approach to Safe Navigation of Swarms of Drones (Inna Vistbakka, Amin Majd, Elena Troubitsyna)....Pages 112-125 Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems (Fábio L. Leite Jr., Daniel Schneider, Rasmus Adler)....Pages 126-138 Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems (Jan Reich, Daniel Schneider)....Pages 139-150 Co-Engineering-in-the-Loop (Thomas Gruber, Christoph Schmittner, Martin Matschnig, Bernhard Fischer)....Pages 151-163 STPA Guided Systems Engineering (Uwe Becker)....Pages 164-176 A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities (Siddhartha Verma, Thomas Gruber, Peter Puschner, Christoph Schmittner, Erwin Schoitsch)....Pages 177-189 Safety and Security in a Smart Production Environment (Reinhard Kloibhofer, Erwin Kristen, Stefan Jakšić)....Pages 190-201 Survey of Scenarios for Measurement of Reliable Wireless Communication in 5G (Matthias Herlich, Thomas Pfeiffenberger, Jia Lei Du, Peter Dorfinger)....Pages 202-213 Application of IEC 62443 for IoT Components (Abdelkader Magdy Shaaban, Erwin Kristen, Christoph Schmittner)....Pages 214-223 Dependable Outlier Detection in Harsh Environments Monitoring Systems (Gonçalo Jesus, António Casimiro, Anabela Oliveira)....Pages 224-233 Front Matter ....Pages 235-238 Fault Trees vs. Component Fault Trees: An Empirical Study (Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier)....Pages 239-251 Challenges in Assuring Highly Complex, High Volume Safety-Critical Software (John MacGregor, Simon Burton)....Pages 252-264 Comparing Risk Identification in Hazard Analysis and Threat Analysis (Hideaki Nishihara, Kenji Taguchi)....Pages 265-277 Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic (Leonardo González, Enrique Martí, Isidro Calvo, Alejandra Ruiz, Joshue Pérez)....Pages 278-289 Integration Analysis of a Transmission Unit for Automated Driving Vehicles (Georg Macher, Omar Veledar, Markus Bachinger, Andreas Kager, Michael Stolz, Christian Kreiner)....Pages 290-301 In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity (Martin Skoglund, Fredrik Warg, Behrooz Sangchoolie)....Pages 302-313 Front Matter ....Pages 315-318 Counter Attacks for Bus-off Attacks (Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata)....Pages 319-330 Applications of Pairing-Based Cryptography on Automotive-Grade Microcontrollers (Tudor Andreica, Bogdan Groza, Pal-Stefan Murvay)....Pages 331-343 Towards an Integrated Penetration Testing Environment for the CAN Protocol (Giampaolo Bella, Pietro Biondi)....Pages 344-352 Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation (C. B. S. T. Molina, L. F. Vismari, T. Fuji, J. B. Camargo Jr., J. R. de Almeida Jr., R. Inam et al.)....Pages 353-364 A Security Analysis of the ETSI ITS Vehicular Communications (Alexandru Constantin Serban, Erik Poll, Joost Visser)....Pages 365-373 Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning (Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini)....Pages 374-386 Front Matter ....Pages 387-392 “Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift (Rob Ashmore, Matthew Hill)....Pages 393-405 Mitigation of Policy Manipulation Attacks on Deep Q-Networks with Parameter-Space Noise (Vahid Behzadan, Arslan Munir)....Pages 406-417 What Is Acceptably Safe for Reinforcement Learning? (John Bragg, Ibrahim Habli)....Pages 418-430 Uncertainty in Machine Learning Applications: A Practice-Driven Classification of Uncertainty (Michael Kläs, Anna Maria Vollmer)....Pages 431-438 Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving (Krzysztof Czarnecki, Rick Salay)....Pages 439-445 Design of a Knowledge-Base Strategy for Capability-Aware Treatment of Uncertainties of Automated Driving Systems (DeJiu Chen, Kenneth Östberg, Matthias Becker, Håkan Sivencrona, Fredrik Warg)....Pages 446-457 Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving (Sina Shafaei, Stefan Kugele, Mohd Hafeez Osman, Alois Knoll)....Pages 458-464 Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft (Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann Dauer)....Pages 465-472 Could We Issue Driving Licenses to Autonomous Vehicles? (Jingyue Li, Jin Zhang, Nektaria Kaloudi)....Pages 473-480 Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety (A. M. Nascimento, L. F. Vismari, P. S. Cugnasca, J. B. Camargo Jr., J. R. de Almeida Jr., R. Inam et al.)....Pages 481-486 The Moral Responsibility Gap and the Increasing Autonomy of Systems (Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg)....Pages 487-493 Design Requirements for a Moral Machine for Autonomous Weapons (Ilse Verdiesen, Virginia Dignum, Iyad Rahwan)....Pages 494-506 AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values (Gopal P. Sarma, Nick J. Hay, Adam Safron)....Pages 507-512 A Psychopathological Approach to Safety Engineering in AI and AGI (Vahid Behzadan, Arslan Munir, Roman V. Yampolskiy)....Pages 513-520 Why Bad Coffee? Explaining Agent Plans with Valuings (Michael Winikoff, Virginia Dignum, Frank Dignum)....Pages 521-534 Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning (Patrik Feth, Mohammed Naveed Akram, René Schuster, Oliver Wasenmüller)....Pages 535-547 Improving Image Classification Robustness Using Predictive Data Augmentation (Subramani Palanisamy Harisubramanyabalaji, Shafiq ur Réhman, Mattias Nyberg, Joakim Gustavsson)....Pages 548-561 Back Matter ....Pages 563-564