Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
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 constructed 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 specific application settings. 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.
Sun 22 OctDisplayed time zone: Lisbon change
11:00 - 12:30 | Paper presentationsFTSCS at Room IV Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
11:00 30mTalk | Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains FTSCS | ||
11:30 30mTalk | Solving Queries for Boolean Fault Tree Logic via Quantified SAT FTSCS Caz Saaltink , Stefano M. Nicoletti , Matthias Volk , Ernst Moritz Hahn Queen's University Belfast, Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
12:00 30mTalk | Symbolic analysis by using folding narrowing with irreducibility and SMT constraints FTSCS |