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 language | English |
|---|---|
| Title of host publication | Proceedings of the 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems |
| Publisher | Association for Computing Machinery |
| Publication date | 2023 |
| Pages | 26-36 |
| ISBN (Electronic) | 979-8-4007-0398-0 |
| DOIs | |
| Publication status | Published - 2023 |
| Event | 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems - Cascais, Portugal Duration: 22 Oct 2023 → 22 Oct 2023 |
Conference
| Conference | 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems |
|---|---|
| Country/Territory | Portugal |
| City | Cascais |
| Period | 22/10/2023 → 22/10/2023 |
Keywords
- Autonomous train control
- Safety certification
- Neural network-based object detection
- Fault tree analysis