Abstract is missing.
- Analysing the Safety of Decision-Making in Autonomous SystemsMatt Osborne, Richard Hawkins, John Alexander McDermid. 3-16 [doi]
- BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety AnalysisRobert Maier, Jürgen Mottok. 17-30 [doi]
- Safety Certification with the Open Source Microkernel-Based Operating System L4ReKai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel. 31-45 [doi]
- Data-Driven Inference of Fault Tree Models Exploiting Symmetry and ModularizationLisandro Arturo Jimenez-Roa, Matthias Volk 0001, Mariëlle Stoelinga. 46-61 [doi]
- ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract NetworksChanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo. 65-81 [doi]
- Automating Pattern Selection for Assurance Case Development for Cyber-Physical SystemsShreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy. 82-96 [doi]
- + ModelsNicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng. 97-110 [doi]
- Uncertainty Elicitation and Propagation in GSN Models of Assurance CasesYassir Idmessaoud, Didier Dubois, Jérémie Guiochet. 111-125 [doi]
- Impact of Machine Learning on Safety MonitorsFrancesco Terrosi, Lorenzo Strigini, Andrea Bondavalli. 129-143 [doi]
- Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer CalculationsMarc Fischer, Oliver Riedel, Armin Lechler. 144-157 [doi]
- STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard DetectionSmitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks. 158-172 [doi]
- Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical SystemsPierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig. 175-188 [doi]
- On the Feasibility and Performance of Secure OPC UA Communication with IIoT DevicesFlorian Kohnhäuser, Nicolas Coppik, Francisco Mendoza, Ankita Kumari. 189-203 [doi]
- SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection PlatformsChristian Dietrich 0001, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann. 207-221 [doi]
- Quality of Fault Injection Strategies on Hardware AcceleratorIban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti. 222-236 [doi]
- Assessment of the Impact of U-space Faulty Conditions on Drones Conflict RateAnamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira. 237-251 [doi]
- ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on AutocorrelationTim-Marek Thomas, Christian Dietrich 0001, Oskar Pusz, Daniel Lohmann. 252-266 [doi]
- Formally Compensating Performance Limitations for Imprecise 2D Object DetectionTobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng. 269-283 [doi]
- Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical PerceptionJanek Groß, Rasmus Adler, Michael Kläs, Jan Reich, Lisa Jöckel, Roman Gansch. 284-297 [doi]
- Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNsSyed Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, Alois C. Knoll. 298-318 [doi]
- Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in AutomotiveEsra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer. 319-332 [doi]
- Exploring a Maximal Number of Relevant Obstacles for Testing UAVsTabea Schmidt, Florian Hauer 0002, Alexander Pretschner. 335-349 [doi]
- Data-Driven Assessment of Parameterized Scenarios for Autonomous VehiclesNicola Kolb, Florian Hauer 0002, Mojdeh Golagha, Alexander Pretschner. 350-364 [doi]
- Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its ComponentsPeter Bishop 0001, Andrey Povyakalo. 365-378 [doi]