Applying Runtime Monitoring for Automotive Electronic Development

  • Konstantin SelyuninEmail author
  • Thang Nguyen
  • Ezio Bartocci
  • Radu Grosu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10012)


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 480 K 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.


Chip Design Test Chip Implementation Correctness Runtime Verification Synchronization Pulse 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This research is supported by the project HARMONIA (845631), funded by a national Austrian grant from FFG (Österreichische Forschungsförderungsgesellschaft) under the program IKT der Zukunft and the EU ICT COST Action IC1402 on Runtime Verification beyond Monitoring (ARVI).


  1. 1.
    Kolbe, M., Schoo, J.: Industry overview the automotive electronics industry in Germany. Germany Trade and Invest (2014)Google Scholar
  2. 2.
    ISO 26262: road vehicles Functional safety. International Organization for Standardization (ISO) (2011)Google Scholar
  3. 3.
    Okuda, R., Kajiwara, Y., Terashima, K.: A survey of technical trend of adas and autonomous driving. In: Proceedings of International Symposium on VLSI Design, Automation and Test (VLSI-DAT) 2014, pp. 1–4, April 2014Google Scholar
  4. 4.
    Sans, M.: X-by-wire park assistance for electric city cars. In: Proceedings of World Electric Vehicle Symposium and Exhibition (EVS27) 2013, pp. 1–9, November 2013Google Scholar
  5. 5.
    Infineon Technologies AG: Sensing the world: sensor solutions for automotive, industrial and consumer applications. Infineon Technologies AG (2016)Google Scholar
  6. 6.
    Leucker, M.: Teaching runtime verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 34–48. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Ničković, D., Piterman, N.: From Mtl to deterministic timed automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 152–167. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Maler, O., Nickovic, D., Pnueli, A.: From MITL to timed automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 274–289. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Pnueli, A., Zaks, A.: On the merits of temporal testers. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol. 5000, pp. 172–195. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Jaksic, S., Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T., Nickovic, D.: From signal temporal logic to FPGA monitors. In: Proceedings of 13 ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp. 218–227 (2015)Google Scholar
  11. 11.
    Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 215–230. Springer, Heidelberg (2014). doi: 10.1007/978-3-319-11164-3_18 Google Scholar
  12. 12.
    Reinbacher, T., Függer, M., Brauer, J.: Runtime verification of embedded real-time systems. Formal Meth. Syst. Des. 44(3), 203–239 (2014)CrossRefzbMATHGoogle Scholar
  13. 13.
    Nguyen, T., Ničković, D.: Assertion-based monitoring in practice–checking correctness of an automotive sensor interface. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 16–32. Springer, Heidelberg (2014)Google Scholar
  14. 14.
    Nguyen, T., Wooters, S.N.: FPGA-based development for sophisticated automotive embedded safety critical system. SAE Int. J. Passeng. Cars Electron. Electr. Syst. 7, pp. 125–132 (2014)Google Scholar
  15. 15.
    Nguyen, T., Basa, A., Hammerschmidt, D., Dittfeld, T.: Advanced mixed-signal emulation for complex automotive ICs. In: AIRBAG Conference, pp. 1–8 (2014)Google Scholar
  16. 16.
    Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., Smolka, S.: On temporal logic and signal processing. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 92–106. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  17. 17.
    Maler, O., Nickovic, D., Pnueli, A.: On synthesizing controllers from bounded-response properties. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 95–107. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  18. 18.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Konstantin Selyunin
    • 1
    Email author
  • Thang Nguyen
    • 2
  • Ezio Bartocci
    • 1
  • Radu Grosu
    • 1
  1. 1.Vienna University of TechnologyViennaAustria
  2. 2.Infineon Technologies Austria AGVillachAustria

Personalised recommendations