Applying Runtime Monitoring for Automotive Electronic Development

被引:8
|
作者
Selyunin, Konstantin [1 ]
Thang Nguyen [2 ]
Bartocci, Ezio [1 ]
Grosu, Radu [1 ]
机构
[1] Vienna Univ Technol, Treitlstr 3, Vienna, Austria
[2] Infineon Technol Austria AG, Siemenstr 2, Villach, Austria
来源
关键词
D O I
10.1007/978-3-319-46982-9_30
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper shows how runtime monitoring can be applied at different phases of electronic-product development in automotive industry. Starting with concept development, runtime monitors are generated from the product requirements and then embedded in a chip simulation to track the specification compliance at an early stage. In the later phase when a prototype or a product is available, the runtime monitors from the concept development are reused for synthesis into FPGA for monitoring the implementation correctness of the product/system during runtime tests at real-time speeds. This is advantageous for long-term test scenarios where simulation becomes impractical or where evaluation of large amounts of data is required. For example, about 480K frames/min are exchanged between a sensor and an ECU. This is beyond the capability of an engineer to check the specification conformance of every frame even for one minute of the system run. We embed monitors in a real-world industrial case study, where we runtime-check the requirements of an automotive sensor interface both in simulation and for the test chip.
引用
收藏
页码:462 / 469
页数:8
相关论文
共 50 条
  • [41] Software rejuvenation and runtime reliability monitoring
    Fantechi, Alessandro
    Gori, Gloria
    Papini, Marco
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 162 - 169
  • [42] Runtime Monitoring of Dynamic Fairness Properties
    Henzinger, Thomas A.
    Karimi, Mahyar
    Kueffner, Konstantin
    Mallik, Kaushik
    PROCEEDINGS OF THE 6TH ACM CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY, FACCT 2023, 2023, : 604 - 614
  • [43] Compensation-Aware Runtime Monitoring
    Colombo, Christian
    Pace, Gordon J.
    Abela, Patrick
    RUNTIME VERIFICATION, 2010, 6418 : 214 - +
  • [44] Runtime Monitoring of Object Invariants with Guarantee
    Gopinathan, Madhu
    Rajamani, Sriram K.
    RUNTIME VERIFICATION, 2008, 5289 : 158 - +
  • [45] A comparison framework for runtime monitoring approaches
    Rabiser, Rick
    Guinea, Sam
    Vierhauser, Michael
    Baresi, Luciano
    Grunbacher, Paul
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 125 : 309 - 321
  • [46] Applying Model Predictive Control in Automotive
    Chen, Hong
    Yu, Shuyou
    Lu, Xiaohui
    Xu, Fang
    Qu, Ting
    Wang, Fei
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 6 - 7
  • [47] Runtime Monitoring of Stream Logic Formulae
    Halle, Sylvain
    Khoury, Raphael
    FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 2016, 9482 : 251 - 258
  • [48] ELECTRONIC AUTOMOTIVE CLOCKS
    REES, LT
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 1972, VT21 (04) : 139 - &
  • [49] AUTOMOTIVE ELECTRONIC SYSTEMS
    RUPPRECHT, J
    SIEMENS REVIEW, 1982, 49 (01): : 11 - 15
  • [50] Runtime Monitoring of Software Energy Hotspots
    Noureddine, Adel
    Bourdon, Aurelien
    Rouvoy, Romain
    Seinturier, Lionel
    2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 160 - 169