Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, proceedings (Englisch)
- Neue Suche nach: SAFECOMP
- Weitere Informationen zu SAFECOMP:
- http://d-nb.info/gnd/1269532065
- Neue Suche nach: Trapp, Mario
- Weitere Informationen zu Trapp, Mario:
- http://d-nb.info/gnd/131764187
- Neue Suche nach: Saglietti, Francesca
- Weitere Informationen zu Saglietti, Francesca:
- http://d-nb.info/gnd/111153786
- Neue Suche nach: Spisländer, Marc
- Weitere Informationen zu Spisländer, Marc:
- http://d-nb.info/gnd/1179736966
- Neue Suche nach: Bitsch, Friedemann
- Weitere Informationen zu Bitsch, Friedemann:
- http://d-nb.info/gnd/132845091
- Neue Suche nach: SAFECOMP
- Weitere Informationen zu SAFECOMP:
- http://d-nb.info/gnd/1269532065
2022
-
ISBN:
- Konferenzband / Print
-
Titel:Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, proceedings
-
Beteiligte:Trapp, Mario ( Herausgeber:in ) / Saglietti, Francesca ( Herausgeber:in ) / Spisländer, Marc ( Herausgeber:in ) / Bitsch, Friedemann ( Herausgeber:in ) / SAFECOMP ( Autor:in )
-
Kongress:SAFECOMP ; 41 ; 2022 ; München
International Conference on Safety, Reliability, and Security of Computer-based Systems ; 41 ; 2022 ; München
SAFECOMP ; 41 ; 2022 ; Munich
International Conference on Safety, Reliability, and Security of Computer-based Systems ; 41 ; 2022 ; Munich -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham, Switzerland
-
Erscheinungsdatum:2022
-
Format / Umfang:xiii, 380 Seiten
-
Anmerkungen:24 cm
Illustrationen
Includes bibliographical references and index -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.8
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.38
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Analysing the Safety of Decision-Making in Autonomous SystemsOsborne, Matt / Hawkins, Richard / McDermid, John et al. | 2022
- 17
-
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety AnalysisMaier, Robert / Mottok, Jürgen et al. | 2022
- 31
-
Safety Certification with the Open Source Microkernel-Based Operating System L4ReLampka, Kai / Thurlby, Joel / Lackorzynskti, Adam / Hähnel, Marcus et al. | 2022
- 46
-
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and ModularizationJimenez-Roa, Lisandro Arturo / Volk, Matthias / Stoelinga, Marielle et al. | 2022
- 65
-
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract NetworksOh, Chanwook / Naik, Nikhil / Daw, Zamira / Wang, Timothy E. / Nuzzo, Pierluigi et al. | 2022
- 82
-
Automating Pattern Selection for Assurance Case Development for Cyber-Physical SystemsRamakrishna, Shreyas / Jin, Hyunjee / Dubey, Abhishek / Ramamurthy, Arun et al. | 2022
- 97
-
Generating Assurance Cases Using Workflows + ModelsAnnable, Nicholas / Chiang, Thomas / Lawford, Mark / Paige, Richard F. / Wassyng, Alan et al. | 2022
- 111
-
Uncertainty Elicitation and Propagation in GSN Models of Assurance CasesIdmessaoud, Yassir / Dubois, Didier / Guiochet, Jeremie et al. | 2022
- 129
-
Impact of Machine Learning on Safety MonitorsTerrosi, Francesco / Strigini, Lorenzo / Bondavallıi, Andrea et al. | 2022
- 144
-
Comprehensive Analysis of Software-Based Fault Tolerance ‘AA with Arithmetic Coding for Performant Encoding of Integer CalculationsFischer, Marc / Riedel, Oliver / Lechler, Armin et al. | 2022
- 158
-
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard DetectionGautham, Smitha / Bakirtzis, Georgios / Will, Alexander / Jayakumar, Athira Varma / Elks, Carl R. et al. | 2022
- 175
-
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical SystemsBajan, Pierre-Marie / Boyer, Martin / Dubois, Anouk / Letailleur, Jérôme / Mantissa, Kevin / Sobieraj, Jeremy / Tlig, Mohamed et al. | 2022
- 189
-
On the Feasibility and Performance of Secure OPC UA Communication with HoT DevicesKohnhäuser, Florian / Coppik, Nicolas / Mendoza, Francisco / Kumarti, Ankita et al. | 2022
- 207
-
SAILFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection PlatformsDietrich, Christian / Bargholz, Malte / Loeck, Yannick / Budoj, Marcel / Nedaskowskij, Luca / Lohmann, Daniel et al. | 2022
- 222
-
Quality of Fault Injection Strategies on Hardware AcceleratorGuinebert, Iban / Barrilado, Andres / Delmas, Kevin / Galtié, Franck / Pagetti, Claire et al. | 2022
- 237
-
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict RateKhan, Anamta / Jiménez, Carlos A. Chuquitarco / Pablo, Morcillo-Pallares / Ivaki, Naghmeh / Tejedor, Juan Vicente Balbastre / Madeira, Henrique et al. | 2022
- 252
-
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on AutocorrelationThomas, Tim-Marek / Dietrich, Christian / Pusz, Oskar / Lohmann, Daniel et al. | 2022
- 269
-
Formally Compensating Performance Limitations for Imprecise 2D Object DetectionSchuster, Tobias / Seferis, Emmanouil / Burton, Simon / Cheng, Chih-Hong et al. | 2022
- 284
-
Architectural Patterns for Handlıng Runtime Uncertainty of Data-Driven Models in Safety-Critical PerceptionGroß, Janek / Adler, Rasmus / Kläs, Michael / Reich, Jan / Jöckel, Lisa / Gansch, Roman et al. | 2022
- 298
-
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNsQutub, Syed / Geissler, Florian / Peng, Yang / Gräfe, Ralf / Paulitsch, Michael / Hinz, Gereon / Knoll, Alois et al. | 2022
- 319
-
Application of STPA for the Elicitation of Safety Requirements for a Machine Leaming-Based Perception Component in AutomotiveCelik, Esra Acar / Cärlan, Carmen / Abdulkhaleq, Asim / Bauer, Fridolin / Schels, Martin / Putzer, Henrik J. et al. | 2022
- 335
-
Exploring a Maximal Number of Relevant Obstacles for Testing UAVsSchmidt, Tabea / Hauer, Florian / Pretschner, Alexander et al. | 2022
- 350
-
Data-Driven Assessment of Parameterized Scenarios for Autonomous VehiclesKolb, Nicola / Hauer, Florian / Golagha, Mojdeh / Pretschner, Alexander et al. | 2022
- 365
-
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its ComponentsBishop, Peter / Povyakalo, Andrey et al. | 2022