CISPA
Browse
cispa_all_3512.pdf (1.06 MB)

RTLola on Board: Testing Real Driving Emissions on your Phone

Download (1.06 MB)
conference contribution
posted on 2023-11-29, 18:17 authored by Sebastian Biewer, Bernd FinkbeinerBernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
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.

History

Preferred Citation

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian Köhl, Yannik Schnitzer and Maximilian Schwenger. RTLola on Board: Testing Real Driving Emissions on your Phone. In: TACAS Tools and Algorithms for Construction and Analysis of Systems (TACAS). 2021.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

TACAS Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Legacy Posted Date

2021-11-03

Open Access Type

  • Green

BibTeX

@inproceedings{cispa_all_3512, title = "RTLola on Board: Testing Real Driving Emissions on your Phone", author = "Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and Köhl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian", booktitle="{TACAS Tools and Algorithms for Construction and Analysis of Systems (TACAS)}", year="2021", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC