Computer Safety, Reliability, and Security
Editat de Jérémie Guiochet, Stefano Tonetta, Friedemann Bitschen Limba Engleză Paperback – 11 aug 2023
Preț: 403.42 lei
Preț vechi: 504.27 lei
-20% Nou
Puncte Express: 605
Preț estimativ în valută:
71.37€ • 83.28$ • 62.40£
71.37€ • 83.28$ • 62.40£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031409226
ISBN-10: 3031409221
Pagini: 304
Ilustrații: XVII, 284 p. 113 illus., 82 illus. in color.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1st edition 2023
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031409221
Pagini: 304
Ilustrații: XVII, 284 p. 113 illus., 82 illus. in color.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1st edition 2023
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
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.