40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / Habli, Ibrahim ; Sujan, Mark ; Bitsch, Friedemann  

Público ISBD Ningún comentario para este registro. 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

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. 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 Índice Dewey: 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. 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. 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. 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 Índice Dewey: 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. 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200