Buch, Englisch, 284 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Buch, Englisch, 284 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-40922-6
Verlag: Springer Nature Switzerland
The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Angewandte Informatik
Weitere Infos & Material
Safety Assurance.- Assurance Case Arguments in the Large – CERN LHC Machine Protection System.- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments.- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.- Software Testing & Reliability.- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study.- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry.- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics.- Neural Networks Robustness & Monitoring.- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks.- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.- Model-based Security and Threat Analysis.- Model-based Generation of Attack-Fault Trees.- MBTA: A Model-Based Threat Analysis approach for software architectures.- Attribute Repair for Threat Prevention.- Safety of Autonomous Driving.- Probabilistic Spatial Relations for Monitoring Behavior of Road Users.- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems.- Security Engineering.- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures.- AI Safety.- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems.- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products.- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference.- Neural Networks & Testing.- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection.- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.
