06498nam 2200493 450 99649036500331620230206163959.03-031-16245-5(MiAaPQ)EBC7083161(Au-PeEL)EBL7083161(CKB)24814903500041(PPN)264954807(EXLCZ)992481490350004120230206d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDependable computing - EDCC 2022 workshops SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, proceedings /Stefano Marrone [and eight others], editorsCham, Switzerland :Springer Nature Switzerland AG,[2022]©20221 online resource (161 pages)Communications in computer and information science ;1656Print version: Marrone, Stefano Dependable Computing - EDCC 2022 Workshops Cham : Springer International Publishing AG,c2022 9783031162442 Intro -- Preface -- Organization -- Workshop Editors -- Contents -- Workshop on Software Engineering for Resilient Systems (SERENE) -- International Workshop on Software Engineering for Resilient Systems (SERENE) -- Workshop Description -- Organization -- General Chairs -- Steering Committee -- Organizing Committee -- Program Committee -- Web Chair -- AuditTrust: Blockchain-Based Audit Trail for Sharing Data in a Distributed Environment -- 1 Introduction -- 2 Use Case: Problem Statement and Motivation -- 3 Related Work -- 4 AuditTrust: Design and Reference Architecture -- 4.1 Reference Architecture -- 4.2 Security Mechanisms -- 5 Prototype Implementation and Evaluation -- 5.1 Evaluation -- 6 Conclusion -- References -- Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering -- 1 Introduction -- 2 Multi-layered System Conceptual Model -- 3 Logical Specification -- 3.1 Formal Syntax for Multi-layered System Specification and Properties -- 3.2 Safety and Security Interplay -- 4 Formal Specification and Analysis in Event-B -- 5 Related Work and Positioning -- 6 Conclusion and Perspectives -- References -- Workshop on Dynamic Risk managEment for Autonomous Systems (DREAMS) -- First Workshop on Dynamic Risk managEment for AutonoMous Systems (DREAMS) -- Workshop Description -- Organization -- Program Chairs -- Program Committee -- Additional Reviewer -- Case Study Analysis of STPA as Basis for Dynamic Safety Assurance of Autonomous Systems -- 1 Introduction -- 2 STAMP and STPA -- 3 Application and Results -- 4 Requirement Analysis -- 5 Conclusion -- References -- Continuous, Systematic Risk Mapping of Roads as an Input for Dynamic Risk Management (DRM) in Autonomous Systems -- 1 Germany-Wide EDDA+ Road Hazard Map - Data Sources and Method of Calculation -- 2 Data Usage for EDDA+ Road Hazard Map.2.1 Use Cases for Autonomous Driving -- 2.2 Further Use Cases for Road Users and Industry -- 2.3 Use Cases for Local Authorities and the Police -- 2.4 Current Developments of EDDA+ -- 3 Project Partners -- References -- Workshop on Artificial Intelligence for RAILwayS (AI4RAILS) -- Workshop on Artificial Intelligence for RAILwayS (AI4RAILS) -- Workshop Description -- Organization -- Workshop Chairs and Organizers -- Steering Committee -- Technical Program Committee -- A Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Operations with an Emphasis on Data -- 1 Introduction -- 2 Methodology -- 3 Literature Review -- 3.1 Papers Overview -- 3.2 Papers Review -- 4 Discussion -- 5 Conclusion -- References -- Synthetic Data Generation for Condition Monitoring of Railway Switches -- 1 Introduction -- 1.1 Motivation: Anomaly Detection for Railway Switches -- 1.2 Challenge: Sampling from a Complex High-Dimensional Distribution -- 2 Generation Method and Hyperparameters -- 2.1 Method Description -- 2.2 Hyperparameters -- 3 Applications -- 3.1 Scenario 1: Replicate the Observed Distribution -- 3.2 Scenario 2: Extrapolate to Unseen Temperatures -- 4 Discussion -- References -- AID4TRAIN: Artificial Intelligence-Based Diagnostics for TRAins and INdustry 4.0 -- 1 Introduction -- 2 Problem Statement -- 3 Proposed Framework -- 4 The AI-Based Log Analyzer -- 5 Preliminary Case Study -- 6 Related Work -- 7 Conclusion -- References -- Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines -- 1 Introduction -- 2 Digital Twins -- 3 An Overview of DTs and AI in Railways -- 4 Challenges and Open Issues -- 5 Guidelines for DT Design -- 6 Conclusions -- References -- A K-Prototype Clustering Assisted Hybrid Heuristic Approach for Train Unit Scheduling -- 1 Introduction -- 2 Literature Review.2.1 Rolling Stock Scheduling -- 2.2 Hybrid Heuristics -- 2.3 K-Prototype Clustering -- 3 Problem Description -- 4 Methodology -- 5 Computational Experiments -- 6 Conclusions and Future Research -- References -- ACC Fuzzy-Based Control Architecture for Multi-body High-Speed Trains with Active Inter-cars Couplers -- 1 Introduction -- 2 System Description and Problem Statement -- 2.1 Multi-body High-Speed Train Dynamics -- 2.2 Control Objective -- 3 ACC Fuzzy-Based Control Architecture -- 3.1 ACC Control Strategy -- 3.2 Anti-fluctuation Fuzzy-Based PI Controller -- 4 Numerical Results -- 4.1 Comparison Analysis -- 5 Conclusions -- References -- Onboard Sensor Systems for Automatic Train Operation -- 1 Introduction -- 2 Requirements from Existing Regulations for Perception Tasks of Train Drivers in Germany -- 3 AI-Specific Requirements for Training and Testing Data -- 3.1 Camera -- 3.2 LiDAR -- 4 Specification of a Sensor System for ATO Research -- 5 Conclusion -- References -- Author Index.Communications in computer and information science ;1656.Fault-tolerant computingCongressesSoftware engineeringCongressesElectronic digital computersReliabilityCongressesFault-tolerant computingSoftware engineeringElectronic digital computersReliability004.16Marrone StefanoMiAaPQMiAaPQMiAaPQBOOK996490365003316Dependable computing - EDCC 2022 workshops3008867UNISA