elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Towards a Congruent Interpretation of Traffic Rules for Automated Driving - Experiences and Challenges

Westhofen, Lukas and Stierand, Ingo and Becker, Jan Steffen and Möhlmann, Eike and Hagemann, Willem (2022) Towards a Congruent Interpretation of Traffic Rules for Automated Driving - Experiences and Challenges. In: Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 8-21. International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR), 2022-12-14, Saarbrücken, Germany.

[img] PDF
984kB

Official URL: https://research.nii.ac.jp/~ksatoh/LN2FRproceedings.pdf

Abstract

The homologation of automated driving systems for public roads requires a rigorous safety case. Regulations of the United Nations demand to demonstrate the compliance of the developed system with local traffic rules. Hence, evidences for this have to be delivered by means of formal proofs, online monitoring, and other verification techniques in the safety case. In order for such methods to be applicable traffic rules have to be made machine-interpretable. However, that pursuit is highly challenging. This work reports on our practical experiences regarding the formalization of a non-trivial part of the German road traffic act. We identify a central issue when formalizing traffic rules within a development process, coined as the congruence problem, which is concerned with the semantic equality of the legal and system interpretation of traffic rules. As our main contribution, we delineate potential challenges arising from the congruence problem, hence impeding a congruent yet formal interpretation of traffic rules. Finally, we aim to initiate discussions by highlighting steps to partially address these challenges.

Item URL in elib:https://elib.dlr.de/193009/
Document Type:Conference or Workshop Item (Speech)
Title:Towards a Congruent Interpretation of Traffic Rules for Automated Driving - Experiences and Challenges
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Westhofen, LukasUNSPECIFIEDhttps://orcid.org/0000-0003-1065-4182UNSPECIFIED
Stierand, IngoUNSPECIFIEDhttps://orcid.org/0009-0000-7936-6969137218327
Becker, Jan SteffenUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Möhlmann, EikeUNSPECIFIEDhttps://orcid.org/0000-0003-3815-6353UNSPECIFIED
Hagemann, WillemUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:14 December 2022
Journal or Publication Title:Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022)
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Page Range:pp. 8-21
Editors:
EditorsEmailEditor's ORCID iDORCID Put Code
Borges, GeorgSaarland University, GermanyUNSPECIFIEDUNSPECIFIED
Satoh, KenInstitute of Informatics, JapanUNSPECIFIEDUNSPECIFIED
Schweighofer, ErichUniversity of Vienna, AustriaUNSPECIFIEDUNSPECIFIED
Status:Published
Keywords:Automated Driving, Traffic Rules, Formalization
Event Title:International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR)
Event Location:Saarbrücken, Germany
Event Type:Workshop
Event Date:14 December 2022
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Road Transport
DLR - Research area:Transport
DLR - Program:V ST Straßenverkehr
DLR - Research theme (Project):V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility > Systems Theory and Design
Deposited By: Westhofen, M.Sc. Lukas
Deposited On:09 Jan 2023 09:14
Last Modified:24 Apr 2024 20:54

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.