Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Radu Mateescu
  • Function : Author
  • PersonId : 834239
Lucie Muller
Wendelin Serwe
  • Function : Author
  • PersonId : 844454

Abstract

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.
Fichier principal
Vignette du fichier
Marsso-Mateescu-Muller-Serwe-22.pdf (743.35 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03623521 , version 1 (29-03-2022)

Identifiers

Cite

Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe. Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. Mars 2022 - 5th Workshop on Models for Formal Analysis of Real Systems, Apr 2022, Munich, Germany. pp.60-117, ⟨10.4204/EPTCS.355.5⟩. ⟨hal-03623521⟩
127 View
62 Download

Altmetric

Share

Gmail Facebook X LinkedIn More