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 条
  • [21] Development of an automotive HID electronic ballast based microprocessor
    Wang, D. H.
    Cheng, K. W. E.
    Divakar, B. P.
    Dong, P.
    Chan, W. W.
    Xue, X. D.
    Ding, K.
    Che, Y. B.
    2006 2ND INTERNATIONAL CONFERENCE ON POWER ELECTRONICS SYSTEMS AND APPLICATIONS, 2006, : 230 - +
  • [22] Applying technology ethically in electronic monitoring: Reflections on experiences in Thailand
    Tantikul, Thanyanuch
    INTERNATIONAL JOURNAL OF LAW CRIME AND JUSTICE, 2020, 62
  • [23] Zero Overhead Runtime Monitoring
    Wonisch, Daniel
    Schremmer, Alexander
    Wehrheim, Heike
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 244 - 258
  • [24] Runtime Monitoring for Concurrent Systems
    Yamagata, Yoriyuki
    Artho, Cyrille
    Hagiya, Masami
    Inoue, Jun
    Ma, Lei
    Tanabe, Yoshinori
    Yamamoto, Mitsuharu
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 386 - 403
  • [25] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):
  • [26] Runtime Monitoring for Executable DSLs
    Leroy, Dorian
    Jeanjean, Pierre
    Bousse, Erwan
    Wimmer, Manuel
    Combemale, Benoit
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (02): : 1 - 23
  • [27] Abstract Runtime Monitoring with USE
    Hamann, Lars
    Vidacs, Laszlo
    Gogolla, Martin
    Kuhlmann, Mirco
    2012 16TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR), 2012, : 549 - 552
  • [28] Provably correct runtime monitoring
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
  • [29] Provably correct runtime monitoring
    School of Computer Science and Communication, KTH, Sweden
    不详
    J. Logic. Algebraic Program., 1600, 5 (304-339):
  • [30] A Survey of Software Runtime Monitoring
    Gao, Lihua
    Lu, Minyan
    Li, Luyi
    Pan, Cong
    PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017, : 308 - 313