Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (Lecture Notes in Computer Science, 10488)

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security. Front Matter ....Pages I-XIX Front Matter ....Pages 1-1 Model-Based Safety Analysis for Vehicle Guidance Systems (Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk)....Pages 3-19 Rare Event Simulation for Dynamic Fault Trees (Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga)....Pages 20-35 Front Matter ....Pages 37-37 Arguing on Software-Level Verification Techniques Appropriateness (Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu)....Pages 39-54 Confidence Assessment Framework for Safety Arguments (Rui Wang, Jérémie Guiochet, Gilles Motet)....Pages 55-68 Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach (Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum)....Pages 69-85 Front Matter ....Pages 87-87 Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini)....Pages 89-104 Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014 (Martin Becker, Emanuel Regnath, Samarjit Chakraborty)....Pages 105-116 A Simplex Architecture for Hybrid Systems Using Barrier Certificates (Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller)....Pages 117-131 Front Matter ....Pages 133-133 A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems (Patrik Feth, Daniel Schneider, Rasmus Adler)....Pages 135-148 A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles (Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel et al.)....Pages 149-161 Modeling the Safety Architecture of UAS Flight Operations (Ewen Denney, Ganesh Pai, Iain Whiteside)....Pages 162-178 Generic Management of Availability in Fail-Operational Automotive Systems (Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer)....Pages 179-194 Front Matter ....Pages 195-195 Benchmarking Static Code Analyzers (Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm)....Pages 197-212 Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis (Mariano Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz)....Pages 213-229 Classification Tree Method with Parameter Shielding (Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho)....Pages 230-241 Front Matter ....Pages 243-243 ErrorSim: A Tool for Error Propagation Analysis of Simulink Models (Mustafa Saraoğlu, Andrey Morozov, Mehmet Turan Söylemez, Klaus Janschek)....Pages 245-254 Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework (Garazi Juez, Estíbaliz Amparan, Ray Lattarulo, Alejandra Ruíz, Joshué Pérez, Huáscar Espinoza)....Pages 255-269 Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept (Juliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth)....Pages 270-286 SMT-Based Synthesis of Fault-Tolerant Architectures (Kevin Delmas, Rémi Delmas, Claire Pagetti)....Pages 287-302 Front Matter ....Pages 303-303 A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain (Jürgen Dürrwang, Kristian Beckers, Reiner Kriesten)....Pages 305-319 A Security Architecture for Railway Signalling (Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri)....Pages 320-328 Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain (Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher et al.)....Pages 329-342 Back Matter ....Pages 343-344