Computer Safety, Reliability, and Security

43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings

Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch (Herausgeber)

Buch | Softcover

XVII, 316 Seiten

2024 | 2024
Springer International Publishing (Verlag)
978-3-031-68605-4 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.

The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have been organized in topical sections as follows: Fault Injection and Tolerance; System and Software Safety Assurance; Automated Driving Systems; Security of safety-critical systems; Safety Verification; and Autonomous Systems.

Erscheinungsdatum	23.08.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XVII, 316 p. 124 illus., 89 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
Schlagworte	Dependability analysis using simulation & experimental measures • distributed and real-time monitoring and control • fault detection and recovery mechanisms • Fault-tolerant and resilient hardware and software architectures • Formal methods for verification, validation, and fault tolerance • Model-based analysis, design, and assessment • multi-concern dependability assurance and standardization • Risk assessment in safe and secure systems • Safety and security assurance and certification • Safety and security qualification, quantification • Safety guidelines and standards • Safety-related applications • Safety/security co-engineering and tradeoffs • security & privacy protection mechanisms for safety applications • Testing, verification, and validation methodologies and tools • Threats and vulnerability analysis
ISBN-10	3-031-68605-5 / 3031686055
ISBN-13	978-3-031-68605-4 / 9783031686054
Zustand	Neuware