Automatically Learning Formal Models from Autonomous Driving Software
Artikel i vetenskaplig tidskrift, 2022

The correctness of autonomous driving software is of utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee correctness and thereby allow the safe deployment of autonomous vehicles. However, challenges exist for widespread industrial adoption of formal methods. One of these challenges is the model construction problem. Manual construction of formal models is time-consuming, error-prone, and intractable for large systems. Automating model construction would be a big step towards widespread industrial adoption of formal methods for system development, re-engineering, and reverse engineering. This article applies active learning techniques to obtain formal models of an existing (under development) autonomous driving software module implemented in MATLAB. This demonstrates the feasibility of automated learning for automotive industrial use. Additionally, practical challenges in applying automata learning, and possible directions for integrating automata learning into the automotive software development workflow, are discussed.

Model-based engineering

Active learning

Autonomous driving

Automata learning

Formal methods


Yuvaraj Selvaraj

Zenseact AB

Chalmers, Elektroteknik, System- och reglerteknik

Ashfaq Hussain Farooqui

Chalmers, Elektroteknik, System- och reglerteknik

Ghazaleh Panahandeh

Zenseact AB

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Formella metoder

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik

Electronics (Switzerland)

20799292 (eISSN)

Vol. 11 4 643

Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV)

VINNOVA (2017-05519), 2018-03-01 -- 2021-12-31.



Inbäddad systemteknik

Datavetenskap (datalogi)



Mer information

Senast uppdaterat