Computer safety, reliability, and security : 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings /: 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings. ([2019])
- Record Type:
- Book
- Title:
- Computer safety, reliability, and security : 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings /: 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings. ([2019])
- Main Title:
- Computer safety, reliability, and security : 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings
- Further Information:
- Note: Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch (eds.).
- Editors:
- Romanovsky, Alexander, 1954-
Troubitsyna, Elena (Elena A.), 1970-
Bitsch, Friedemann - Other Names:
- International Conference on Computer Safety, Reliability, and Security, 38th
- Contents:
- 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.- PracticalFormal 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. … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2019
- Copyright Date:
- 2019
- Extent:
- 1 online resource, illustrations (some color)
- Subjects:
- 005.8
Computer security -- Congresses
Computer organization -- Congresses
Software engineering -- Congresses
Programming languages (Electronic computers) -- Congresses
Computer logic -- Congresses
Application software -- Security measures -- Congresses
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783030266011
- Related ISBNs:
- 303026601X
9783030266004 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed September 16, 2019).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.454209
- Ingest File:
- 02_591.xml