Computer Safety, Reliability, and Security / Habli, Ibrahim ; Sujan, Mark ; Bitsch, Friedemann  

Público ISBD Ningún comentario para este registro. Título : Computer Safety, Reliability, and Security : 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops / Habli, Ibrahim ; Sujan, Mark ; Gerasimou, Simos ; Schoitsch, Erwin ; Bitsch, Friedemann  

Público ISBD Ningún comentario para este registro. Título : Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings Tipo de documento: documento electrónico Autores: Habli, Ibrahim, ; Sujan, Mark, ; Gerasimou, Simos, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 324 p. 119 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-83906-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería Informática  Red de computadoras  Ingeniería de software  Software de la aplicacion  Robótica  Protección de datos  Microprogramación  Ingeniería Informática y Redes  Aplicaciones informáticas y de sistemas de información  Seguridad de datos e información  Estructuras de control y microprogramación. Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2021, la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 26 artículos habituales incluidos en este volumen fueron revisados ​​cuidadosamente. y seleccionado entre 34 presentaciones. Los talleres incluidos en este volumen son: DECSoS 2021: 16.º taller sobre sistemas y sistemas de sistemas ciberfísicos e integrados inteligentes y confiables WAISE 2021: Cuarto taller internacional sobre ingeniería de seguridad de inteligencia artificial DepDevOps 2021: Segundo taller internacional sobre operaciones y desarrollo confiables Métodos continuos para sistemas ciberfísicos confiables USDAI 2021: Segundo taller internacional sobre los fundamentos de una IA distribuida segura MAPSOD 2021: Primer taller internacional sobre prácticas de aseguramiento de múltiples preocupaciones en el diseño de software. Nota de contenido: 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) -- Dependable Integration Concepts for Human-Centric AI-based Systems -- Rule-Based Threat Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach -- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems -- Synchronisation of an Automotive Multi-Concern Development Process -- Offline Access to a Vehicle via PKI-based Authentication -- HEIFU - Hexa Exterior Intelligent Flying Unit -- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes -- Formal Modelling of the Impact of Cyber Attacks on Railway Safety -- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation -- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021) -- Towards Continuous Safety Assessment in Context of DevOps -- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution -- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021) -- An Accountability Approach to Resolve Multi-stakeholder Conflicts -- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance -- Towards Assurance-Driven Architectural Decomposition of Software Systems -- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021) -- Integration of a RTT Prediction into a Multi-path Communication Gateway -- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) -- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty -- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds -- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors -- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review -- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving -- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600 -- Learning From AV Safety: Hope and Humility Shape Policy and Progress -- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems -- Certification Game for the Safety Analysis of AI-based CPS -- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems. I. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021. The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are: DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings [documento electrónico] / Habli, Ibrahim, ; Sujan, Mark, ; Gerasimou, Simos, ; Schoitsch, Erwin, ; Bitsch, Friedemann,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XV, 324 p. 119 ilustraciones, 98 ilustraciones en color. ISBN : 978-3-030-83906-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería Informática  Red de computadoras  Ingeniería de software  Software de la aplicacion  Robótica  Protección de datos  Microprogramación  Ingeniería Informática y Redes  Aplicaciones informáticas y de sistemas de información  Seguridad de datos e información  Estructuras de control y microprogramación. Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2021, la 40.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, que tuvo lugar en York, Reino Unido, en septiembre de 2021. Los 26 artículos habituales incluidos en este volumen fueron revisados ​​cuidadosamente. y seleccionado entre 34 presentaciones. Los talleres incluidos en este volumen son: DECSoS 2021: 16.º taller sobre sistemas y sistemas de sistemas ciberfísicos e integrados inteligentes y confiables WAISE 2021: Cuarto taller internacional sobre ingeniería de seguridad de inteligencia artificial DepDevOps 2021: Segundo taller internacional sobre operaciones y desarrollo confiables Métodos continuos para sistemas ciberfísicos confiables USDAI 2021: Segundo taller internacional sobre los fundamentos de una IA distribuida segura MAPSOD 2021: Primer taller internacional sobre prácticas de aseguramiento de múltiples preocupaciones en el diseño de software. Nota de contenido: 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) -- Dependable Integration Concepts for Human-Centric AI-based Systems -- Rule-Based Threat Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach -- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems -- Synchronisation of an Automotive Multi-Concern Development Process -- Offline Access to a Vehicle via PKI-based Authentication -- HEIFU - Hexa Exterior Intelligent Flying Unit -- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes -- Formal Modelling of the Impact of Cyber Attacks on Railway Safety -- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation -- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021) -- Towards Continuous Safety Assessment in Context of DevOps -- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution -- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021) -- An Accountability Approach to Resolve Multi-stakeholder Conflicts -- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance -- Towards Assurance-Driven Architectural Decomposition of Software Systems -- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021) -- Integration of a RTT Prediction into a Multi-path Communication Gateway -- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) -- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty -- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds -- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors -- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review -- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving -- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600 -- Learning From AV Safety: Hope and Humility Shape Policy and Progress -- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems -- Certification Game for the Safety Analysis of AI-based CPS -- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems. I. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021. The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are: DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200