Abstract
The present study aims at filling the gap between the existing traffic regulation and the technical specification for construction or behavior in operation of autonomous vehicles. The former is provided in generic and often complicated texts as the lawyers tend to cover with a single formulation all possible cases, including those not yet identified. On the contrary, for the latter, the engineers need to identify any possible situation in advance and produce precise instructions to assess, approach and deal with it, to be embedded in the safety and security logic of the self-driving vehicle.
The author builds on his previous work regarding the formalization of traffic code from the natural language to computer language, in a three steps methodology including Legal, Logic and Engineering Analyses. The previous development on Logic Analysis was extended with the multi-level hierarchy of predicates and their interpretation for Perform-Overtaking phase and with their associated Linear Temporal Logic (LTL) Formulas. This codification prepared the ground for the Engineering Analysis where the Trio Overtaking Model (TOM) was developed, considering the influence of the forerunner car over the dynamics of Overtaking (Autonomous) and of overtaken vehicle. As a premiere for three vehicle case, 25 combined scenarios were defined as matrix and for their analysis, the formal definitions, theorems, Collision Matrix and the Safe Distance Matrix were introduced. Applications for runtime checking and monitoring, synchronous (runtime enforcement) and asynchronous (e.g. black box analyze) within a Traffic Code Violating Monitor, were proposed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
NHTSA: Preliminary Statement of Policy Concerning Automated Vehicles. National Highway Traffic Safety Administration Report (2016)
Lohmann, R., Van der Zwaan, S.: Regulations required: safety drives autonomous vehicles market. 2getthere White Paper, Utrecht, The Netherlands (2018)
Ursuta, M.: Codul Rutier. Universul Juridic, Romania (2016). (Traffic Code of Romania)
Rizaldi, A., Althoff, M.: Formalizing traffic rules for accountability of autonomous vehicles. In: IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), pp. 1658–1665 (2015)
Costescu, D.M.: Keeping the autonomous vehicles accountable: legal and logic analysis on traffic code. In: Conference Vision Zero for Sustainable Road Safety in Baltic Sea Region, Vilnius, 5–6 of December 2018. Springer (2019)
Ben Ari, M.: Mathematical Logic for Computers. Springer, London (2012)
Benzmueller, C., Miller, D.: Automation of higher-order logic. In: Gabbay, D.M., Siekmann, J., Woods, J. (eds.) Handbook of the History of Logic. Computational Logic, vol. 9. Elsevier, North Holland (2014)
Shapiro, S.: Classical logic II: higher order logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 33–54. Blackwell (2001)
Rizaldi, A., Immler, F., Althoff, M.: A formally verified checker of the safe distance traffic rules for autonomous vehicles. In: Rayadurgam, S., Tkachuk, O. (eds.) NASA Formal Methods. NFM 2016, vol. 9690, pp 175–190. Springer, Cham (2016)
Werling, M., Ziegler, J., Kammel, S., Thrun, S.: Optimal trajectory generation for dynamic street scenarios in a Frenét Frame. In: Proceedings of the 2010 IEEE International Conference on Robotics and Automation (ICRA 2010), Anchorage, Alaska, USA, pp. 987–993 (2010)
Havelund, K., Rosu, G.: Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transfer 6(2), 158–173 (2004)
Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M.R., Pasareanu, C.S., Rosu, G., Visser, W.: Experiments with test case generation and runtime analysis. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) Abstract State Machines. Lecture Notes in Computer Science, vol. 2589, pp 87–108. Springer, Heidelberg (2003)
Kuester, J.C.: Runtime verification on data-carrying traces. Ph.D. thesis, The Australian National University (2016)
Rosu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng. 12(2), 151–197 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Costescu, D.M. (2020). Building on a Traffic Code Violating Monitor for Autonomous Vehicles: Trio Overtaking Model. In: Gopalakrishnan, K., Prentkovskis, O., Jackiva, I., Junevičius, R. (eds) TRANSBALTICA XI: Transportation Science and Technology. TRANSBALTICA 2019. Lecture Notes in Intelligent Transportation and Infrastructure. Springer, Cham. https://doi.org/10.1007/978-3-030-38666-5_44
Download citation
DOI: https://doi.org/10.1007/978-3-030-38666-5_44
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38665-8
Online ISBN: 978-3-030-38666-5
eBook Packages: EngineeringEngineering (R0)