Abstract is missing.
- Practical Experience Report: Automotive Safety Practices vs. Accepted PrinciplesPhilip Koopman. 3-11 [doi]
- A Generic Method for a Bottom-Up ASIL DecompositionAlessandro Frigerio, Bart Vermeulen, Kees Goossens. 12-26 [doi]
- Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical AvionicsAndreas Schwierz, Håkan Forsberg. 27-41 [doi]
- Structuring Validation Targets of a Machine Learning Function Applied to Automated DrivingLydia Gauerhof, Peter Munk, Simon Burton. 45-58 [doi]
- Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and MethodologiesPatrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider 0001, Denis Uecker, Kentaro Yoshimura. 59-72 [doi]
- A Model-Based Safety Analysis of Dependencies Across Abstraction LayersChristoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung 0001, Rasmus Adler. 73-87 [doi]
- Formal Verification of Signalling Programs with SafeCapAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. 91-106 [doi]
- Deriving and Formalising Safety and Security Requirements for Control SystemsElena Troubitsyna, Inna Vistbakka. 107-122 [doi]
- Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT SolvingTakashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini. 123-138 [doi]
- Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving FunctionsEckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer. 139-153 [doi]
- Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive IndustryMichael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu. 157-171 [doi]
- Safe and Secure Automotive Over-the-Air UpdatesThomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng. 172-187 [doi]
- Dependability Analysis of the AFDX Frame Management DesignVenesa Watson, Mahlet Bejiga. 188-202 [doi]
- Efficient On-Line Error Detection and Mitigation for Deep Neural Network AcceleratorsChristoph Schorn, Andre Guntoro, Gerd Ascheid. 205-219 [doi]
- Random Additive Control Flow Error DetectionJens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens. 220-234 [doi]
- Fault-Tolerant Clock Synchronization with Only Two Redundant PathsZoha Moztarzadeh. 235-249 [doi]
- MORE: MOdel-based REdundancy for SimulinkKai Ding, Andrey Morozov, Klaus Janschek. 250-264 [doi]
- Diversity in Open Source Intrusion Detection SystemsHafizul Asad, Ilir Gashi. 267-281 [doi]
- Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile RobotsSarah Haas, Andrea Höller, Thomas Ulz, Christian Steger. 282-296 [doi]
- Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and SignalingBernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp. 297-310 [doi]