Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (226 pages) |
Disciplina | 006.3 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
ISBN | 3-030-58462-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
Record Nr. | UNISA-996465368803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (226 pages) |
Disciplina |
006.3
005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
ISBN | 3-030-58462-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
Record Nr. | UNINA-9910416078503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable computing - EDCC 2022 workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, proceedings / / Stefano Marrone [and eight others], editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
Descrizione fisica | 1 online resource (161 pages) |
Disciplina | 004.16 |
Collana | Communications in computer and information science |
Soggetto topico |
Fault-tolerant computing
Software engineering Electronic digital computers - Reliability |
ISBN | 3-031-16245-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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. |
Record Nr. | UNINA-9910592988303321 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable computing - EDCC 2022 workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, proceedings / / Stefano Marrone [and eight others], editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
Descrizione fisica | 1 online resource (161 pages) |
Disciplina | 004.16 |
Collana | Communications in computer and information science |
Soggetto topico |
Fault-tolerant computing
Software engineering Electronic digital computers - Reliability |
ISBN | 3-031-16245-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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. |
Record Nr. | UNISA-996490365003316 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|