Computer Safety, Reliability, and Security
Springer International Publishing (Verlag)
978-3-031-40922-6 (ISBN)
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.
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.
| Erscheinungsdatum | 12.08.2023 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XVII, 284 p. 113 illus., 82 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 468 g |
| Themenwelt | Informatik ► Weitere Themen ► Hardware |
| Schlagworte | architecture-driven assurance of safety and security • cyber physical threats and vulnerability analysis • Dependability analysis • distributed and real-time monitoring and control • fault detection and recovery mechanisms • Formal methods for verification, validation, and fault tolerance • in-the-loop and model-based testing • methods for qualification, assurance and certification • Model-based analysis, design, and assessment • probabilistic verification and validation • safety/security risk assessment • security and privacy protection mechanisms |
| ISBN-10 | 3-031-40922-1 / 3031409221 |
| ISBN-13 | 978-3-031-40922-6 / 9783031409226 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
