AutoVehicles

Description:Models of an Autonomous Vehicle
Author(s):Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
Event(s): MARS'22
Paper(s): Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Abstract

We present two behavioral models of an autonomous vehicle and its interaction with the environ- ment. 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.

Model(s)

    1. Download Model
    2. Browse Model
    3. tool(s): LNT (CADP)
    1. Download Model
    2. Browse Model
    3. tool(s): LNT (CADP)
Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

© 2016–2024, Last Update March 29, 2022