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
• 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.- 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.
• 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.