Skip to Main content Skip to Navigation
Conference papers

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Lina Marsso 1 Radu Mateescu 2 Lucie Muller 2 Wendelin Serwe 2 
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Complete list of metadata

https://hal.inria.fr/hal-03623521
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Tuesday, March 29, 2022 - 5:22:45 PM
Last modification on : Wednesday, July 6, 2022 - 4:14:18 AM
Long-term archiving on: : Thursday, June 30, 2022 - 7:45:23 PM

File

Marsso-Mateescu-Muller-Serwe-2...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

60

Files downloads

17