Item Infomation
| Title: |
| On the road with RTLola |
| Authors: |
| Sebastian, Biewer Bernd, Finkbeiner Holger, Hermanns |
| Issue Date: |
| 2023 |
| Publisher: |
| Springer |
| 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. The app is a central piece in a set of tools and services we have developed for black-box analysis of automotive vehicles. |
| Description: |
| CC BY |
| URI: |
| https://link.springer.com/article/10.1007/s10009-022-00689-5 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7396 |
| Appears in Collections |
| OER - Công nghệ thông tin |
ABSTRACTS VIEWS
9
FULLTEXT VIEWS
24
Files in This Item: