Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security portes grátis

Computer Safety, Reliability, and Security

42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Guiochet, Jeremie; Bitsch, Friedemann; Tonetta, Stefano

Springer International Publishing AG

08/2023

284

Mole

Inglês

9783031409226

15 a 20 dias

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
fault detection and recovery mechanisms;distributed and real-time monitoring and control;safety/security risk assessment;model-based analysis, design, and assessment;formal methods for verification, validation, and fault tolerance;probabilistic verification and validation;in-the-loop and model-based testing;architecture-driven assurance of safety and security;methods for qualification, assurance and certification;cyber physical threats and vulnerability analysis;dependability analysis;security and privacy protection mechanisms