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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.