SAFECOMP B

25 papers

YearTitle / Authors
2022ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation.
Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann
2022ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
2022Analysing the Safety of Decision-Making in Autonomous Systems.
Matt Osborne, Richard Hawkins, John A. McDermid
2022Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive.
Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer
2022Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception.
Janek Groß, Rasmus Adler, Michael Kläs, Jan Reich, Lisa Jöckel, Roman Gansch
2022Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate.
Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira
2022Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems.
Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy
2022BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis.
Robert Maier, Jürgen Mottok
2022Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations.
Marc Fischer, Oliver Riedel, Armin Lechler
2022Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings
Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
2022Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles.
Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner
2022Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization.
Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga
2022Exploring a Maximal Number of Relevant Obstacles for Testing UAVs.
Tabea Schmidt, Florian Hauer, Alexander Pretschner
2022Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022Generating Assurance Cases Using Workflow
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2022Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs.
Syed Sha Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, Alois C. Knoll
2022Impact of Machine Learning on Safety Monitors.
Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli
2022On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices.
Florian Kohnhäuser, Nicolas Coppik, Francisco Mendoza, Ankita Kumari
2022Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components.
Peter Bishop, Andrey Povyakalo
2022Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems.
Pierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig
2022Quality of Fault Injection Strategies on Hardware Accelerator.
Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti
2022STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
2022Safety Certification with the Open Source Microkernel-Based Operating System L4Re.
Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel
2022SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms.
Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann
2022Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases.
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet