Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

156 Downloads (Orbit)

Abstract

We propose a quantitative risk assessment approach for the design of an obstacle detection function for low-speed freight trains with grade of automation 4. In this five-step approach, starting with single detection channels and ending with a three-out-of-three model comprised of three independent dual-channel modules and a voter, we exemplify a probabilistic assessment, using a combination of statistical methods and parametric stochastic model checking. We illustrate that, under certain not unreasonable assumptions, the resulting hazard rate becomes acceptable for the discussed application setting. The statistical approach for assessing the residual risk of misclassifications in convolutional neural networks and conventional image processing software suggests that high confidence can be placed into the safety-critical obstacle detection function, even though its implementation involves realistic machine learning uncertainties.
Original languageEnglish
Title of host publicationProceedings of the 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
PublisherAssociation for Computing Machinery
Publication date2023
Pages26-36
ISBN (Electronic)979-8-4007-0398-0
DOIs
Publication statusPublished - 2023
Event9th ACM International Workshop on Formal Techniques for Safety-Critical Systems - Cascais, Portugal
Duration: 22 Oct 202322 Oct 2023

Conference

Conference9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
Country/TerritoryPortugal
CityCascais
Period22/10/202322/10/2023

Keywords

  • Autonomous train control
  • Safety certification
  • Neural network-based object detection
  • Fault tree analysis

Fingerprint

Dive into the research topics of 'Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains'. Together they form a unique fingerprint.

Cite this