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.