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.
Cite
CITATION STYLE
Biewer, S., Finkbeiner, B., Hermanns, H., Köhl, M. A., Schnitzer, Y., & Schwenger, M. (2021). RTLola on Board: Testing Real Driving Emissions on your Phone. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12652 LNCS, pp. 365–372). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-72013-1_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
