|
|
|
|
| LEADER |
05605nam a22006015i 4500 |
| 001 |
978-3-030-26601-1 |
| 003 |
DE-He213 |
| 005 |
20210705134340.0 |
| 007 |
cr nn 008mamaa |
| 008 |
190807s2019 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030266011
|9 978-3-030-26601-1
|
| 024 |
7 |
|
|a 10.1007/978-3-030-26601-1
|2 doi
|
| 050 |
|
4 |
|a QA76.9.C643
|
| 050 |
|
4 |
|a TK5105.5-5105.9
|
| 072 |
|
7 |
|a UT
|2 bicssc
|
| 072 |
|
7 |
|a COM043000
|2 bisacsh
|
| 072 |
|
7 |
|a UT
|2 thema
|
| 082 |
0 |
4 |
|a 004.6
|2 23
|
| 245 |
1 |
0 |
|a Computer Safety, Reliability, and Security
|h [electronic resource] :
|b 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
|c edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch.
|
| 250 |
|
|
|a 1st ed. 2019.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2019.
|
| 300 |
|
|
|a XXI, 316 p. 320 illus., 92 illus. in color.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering ;
|v 11698
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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. .
|
| 650 |
|
0 |
|a Computer organization.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Optical data processing.
|
| 650 |
|
0 |
|a Microprogramming .
|
| 650 |
1 |
4 |
|a Computer Systems Organization and Communication Networks.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I13006
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I21000
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I14002
|
| 650 |
2 |
4 |
|a Image Processing and Computer Vision.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I22021
|
| 650 |
2 |
4 |
|a Control Structures and Microprogramming.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I12018
|
| 700 |
1 |
|
|a Romanovsky, Alexander.
|e editor.
|0 (orcid)0000-0002-4076-3331
|1 https://orcid.org/0000-0002-4076-3331
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Troubitsyna, Elena.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Bitsch, Friedemann.
|e editor.
|0 (orcid)0000-0001-6152-4121
|1 https://orcid.org/0000-0001-6152-4121
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer Nature eBook
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030266004
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030266028
|
| 830 |
|
0 |
|a Programming and Software Engineering ;
|v 11698
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-26601-1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-SXCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (SpringerNature-11645)
|
| 950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|
