default search action
41st SAFECOMP 2022: Munich, Germany
- Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13414, Springer 2022, ISBN 978-3-031-14834-7
Safety Analysis and Certification
- Matt Osborne, Richard Hawkins, John A. McDermid:
Analysing the Safety of Decision-Making in Autonomous Systems. 3-16 - Robert Maier, Jürgen Mottok:
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis. 17-30 - Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel:
Safety Certification with the Open Source Microkernel-Based Operating System L4Re. 31-45 - Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga:
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. 46-61
Assurance Cases
- Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo:
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. 65-81 - Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy:
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. 82-96 - Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Generating Assurance Cases Using Workflow+ Models. 97-110 - Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet:
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 111-125
Fault Detection, Monitoring and Tolerance
- Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli:
Impact of Machine Learning on Safety Monitors. 129-143 - Marc Fischer, Oliver Riedel, Armin Lechler:
Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations. 144-157 - Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks:
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. 158-172
Security and Safety
- Pierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig:
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems. 175-188 - Florian Kohnhäuser, Nicolas Coppik, Francisco Mendoza, Ankita Kumari:
On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices. 189-203
Fault Injection
- Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann:
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms. 207-221 - Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti:
Quality of Fault Injection Strategies on Hardware Accelerator. 222-236 - Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira:
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. 237-251 - Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann:
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation. 252-266
Object Detection and Perception
- Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. 269-283 - Janek Groß, Rasmus Adler, Michael Kläs, Jan Reich, Lisa Jöckel, Roman Gansch:
Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception. 284-297 - Syed Sha Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, Alois C. Knoll:
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs. 298-318 - Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer:
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. 319-332
Testing
- Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. 335-349 - Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner:
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. 350-364 - Peter Bishop, Andrey Povyakalo:
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. 365-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.