Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps
We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to (i) comprehensively analyze the driving process and its cont...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-09-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1709.02560v1 |
| _version_ | 1818554626684747776 |
|---|---|
| author | Mario Gleirscher |
| author_facet | Mario Gleirscher |
| author_sort | Mario Gleirscher |
| collection | DOAJ |
| description | We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to (i) comprehensively analyze the driving process and its control loop, (ii) identify relevant hazards stemming from this loop, (iii) establish feasible automated measures for the effective mitigation of these hazards or the alleviation of their consequences.
By studying an example, this article investigates some achievements in the modeling for the steps (i), (ii), and (iii), amenable to formal verification of desired properties derived from potential assurance obligations such as the global existence of an effective mitigation strategy. In addition, the proposed approach is meant for step-wise refinement towards the automated synthesis of AD safety controllers implementing such properties. |
| first_indexed | 2024-12-12T09:42:27Z |
| format | Article |
| id | doaj.art-2ef2a051539b475b8882fb09e34c6877 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-12T09:42:27Z |
| publishDate | 2017-09-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-2ef2a051539b475b8882fb09e34c68772022-12-22T00:28:32ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-09-01257Proc. FVAV 2017759010.4204/EPTCS.257.8:1Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory StepsMario Gleirscher0 Technical University of Munich We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to (i) comprehensively analyze the driving process and its control loop, (ii) identify relevant hazards stemming from this loop, (iii) establish feasible automated measures for the effective mitigation of these hazards or the alleviation of their consequences. By studying an example, this article investigates some achievements in the modeling for the steps (i), (ii), and (iii), amenable to formal verification of desired properties derived from potential assurance obligations such as the global existence of an effective mitigation strategy. In addition, the proposed approach is meant for step-wise refinement towards the automated synthesis of AD safety controllers implementing such properties.http://arxiv.org/pdf/1709.02560v1 |
| spellingShingle | Mario Gleirscher Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps Electronic Proceedings in Theoretical Computer Science |
| title | Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps |
| title_full | Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps |
| title_fullStr | Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps |
| title_full_unstemmed | Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps |
| title_short | Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps |
| title_sort | run time risk mitigation in automated vehicles a model for studying preparatory steps |
| url | http://arxiv.org/pdf/1709.02560v1 |
| work_keys_str_mv | AT mariogleirscher runtimeriskmitigationinautomatedvehiclesamodelforstudyingpreparatorysteps |