On the road with RTLola
CC BY
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2023
|
| Subjects: | |
| Online Access: | https://link.springer.com/article/10.1007/s10009-022-00689-5 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7396 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
oai:localhost:PNK-7396 |
|---|---|
| record_format |
dspace |
| spelling |
oai:localhost:PNK-73962023-03-31T08:18:42Z On the road with RTLola Sebastian, Biewer Bernd, Finkbeiner Holger, Hermanns RTLOLA OBD CC BY 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. 2023-03-31T08:18:42Z 2023-03-31T08:18:42Z 2023 Book https://link.springer.com/article/10.1007/s10009-022-00689-5 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7396 en application/pdf Springer |
| institution |
Digital Phenikaa |
| collection |
Digital Phenikaa |
| language |
English |
| topic |
RTLOLA OBD |
| spellingShingle |
RTLOLA OBD Sebastian, Biewer Bernd, Finkbeiner Holger, Hermanns On the road with RTLola |
| description |
CC BY |
| format |
Book |
| author |
Sebastian, Biewer Bernd, Finkbeiner Holger, Hermanns |
| author_facet |
Sebastian, Biewer Bernd, Finkbeiner Holger, Hermanns |
| author_sort |
Sebastian, Biewer |
| title |
On the road with RTLola |
| title_short |
On the road with RTLola |
| title_full |
On the road with RTLola |
| title_fullStr |
On the road with RTLola |
| title_full_unstemmed |
On the road with RTLola |
| title_sort |
on the road with rtlola |
| publisher |
Springer |
| publishDate |
2023 |
| url |
https://link.springer.com/article/10.1007/s10009-022-00689-5 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7396 |
| _version_ |
1761912527441100800 |
| score |
8.891695 |