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 条
  • [31] Runtime monitoring & software verification
    Drusinsky, D
    DR DOBBS JOURNAL, 2004, 29 (08): : 68 - 72
  • [32] Stream Runtime Monitoring on UAS
    Adolf, Florian-Michael
    Faymonville, Peter
    Finkbeiner, Bernd
    Schirmer, Sebastian
    Torens, Christoph
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 33 - 49
  • [33] Runtime adaptation in safety-critical automotive systems
    Trapp, Mario
    Adler, Rasmus
    Foerster, Marc
    Junger, Janosch
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 308 - +
  • [34] Development of an Electronic Control Unit for PMSM Drives in Automotive Applications
    Soner, Burak
    Icke, Arif
    Mert, Ahmet C.
    Basaran, Umut
    Impram, Serkan T.
    Sahin, Ilker
    2015 9TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2015, : 680 - 684
  • [35] Study on Modern Automotive Electronic Technology Characteristics and Development Trend
    Chen, Zhufeng
    PROCEEDINGS OF THE 2016 5TH INTERNATIONAL CONFERENCE ON ENVIRONMENT, MATERIALS, CHEMISTRY AND POWER ELECTRONICS, 2016, 84 : 21 - 25
  • [36] Methods and tools for the seamless development of automotive electronic control systems
    Asano, M
    Ueno, T
    BREAKING PARADIGMS: THE SEAMLESS ELECTRO-MECHANICAL VEHICLES: PROCEEDINGS OF THE 1996 INTERNATIONAL CONGRESS ON TRANSPORTATION ELECTRONICS - CONVERGENCE 1996, 1996, : 315 - 326
  • [37] THE DEVELOPMENT OF A JUVENILE ELECTRONIC MONITORING PROGRAM
    CHARLES, MT
    FEDERAL PROBATION, 1989, 53 (02) : 3 - 12
  • [38] Electronic fetal heart rate monitoring: applying principles of patient safety
    Miller, David A.
    Miller, Lisa A.
    AMERICAN JOURNAL OF OBSTETRICS AND GYNECOLOGY, 2012, 206 (04) : 278 - 283
  • [39] Applying Chaos Theory for Runtime Hardware Trojan Detection
    Zhao, Hong
    Kwiat, Kevin
    Kamhoua, Charles
    Rodriguez, Manuel
    2015 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE FOR SECURITY AND DEFENSE APPLICATIONS (CISDA), 2015, : 156 - 161
  • [40] Runtime observation of functional safety properties in an automotive control network
    Heffernan, Donal
    MacNamee, Ciaran
    JOURNAL OF SYSTEMS ARCHITECTURE, 2016, 68 : 38 - 50