Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

  title={Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings},
  author={Simone Diniz Junqueira Barbosa and Phoebe Chen and Alfredo Cuzzocrea and Xiaoyong Du and Orhun Kara and Ting Liu and Krishna M. Sivalingam and Dominik Ślęzak and Takashi Washio and Xiaokang Yang and Junsong Yuan and Raquel Oliveira Prates and Simona Bernardi and Valeria Vittorini and Francesco Flammini and Roberto Nardone and Stefano Marrone and Rasmus Adler and Daniel Schneider and Philipp Schleiss and Nicola Nostro and Rasmus L{\o}venstein Olsen and Amleto Di Salle and Paolo Masci},
  journal={Dependable Computing - EDCC 2020 Workshops},
Some railway solutions are the results of technology push. The development of low cost computers and camerasmakes it possible to automate detection tasks in different industry domains. In this article, we develop the blocking points that arise for the adoption of A.I. technologies for functions involving safety. We remind the useful elements for a safety demonstration, and for the definition of tests or simulations which bring complements to this validation. We propose a paradigm shift for the… 
1 Citations

Figures and Tables from this paper

A Review of Vision-Based On-Board Obstacle Detection and Distance Estimation in Railways
This paper provides a review of the literature on vision-based on-board obstacle detection and distance estimation in railways and discusses and categorizes the methods based on vision sensors into methodsBased on traditional Computer Vision and methodsbased on Artificial Intelligence.


chronovise: Measurement-Based Probabilistic Timing Analysis framework
The rapid advance of computer architectures towards more powerful, but also more complex platforms, has the side effect of making the timing analysis of applications a challenging task (Cullmann et
Connected or Autonomous Trains?
The future challenges of automation of train control is discussed, where train to infrastructure and train to train communication will support distributed control algorithms, while on board artificial intelligence will provide autonomous control decisions.
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems
This work presents a conceptual framework and a corresponding metamodel, which are motivated and justified by existing work in the field of runtime safety monitoring, and presents an SSV that is based on the ISO 22839 standard for forward collision mitigation.
Beyond connected cars: A systems of systems perspective
B-space: dynamic management and assurance of open systems of systems
This paper proposes an abstract conceptual framework building on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems.
Can STPA be used for a System-of-Systems? Experiences from an Automated Quarry Site
An overview of proposed hazard analysis methods for system-of systems is provided, a case from construction equipment domain is described, and the well-known System-Theoretic Process Analysis (STPA)f is applied to a case to point out certain inadequacies.
Resource Usage Prediction in Distributed Key-Value Datastores
This paper presents a mechanism to accurately predict the resource usage of distributed key-value datastores and states that this novel approach is sufficiently simple and generic, while simultaneously being suitable for other practical applications.
Integrated design technology for computer vision systems in railway transportation
These design solutions make it possible to increase the acceptable speed of train passage through checkpoints, significantly improve the results of car number recognition in process of rolling stock monitoring as well as their reliability, extend CVS functionality, and develop new intelligent properties of the system.
Contracts for System Design
This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interfaces and contracts to show similarities and correspondences.
Geofences in the sky: herding drones with blockchains and 5G
This paper presents some of the challenges involved in drone traffic control and illustrates how geofencing could be a useful tool for that, while leveraging the emerging 5G networking technology.