RTLola on Board: Testing Real Driving Emissions on your Phone

TL;DR

This paper introduces an Android app that uses RTLola runtime monitors via Bluetooth to enable everyday car owners to test and diagnose real driving emissions, making vehicle monitoring accessible and practical.

Contribution

It presents a novel mobile implementation of RTLola runtime verification for real-world automotive emissions testing using common OBD Bluetooth adapters.

Findings

Identified emissions violations during sample RDE tests.

Demonstrated feasibility of in-the-wild emissions monitoring.

Enabled accessible emissions diagnostics for consumers.

Abstract

This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys RTLola runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap bluetooth adapters to the On-Board-Diagnostics (OBD) ports, which are ubiquitous in cars nowadays. We detail its use in the context of Real Driving Emissions (RDE) tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.