RTLola on Board: Testing Real Driving Emissions on your Phone

被引：7
|
作者：
Biewer, Sebastian [1 ]
Finkbeiner, Bernd [2 ]
Hermanns, Holger [1 ,3 ]
Koehl, Maximilian A. [1 ]
Schnitzer, Yannik [1 ]
Schwenger, Maximilian [2 ]
机构：
[1] Saarland Univ, Saarland Informat Campus, Saarbrucken, Germany
[2] CISPA Helmholtz Ctr Informat Secur, Saarbrucken, Germany
[3] Inst Intelligent Software, Guangzhou, Peoples R China
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2021 | 2021年 / 12652卷
基金：
欧洲研究理事会;
关键词：
D O I：
10.1007/978-3-030-72013-1_20
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：365 / 372
页数：8
相关论文
共 50 条
  • [1] On the road with RTLola Testing Real Driving Emissions on your Phone
    Biewer, Sebastian
    Finkbeiner, Bernd
    Hermanns, Holger
    Koehl, Maximilian A.
    Schnitzer, Yannik
    Schwenger, Maximilian
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (02) : 205 - 218
  • [2] On the road with RTLolaTesting Real Driving Emissions on your Phone
    Sebastian Biewer
    Bernd Finkbeiner
    Holger Hermanns
    Maximilian A. Köhl
    Yannik Schnitzer
    Maximilian Schwenger
    International Journal on Software Tools for Technology Transfer, 2023, 25 : 205 - 218
  • [3] Testing and evaluation of cold-start emissions in a real driving emissions test
    Du, Baocheng
    Zhang, Li
    Geng, Yangtao
    Zhang, Yun
    Xu, Hualong
    Xiang, Gan
    TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, 2020, 86
  • [4] Real Driving Emissions in Extended Driving Conditions
    Engelmann, Danilo
    Zimmerli, Yan
    Czerwinski, Jan
    Bonsack, Peter
    ENERGIES, 2021, 14 (21)
  • [5] Analysis of the Euro 7 on-board emissions monitoring concept with real-driving data
    Barbier, Alvin
    Salavert, Jose Miguel
    Palau, Carlos E.
    Guardiola, Carlos
    TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, 2024, 127
  • [6] Building a cycle for Real Driving Emissions
    Donateo, Teresa
    Giovinazzi, Mattia
    ATI 2017 - 72ND CONFERENCE OF THE ITALIAN THERMAL MACHINES ENGINEERING ASSOCIATION, 2017, 126 : 891 - 898
  • [7] Efficient Monitoring of Real Driving Emissions
    Koehl, Maximilian A.
    Hermanns, Holger
    Biewer, Sebastian
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 299 - 315
  • [8] Comparison of Real Driving Emissions tests
    Merkisz, J.
    Pielecha, J.
    INTERNATIONAL AUTOMOTIVE CONFERENCE (KONMOT2018), 2018, 421
  • [9] Optimal control of real driving emissions
    van Dooren, Stijn
    Duhr, Pol
    Amstutz, Alois
    Onder, Christopher H.
    CONTROL ENGINEERING PRACTICE, 2022, 127
  • [10] Estimating emissions from your printed circuit board
    Swanberg, Roger
    EE-EVALUATION ENGINEERING, 2007, 46 (03): : 70 - +
12345