Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings /

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They wer...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Romanovsky, Alexander (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Troubitsyna, Elena (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bitsch, Friedemann (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Programming and Software Engineering ; 11698
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Formal Verification
  • Towards Zero Alarms in Sound Static Analysis of Finite State Machines
  • Graceful Degradation Design Process for Autonomous Driving System
  • Formal Verification of Memory Preservation of x86-64 Binaries
  • Autonomous Driving
  • Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits
  • Fitness Functions for Testing Automated and Autonomous Driving Systems
  • A SysML Profile for Fault Trees - linking safety models to system design
  • Safety and Reliability Modeling
  • Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
  • Forecast Horizon for Automated Safety Actions in Automated Driving Systems
  • Digital Forensics in Industrial Control Systems
  • Security Engineering and Risk Assessment
  • Efficient Model-level Reliability Analysis of Simulink Models
  • Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics
  • A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems
  • Safety Argumentation
  • BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact
  • Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
  • Dynamic risk assessment enabling automated interventions for medical cyber-physical systems
  • Verification and Validation of Autonomous Systems
  • Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems
  • Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety
  • Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities
  • Interactive Systems and Design Validation
  • SafeDeML: On Integrating the Safety Design into the System Model
  • Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks
  • Devil's in the detail: Through-life safety and security co-assurance using SSAF.