000 06485nam a22006975i 4500
001 978-3-030-83906-2
003 DE-He213
005 20240730165959.0
007 cr nn 008mamaa
008 210805s2021 sz | s |||| 0|eng d
020 _a9783030839062
_9978-3-030-83906-2
024 7 _a10.1007/978-3-030-83906-2
_2doi
050 4 _aTK7885-7895
050 4 _aTK5105.5-5105.9
072 7 _aUK
_2bicssc
072 7 _aCOM067000
_2bisacsh
072 7 _aUK
_2thema
082 0 4 _a621.39
_223
082 0 4 _a004.6
_223
245 1 0 _aComputer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
_h[electronic resource] :
_bDECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
_cedited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXV, 324 p. 119 illus., 98 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12853
505 0 _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.
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.
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aApplication software.
_991479
650 0 _aRobotics.
_92393
650 0 _aData protection.
_97245
650 0 _aMicroprogramming .
_932081
650 1 4 _aComputer Engineering and Networks.
_991480
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer and Information Systems Applications.
_991481
650 2 4 _aRobotics.
_92393
650 2 4 _aData and Information Security.
_931990
650 2 4 _aControl Structures and Microprogramming.
_932083
700 1 _aHabli, Ibrahim.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_991482
700 1 _aSujan, Mark.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_991483
700 1 _aGerasimou, Simos.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_991484
700 1 _aSchoitsch, Erwin.
_eeditor.
_0(orcid)
_10000-0002-0335-5443
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_991485
700 1 _aBitsch, Friedemann.
_eeditor.
_0(orcid)
_10000-0001-6152-4121
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_991486
710 2 _aSpringerLink (Online service)
_991487
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030839055
776 0 8 _iPrinted edition:
_z9783030839079
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12853
_991488
856 4 0 _uhttps://doi.org/10.1007/978-3-030-83906-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86659
_d86659