Titlebook: Dependable Computing – EDCC 2022 Workshops; SERENE, DREAMS, AI4R Stefano Marrone,Martina De Sanctis,Valeria Vittori Conference proceedings

archenemy

A K-Prototype Clustering Assisted Hybrid Heuristic Approach for Train Unit Scheduling. The capabilities of this framework were tested by real-world cases from UK train operating companies and compared with the results from running an exact integer solver. Preliminary results indicate the proposed methodology achieves the same optimal solutions as the exact solver for small instances

责怪

有抱负者

Stefano Marrone,Martina De Sanctis,Valeria Vittori

Irritate

不透明

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering phases of the System Engineering (SE) process. Particularly, in the design phase, safety and security requirements should cascade down across different system views till the architectural design. However, such an enrichment process is often complex and lacks guidance to precisely specify the corres

DEFER

Case Study Analysis of STPA as Basis for Dynamic Safety Assurance of Autonomous Systems safety of these systems remains extremely challenging. Previously, the concept of dynamic safety cases (DSCs), ConSerts and runtime monitoring frameworks have been presented as an engineering solution for through-life safety assurance. However, these techniques will (initially) be only as good as t

NAUT

单挑

A Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Opeally the subdomain of railway maintenance. We have analyzed the state of the art of AI applied to the railway industry by conducting an extensive literature review, summarizing different tasks and problems belonging to railway maintenance and common AI-based models implemented for their solution. Wi

绑架

Synthetic Data Generation for Condition Monitoring of Railway Switchesllenge to collect a sufficient amount of such data. An alternative is to artificially generate realistic data based on training examples. In this paper we present a method for generating the electric current time series produced by railway switch engines during switch-blades repositioning. In practi

Entrancing

AID4TRAIN: Artificial Intelligence-Based Diagnostics for TRAins and INdustry 4.0ypically lead to multiple reported errors that propagate to other components, the analysts’ work is hardened by digging in cascading diagnostic messages. Root cause analysis can help to pinpoint faults from the failures occurred during system operation but it is unpractical for complex systems, espe