Item Infomation
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Sebastian, Biewer | - |
| dc.contributor.author | Bernd, Finkbeiner | - |
| dc.contributor.author | Holger, Hermanns | - |
| dc.date.accessioned | 2023-03-31T08:18:42Z | - |
| dc.date.available | 2023-03-31T08:18:42Z | - |
| dc.date.issued | 2023 | - |
| dc.identifier.uri | https://link.springer.com/article/10.1007/s10009-022-00689-5 | - |
| dc.identifier.uri | https://dlib.phenikaa-uni.edu.vn/handle/PNK/7396 | - |
| dc.description | CC BY | vi |
| dc.description.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. | vi |
| dc.language.iso | en | vi |
| dc.publisher | Springer | vi |
| dc.subject | RTLOLA | vi |
| dc.subject | OBD | vi |
| dc.title | On the road with RTLola | vi |
| dc.type | Book | vi |
| Appears in Collections | ||
| OER - Công nghệ thông tin | ||
Files in This Item:
