001439229 000__ 07087cam\a2200793\i\4500 001439229 001__ 1439229 001439229 003__ OCoLC 001439229 005__ 20230309004417.0 001439229 006__ m\\\\\o\\d\\\\\\\\ 001439229 007__ cr\un\nnnunnun 001439229 008__ 210828s2021\\\\sz\\\\\\o\\\\\101\0\eng\d 001439229 020__ $$a9783030839062$$q(electronic bk.) 001439229 020__ $$a3030839060$$q(electronic bk.) 001439229 020__ $$z9783030839055 001439229 0247_ $$a10.1007/978-3-030-83906-2$$2doi 001439229 035__ $$aSP(OCoLC)1265464612 001439229 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dNOC$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ 001439229 049__ $$aISEA 001439229 050_4 $$aQA76.9.A25 001439229 08204 $$a005.8$$223 001439229 1112_ $$aSAFECOMP (Conference)$$n(40th :$$d2021 :$$cYork, England) 001439229 24510 $$aComputer safety, reliability, and security :$$bSAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /$$cIbrahim Habli, et al. 001439229 2463_ $$aSAFECOMP 2021 001439229 264_1 $$aCham :$$bSpringer,$$c2021. 001439229 300__ $$a1 online resource (335 pages) 001439229 336__ $$atext$$btxt$$2rdacontent 001439229 337__ $$acomputer$$bc$$2rdamedia 001439229 338__ $$aonline resource$$bcr$$2rdacarrier 001439229 4901_ $$aLecture Notes in Computer Science ;$$v12853 001439229 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering 001439229 500__ $$a"The workshops were organized as online (virtual) events because of uncertainties around COVID-19 restrictions."--Preface 001439229 500__ $$aIncludes author index. 001439229 5050_ $$a16th 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. 001439229 506__ $$aAccess limited to authorized users. 001439229 520__ $$aThis 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. 001439229 650_0 $$aComputer security$$vCongresses. 001439229 650_0 $$aComputer organization$$vCongresses. 001439229 650_0 $$aSoftware engineering$$vCongresses. 001439229 650_0 $$aProgramming languages (Electronic computers)$$vCongresses. 001439229 650_0 $$aComputer logic$$vCongresses. 001439229 650_0 $$aApplication software$$xSecurity measures$$vCongresses. 001439229 650_6 $$aSécurité informatique$$vCongrès. 001439229 650_6 $$aOrdinateurs$$xConception et construction$$vCongrès. 001439229 650_6 $$aGénie logiciel$$vCongrès. 001439229 650_6 $$aLogique informatique$$vCongrès. 001439229 650_6 $$aLogiciels d'application$$xSécurité$$xMesures$$vCongrès. 001439229 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772 001439229 655_7 $$aConference papers and proceedings.$$2lcgft 001439229 655_7 $$aActes de congrès.$$2rvmgf 001439229 655_0 $$aElectronic books. 001439229 7001_ $$aHabli, Ibrahim,$$eeditor. 001439229 7001_ $$aSujan, Mark,$$eeditor. 001439229 7001_ $$aGerasimou, Simos,$$eeditor. 001439229 7001_ $$aSchoitsch, Erwin,$$eeditor. 001439229 7001_ $$aBitsch, Friedemann,$$eeditor. 001439229 7112_ $$aDECSoS (Workshop)$$n(16th :$$d2021 :$$cOnline)$$jjointly held conference. 001439229 7112_ $$aMAPSOD (Workshop)$$n(1st :$$d2021 :$$cOnline)$$jjointly held conference. 001439229 7112_ $$aDepDevOps (Workshop)$$n(2nd :$$d2021 :$$cOnline)$$jjointly held conference. 001439229 7112_ $$aUSDAI (Workshop)$$n(2nd :$$d2021 :$$cOnline)$$jjointly held conference. 001439229 7112_ $$aWAISE (Workshop)$$n(4th :$$d2021 :$$cOnline)$$jjointly held conference. 001439229 77608 $$iPrint version:$$aHabli, Ibrahim.$$tComputer Safety, Reliability, and Security. SAFECOMP 2021 Workshops.$$dCham : Springer International Publishing AG, ©2021$$z9783030839055 001439229 830_0 $$aLecture notes in computer science ;$$v12853. 001439229 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering. 001439229 852__ $$bebk 001439229 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-83906-2$$zOnline Access$$91397441.1 001439229 909CO $$ooai:library.usi.edu:1439229$$pGLOBAL_SET 001439229 980__ $$aBIB 001439229 980__ $$aEBOOK 001439229 982__ $$aEbook 001439229 983__ $$aOnline 001439229 994__ $$a92$$bISE