RTLola on Board: Testing Real Driving Emissions on your Phone

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 exh...

Descripción completa

Detalles Bibliográficos
Autores principales: Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984568/
http://dx.doi.org/10.1007/978-3-030-72013-1_20
_version_ 1783668093176774656
author Biewer, Sebastian
Finkbeiner, Bernd
Hermanns, Holger
Köhl, Maximilian A.
Schnitzer, Yannik
Schwenger, Maximilian
author_facet Biewer, Sebastian
Finkbeiner, Bernd
Hermanns, Holger
Köhl, Maximilian A.
Schnitzer, Yannik
Schwenger, Maximilian
author_sort Biewer, Sebastian
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7984568
institution National Center for Biotechnology Information
language English
publishDate 2021
record_format MEDLINE/PubMed
spelling pubmed-79845682021-03-23 RTLola on Board: Testing Real Driving Emissions on your Phone Biewer, Sebastian Finkbeiner, Bernd Hermanns, Holger Köhl, Maximilian A. Schnitzer, Yannik Schwenger, Maximilian Tools and Algorithms for the Construction and Analysis of Systems Article 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. 2021-02-26 /pmc/articles/PMC7984568/ http://dx.doi.org/10.1007/978-3-030-72013-1_20 Text en © The Author(s) 2021 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Biewer, Sebastian
Finkbeiner, Bernd
Hermanns, Holger
Köhl, Maximilian A.
Schnitzer, Yannik
Schwenger, Maximilian
RTLola on Board: Testing Real Driving Emissions on your Phone
title RTLola on Board: Testing Real Driving Emissions on your Phone
title_full RTLola on Board: Testing Real Driving Emissions on your Phone
title_fullStr RTLola on Board: Testing Real Driving Emissions on your Phone
title_full_unstemmed RTLola on Board: Testing Real Driving Emissions on your Phone
title_short RTLola on Board: Testing Real Driving Emissions on your Phone
title_sort rtlola on board: testing real driving emissions on your phone
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984568/
http://dx.doi.org/10.1007/978-3-030-72013-1_20
work_keys_str_mv AT biewersebastian rtlolaonboardtestingrealdrivingemissionsonyourphone
AT finkbeinerbernd rtlolaonboardtestingrealdrivingemissionsonyourphone
AT hermannsholger rtlolaonboardtestingrealdrivingemissionsonyourphone
AT kohlmaximiliana rtlolaonboardtestingrealdrivingemissionsonyourphone
AT schnitzeryannik rtlolaonboardtestingrealdrivingemissionsonyourphone
AT schwengermaximilian rtlolaonboardtestingrealdrivingemissionsonyourphone

Ejemplares similares