Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Autor:	Marsso, Lina, Mateescu, Radu, Muller, Lucie, Serwe, Wendelin
Rok vydání:	2022
Předmět:	Computer Science - Logic in Computer Science Computer Science - Robotics
Zdroj:	EPTCS 355, 2022, pp. 60-117
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.355.5
Popis:	We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our autonomous vehicle models, and also illustrates how formal validation tools can be applied to a single component or the overall vehicle. Comment: In Proceedings MARS 2022, arXiv:2203.09299
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2203.09885 Zobrazit plný text záznamu View this record from Arxiv