The list of accepted papers

  • Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider, Denis Uecker and Kentaro Yoshimura. Multi-Aspect Safety Engineering for Highly Automated Driving - Looking beyond functional safety and established standards and methodologies.
  • Jens Vankeirsbilck, Niels Penneman, Hans Hallez and Jeroen Boydens. Random Additive Control Flow Error Detection.
  • Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux and Roman Popp. Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling.
  • Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn and Birte Kramer. Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.
  • Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky. Formal verification of signalling programs with SafeCap.
  • Philip Koopman. Automotive Safety Practices vs. Accepted Principles (Practical Experience Report).
  • Sarah Haas, Andrea Hoeller, Thomas Ulz and Christian Steger. Inter-Device Sensor-Fusion for Action Authorization on Industrial Mobile Robots.
  • Michael Huber, Michael Brunner, Clemens Sauerwein, Carmen Carlan and Ruth Breu. Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry.
  • Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila Da Silva, Peter Munk, Markus Schweizer, Matthias Jung and Rasmus Adler. A Model-Based Safety Analysis of Dependencies Across Abstraction Layers.
  • Lydia Gauerhof, Peter Munk and Simon Burton. Structuring Validations Targets of a Machine Learning Function applied in Automated Driving.
  • Zoha Moztarazdeh. Fault-Tolerant Clock Synchronization with only Two Redundant Paths.
  • Hafizul Asad and Ilir Gashi. Diversity in Open Source Intrusion Detection Systems.
  • Alessandro Frigerio, Bart Vermeulen and Kees Goossens. A Generic Method for a Bottom-Up ASIL Decomposition.
  • Kai Ding, Andrey Morozov and Klaus Janschek. MORE: MOdel-based REdundancy for Simulink.
  • Andreas Schwierz and Håkan Forsberg. Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics.
  • Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, Baekgyu Kim, Shinichi Shiraishi, Mark Lawford and Alan Wassyng. Safe and Secure Automotive Over-The-Air Updates.
  • Venesa Watson and Mahlet Ermias. Dependability Analysis of the AFDX Frame Management Design.
  • Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho and Angelo Gargantini. Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving.
  • Elena Troubitsyna and Inna Vistbakka. Deriving and Formalising Safety and Security Requirements for Control Systems.
  • Christoph Schorn, Andre Guntoro and Gerd Ascheid. Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators.