Dependable Computing – EDCC 2022 Workshops. SERENE, DREAMS, AI4RAILS Zaragoza, Spain, September 12, 2022 Proceedings

Description

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