Computer safety, reliability, and security : 36th international conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings

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