CISPA
Browse
s10009-022-00689-5.pdf (1.32 MB)

On the road with RTLola

Download (1.32 MB)
journal contribution
posted on 2024-03-22, 14:39 authored by Sebastian Biewer, Bernd 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. The app is a central piece in a set of tools and services we have developed for black-box analysis of automotive vehicles. We detail its use in the context of real driving emission (RDE) tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.

History

Primary Research Area

  • Reliable Security Guarantees

Journal

International Journal on Software Tools for Technology Transfer

Volume

25

Page Range

205-218

Publisher

Springer Verlag

Open Access Type

  • Hybrid

Sub Type

  • Article

BibTeX

@article{Biewer:Finkbeiner:Hermanns:Köhl:Schnitzer:Schwenger:2023, title = "On the road with RTLola", author = "Biewer, Sebastian" AND "Finkbeiner, Bernd" AND "Hermanns, Holger" AND "Köhl, Maximilian A" AND "Schnitzer, Yannik" AND "Schwenger, Maximilian", year = 2023, month = 1, journal = "International Journal on Software Tools for Technology Transfer", number = "2", pages = "205--218", publisher = "Springer Verlag", issn = "0945-8115", doi = "10.1007/s10009-022-00689-5" }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC