Título :	38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Tipo de documento:	documento electrónico
Autores:	Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2019
Número de páginas:	XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-26601-1
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ingeniería Informática  Red de computadoras  Inteligencia artificial  Ingeniería de software  Visión por computador  Microprogramación  Ingeniería Informática y Redes  Estructuras de control y microprogramación
Índice Dewey:	621.39 Ciencia de los computadores (Ingenieria de computadores)
Resumen:	Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artículos completos y 5 artículos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingeniería de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. .
Nota de contenido:	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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-26601-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ingeniería Informática  Red de computadoras  Inteligencia artificial  Ingeniería de software  Visión por computador  Microprogramación  Ingeniería Informática y Redes  Estructuras de control y microprogramación
Índice Dewey:	621.39 Ciencia de los computadores (Ingenieria de computadores)
Resumen:	Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artículos completos y 5 artículos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingeniería de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. .
Nota de contenido:	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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i