Dependable Computing – EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings

This 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 Techno...

Full description

Bibliographic Details
Other Authors: Sangchoolie, Behrooz (Editor), Adler, Rasmus (Editor), Hawkins, Richard (Editor), Schleiss, Philipp (Editor)
Format: eBook
Language:English
Published: Cham Springer Nature Switzerland 2024, 2024
Edition:1st ed. 2024
Series:Communications in Computer and Information Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 03581nmm a2200385 u 4500
001 EB002200818
003 EBX01000000000000001338021
005 00000000000000.0
007 cr|||||||||||||||||||||
008 240403 ||| eng
020 |a 9783031567766 
100 1 |a Sangchoolie, Behrooz  |e [editor] 
245 0 0 |a Dependable Computing – EDCC 2024 Workshops  |h Elektronische Ressource  |b SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings  |c edited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini 
250 |a 1st ed. 2024 
260 |a Cham  |b Springer Nature Switzerland  |c 2024, 2024 
300 |a XII, 131 p. 32 illus., 25 illus. in color  |b online resource 
505 0 |a Workshop 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 
653 |a Computer Communication Networks 
653 |a Software engineering 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Artificial intelligence 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Adler, Rasmus  |e [editor] 
700 1 |a Hawkins, Richard  |e [editor] 
700 1 |a Schleiss, Philipp  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Communications in Computer and Information Science 
028 5 0 |a 10.1007/978-3-031-56776-6 
856 4 0 |u https://doi.org/10.1007/978-3-031-56776-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a This 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.