Autor Bitsch, Friedemann
|
|
Documentos disponibles escritos por este autor (10)
Hacer una sugerencia Refinar búsqueda37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / Gallina, Barbara ; Skavhaug, Amund ; Bitsch, Friedemann
TÃtulo : 37th International Conference, SAFECOMP 2018, VästerÃ¥s, Sweden, September 19-21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Gallina, Barbara, ; Skavhaug, Amund, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXI, 312 p. 92 ilustraciones ISBN/ISSN/DL: 978-3-319-99130-6 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: Ciencias de la Computación Computadoras Propósitos especiales Red de computadoras IngenierÃa de software Protección de datos Microprogramación Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2018, celebrada en VästerÃ¥s, Suecia, en septiembre de 2018. Los 19 artÃculos completos revisados ​​y 1 artÃculo breve presentados junto con tres resúmenes de ponencias principales fueron cuidadosamente revisado y seleccionado entre 63 presentaciones. Los artÃculos están organizados en secciones temáticas sobre estándares de seguridad automotriz y potencial de reutilización entre dominios; Conducción Autónoma y Análisis de Seguridad; Verificación; Aseguramiento Multipreocupación; Tolerancia a fallos; y Riesgos de seguridad y protección. Nota de contenido: Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. 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 37th International Conference, SAFECOMP 2018, VästerÃ¥s, Sweden, September 19-21, 2018, Proceedings [documento electrónico] / Gallina, Barbara, ; Skavhaug, Amund, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXI, 312 p. 92 ilustraciones.
ISBN : 978-3-319-99130-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Computadoras Propósitos especiales Red de computadoras IngenierÃa de software Protección de datos Microprogramación Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 37.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2018, celebrada en VästerÃ¥s, Suecia, en septiembre de 2018. Los 19 artÃculos completos revisados ​​y 1 artÃculo breve presentados junto con tres resúmenes de ponencias principales fueron cuidadosamente revisado y seleccionado entre 63 presentaciones. Los artÃculos están organizados en secciones temáticas sobre estándares de seguridad automotriz y potencial de reutilización entre dominios; Conducción Autónoma y Análisis de Seguridad; Verificación; Aseguramiento Multipreocupación; Tolerancia a fallos; y Riesgos de seguridad y protección. Nota de contenido: Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. 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
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
TÃtulo : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54549-9 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 Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación CriptologÃa Seguridad de datos e información Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. 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 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color.
ISBN : 978-3-030-54549-9
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 Microprogramación CriptografÃa Cifrado de datos (Informática) Protección de datos IngenierÃa Informática y Redes Estructuras de control y microprogramación CriptologÃa Seguridad de datos e información Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artÃculos completos y 2 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantÃa de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfÃsicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Elementos de argumentos de garantÃa para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. 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
TÃtulo : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings Tipo de documento: documento electrónico Autores: Habli, Ibrahim, ; Sujan, Mark, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 278 p. 124 ilustraciones, 87 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-83903-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 IngenierÃa de software Software de la aplicacion Robótica Microprogramación Protección de datos IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Estructuras de control y microprogramación Seguridad de datos e información Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2021, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 76 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: garantÃa de seguridad del aprendizaje automático; ingenierÃa de seguridad; casos de seguridad y aseguramiento; aplicaciones de aprendizaje automático; validación y simulación de seguridad; y tolerancia a fallos. Nota de contenido: Machine Learning Safety Assurance -- Evaluation Framework for Performance Limitation under Sensor Attack -- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates -- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution -- Security Engineering -- IT design for resiliency using extreme value analysis -- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers -- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles -- Safety and Assurance Cases -- Automating the Assembly of Security Assurance Case -- Safety Case Maintenance: A Systematic Literature Review -- Towards Certified Analysis of Software Product Line Safety Cases -- Machine Learning Applications -- Safety assurance of machine learning for chassis control functions -- Safe Interaction of Automated Forklifts and Humans at Blind Cornersin a Warehouse with Infrastructure Sensors -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation and Simulation -- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems -- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator – Experience Report -- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 -- Fault Tolerance -- A Modular Approach To Non-Deterministic Dynamic Fault Trees -- Composition of Fault Forests. 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 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings [documento electrónico] / Habli, Ibrahim, ; Sujan, Mark, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 278 p. 124 ilustraciones, 87 ilustraciones en color.
ISBN : 978-3-030-83903-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 IngenierÃa de software Software de la aplicacion Robótica Microprogramación Protección de datos IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Estructuras de control y microprogramación Seguridad de datos e información Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2021, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 76 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: garantÃa de seguridad del aprendizaje automático; ingenierÃa de seguridad; casos de seguridad y aseguramiento; aplicaciones de aprendizaje automático; validación y simulación de seguridad; y tolerancia a fallos. Nota de contenido: Machine Learning Safety Assurance -- Evaluation Framework for Performance Limitation under Sensor Attack -- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates -- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution -- Security Engineering -- IT design for resiliency using extreme value analysis -- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers -- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles -- Safety and Assurance Cases -- Automating the Assembly of Security Assurance Case -- Safety Case Maintenance: A Systematic Literature Review -- Towards Certified Analysis of Software Product Line Safety Cases -- Machine Learning Applications -- Safety assurance of machine learning for chassis control functions -- Safe Interaction of Automated Forklifts and Humans at Blind Cornersin a Warehouse with Infrastructure Sensors -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation and Simulation -- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems -- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator – Experience Report -- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 -- Fault Tolerance -- A Modular Approach To Non-Deterministic Dynamic Fault Trees -- Composition of Fault Forests. 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
TÃtulo : Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 344 p. 107 ilustraciones ISBN/ISSN/DL: 978-3-319-66266-4 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: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. 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 Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [documento electrónico] / Tonetta, Stefano, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 344 p. 107 ilustraciones.
ISBN : 978-3-319-66266-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Compiladores (programas informáticos) IngenierÃa de software Protección de datos Software de la aplicacion IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Seguridad de datos e información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 36.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 22 artÃculos completos revisados ​​y dos resúmenes de ponencias magistrales presentados fueron cuidadosamente revisados ​​y seleccionados de 65 presentaciones. Los artÃculos están organizados en secciones temáticas sobre árboles de fallas dinámicas; caso de seguridad y argumentación; verificación formal; sistemas autónomos; análisis y pruebas estáticas; análisis y evaluación de la seguridad; seguridad y proteccion. Nota de contenido: Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. 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
Permalink
Permalink
Permalink
Permalink
Permalink
