| Description |
1 online resource : illustrations (some color) |
| Series |
LNCS sublibrary. SL2 - Programming and software engineering |
|
Lecture notes in computer science ; 11698 |
|
LNCS sublibrary. SL 2, Programming and software engineering
|
|
Lecture notes in computer science ; 11698
|
| 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 |
| Summary |
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 were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. -- Provided by publisher |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed September 16, 2019) |
| Subject |
Application software -- Security measures -- Congresses
|
|
Computer logic -- Congresses.
|
|
Computer organization -- Congresses
|
|
Computer security -- Congresses.
|
|
Programming languages (Electronic computers) -- Congresses.
|
|
Software engineering -- Congresses.
|
|
Computer logic.
|
|
Computer organization.
|
|
Computer security.
|
|
Programming languages (Electronic computers)
|
|
Software engineering.
|
| Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
| Form |
Electronic book
|
| Author |
Bitsch, Friedemann, editor.
|
|
Romanovsky, Alexander, 1954- editor.
|
|
Troubitsyna, Elena (Elena A.), 1970- editor.
|
| ISBN |
3030266001 |
|
303026601X |
|
3030266028 |
|
9783030266004 |
|
9783030266011 |
|
9783030266028 |
|
