LEADER 04458nam 22006735 450 001 9910845490303321 005 20240324174232.0 010 $a3-031-56776-5 024 7 $a10.1007/978-3-031-56776-6 035 $a(MiAaPQ)EBC31229944 035 $a(Au-PeEL)EBL31229944 035 $a(DE-He213)978-3-031-56776-6 035 $a(CKB)31112658000041 035 $a(EXLCZ)9931112658000041 100 $a20240323d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDependable Computing ? EDCC 2024 Workshops$b[electronic resource] $eSafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /$fedited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (140 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2078 311 $a3-031-56775-7 327 $aWorkshop on Safe Autonomous Systems (SafeAutonomy) -- Providing Evidence For The Validity Of The Virtual Verification Of Automated Driving Systems -- What Level of Power should we give an Automation? - Adjusting the Level of Automation In HCPS -- A Physics-based Fault Tolerance Mechanism for UAVs? Flight Controller -- A Defining an Effective Context for the Safe Operation of Autonomous Systems -- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus -- STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems -- Workshop on Blockchain Technology and Artificial Intelligence in Smart Cities (TRUST IN BLOCKCHAIN) -- Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networks -- On the application of blockchain technology in microgrids -- Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combat Falsified PMU Data -- Legal Framework on Trustworthy Artificial Intelligence and Blockchain Technology Application -- An Exploratory Study on Trust in Blockchain-Enabled Energy Trading -- Inspecting Bridges and Critical Infrastructure: an AI and Blockchain. 330 $aThis book constitutes the refereed proceedings of Workshops held at the 19th European Dependable Computing Conference, EDCC 2024: First Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and the First Workshop on the Role of TRUST in the implementation of Digital Technologies: Blockchain Technology and Artificial Intelligence in Smart Cities, TRUST IN BLOCKCHAIN 2024. The 13 workshop papers presented in this book were thoroughly reviewed and selected from 14 submissions. The TRUST IN BLOCKCHAIN workshop accepted extended abstract submissions, whereas the SafeAutonomy workshop accepted regular technical papers, case studies, PhD forum papers, as well as position papers. They deal with latest research results on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable and secure computing systems. . 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2078 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputers, Special purpose 606 $aComputer networks 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputers, Special purpose. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 676 $a005.1 700 $aSangchoolie$b Behrooz$01734316 701 $aAdler$b Rasmus$01734317 701 $aHawkins$b Richard$0557010 701 $aSchleiss$b Philipp$01734318 701 $aArteconi$b Alessia$01328656 701 $aMancini$b Adriano$01734319 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910845490303321 996 $aDependable Computing ? EDCC 2024 Workshops$94151164 997 $aUNINA