We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.