Work

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Year: 2022

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.355.5

Authors: Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe

Institutions: University of Toronto, Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique de Grenoble, CONVECS: Construction de systèmes concurrents vérifiés

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: European Commission, Electronic Components and Systems for European Leadership, Horizon 2020 Framework Programme

Awards: G1075705594, G1124005961, G1953887145, G4769645549, G4937468798, G570796765, G6675839662, Trustable architectures with acceptable residual risk for the electric, connected and automated cars

OpenAlex ID: W4220796946

FWCI: 0.503

Cites: 15

Cited by: 5

Related to: 10