Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
Paper in proceeding, 2020

The correctness of autonomous driving software is of utmost importance as incorrect behaviour may have catastrophic consequences.
Though formal model-based engineering techniques can help guarantee correctness, challenges exist in widespread industrial adoption. One among them is the model construction problem. Manual construction of formal models is expensive, error-prone, and intractable for large systems. Automating model construction would be a great enabler for the use of formal methods to guarantee software correctness and thereby for safe deployment of autonomous vehicles. Such automated techniques can be beneficial in software design, re-engineering, and reverse engineering. In this industrial case study, we apply active learning techniques to obtain formal models from an existing autonomous driving software (in development) implemented in MATLAB. We demonstrate the feasibility of active automata learning algorithms for automotive industrial use. Furthermore, we discuss the practical challenges in applying automata learning and possible directions for integrating automata learning into automotive software development workflow.

model-based engineering

automata learning

autonomous driving

active learning

formal methods


Yuvaraj Selvaraj

Chalmers, Electrical Engineering, Systems and control

Ashfaq Hussain Farooqui

Chalmers, Electrical Engineering, Systems and control

Ghazaleh Panahandeh

Zenuity AB

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries

1552-5996 (ISSN)

9781450381352 (ISBN)

ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20 Companion)
Virtual Event, Canada,

Automatically Assessing Correctness of Autonomous Vehicles (Auto-CAV)

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

Subject Categories

Software Engineering

Embedded Systems

Control Engineering

Computer Science



More information

Latest update

1/4/2021 7