國立虎尾科技大學 |

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops/ edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch.
其他題名:	DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
其他作者:	Bitsch, Friedemann.
面頁冊數:	XV, 324 p. 119 illus., 98 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Control Structures and Microprogramming. -
電子資源:	https://doi.org/10.1007/978-3-030-83906-2
ISBN:	9783030839062

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
Computer Safety, Reliability, and Security. SAFECOMP 2021 WorkshopsDECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /[electronic resource] :edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch. - 1st ed. 2021. - XV, 324 p. 119 illus., 98 illus. in color.online resource. - Programming and Software Engineering,128532945-9168 ;. - Programming and Software Engineering,12857.

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.

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.

ISBN: 9783030839062

Standard No.: 10.1007/978-3-030-83906-2doiSubjects--Topical Terms:

669788
Control Structures and Microprogramming.

LC Class. No.: TK7885-7895

Dewey Class. No.: 621.39

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
LDR:05150nam a22004335i 4500 001 1059047
003 DE-He213
005 20220311194654.0
007 cr nn 008mamaa
008 220414s2021 sz | s |||| 0|eng d
020 $a 9783030839062 $9 978-3-030-83906-2
024 7 $a 10.1007/978-3-030-83906-2 $2 doi
035 $a 978-3-030-83906-2
050 4 $a TK7885-7895
050 4 $a TK5105.5-5105.9
072 7 $a UK $2 bicssc
072 7 $a COM043000 $2 bisacsh
072 7 $a UK $2 thema
082 0 4 $a 621.39 $2 23
082 0 4 $a 004.6 $2 23
245 1 0 $a Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops $h [electronic resource] : $b DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / $c edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XV, 324 p. 119 illus., 98 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering, $x 2945-9168 ; $v 12853
505 0 $a 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.
520 $a 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.
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Data and Information Security. $3 1365785
650 2 4 $a Computer and Information Systems Applications. $3 1365732
650 2 4 $a Software Engineering. $3 669632
650 1 4 $a Computer Engineering and Networks. $3 1365733
650 0 $a Microprogramming . $3 1257366
650 0 $a Data protection. $3 557764
650 0 $a Robotics. $3 561941
650 0 $a Application software. $3 528147
650 0 $a Software engineering. $3 562952
650 0 $a Computer networks . $3 1365720
650 0 $a Computer engineering. $3 569006
700 1 $a Bitsch, Friedemann. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1078146
700 1 $a Schoitsch, Erwin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1199879
700 1 $a Gerasimou, Simos. $e editor. $1 https://orcid.org/0000-0002-2706-5272 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350884
700 1 $a Sujan, Mark. $e editor. $1 https://orcid.org/0000-0001-6895-946X $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350755
700 1 $a Habli, Ibrahim. $e editor. $1 https://orcid.org/0000-0003-2736-8238 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350754
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030839055
776 0 8 $i Printed edition: $z 9783030839079
830 0 $a Programming and Software Engineering, $x 2945-9168 ; $v 12857 $3 1365731
856 4 0 $u https://doi.org/10.1007/978-3-030-83906-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)