Skip to main content
Springer Nature Link
Log in

Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12234))

Included in the following conference series:

  • 1646 Accesses

Abstract

Embedded systems, which are at the core of many small scale and large scale machines, are affected by external disturbances which can introduce control flow errors. These control flow errors can affect the control program executing on the embedded system, potentially causing sensor signals to be misinterpreted or actuators being mis-controlled. Software-implemented control flow error detection techniques have existed for many years, although there is little literature about these techniques being tested on input/output-driven programs. This paper presents a hardware-in-loop-based fault injection campaign performed on a typical industrial setting, i.e. a small scale factory. Thanks to hardware-in-loop simulation, we can perform the fault injection campaign without the risk of breaking a mechanical or an electrical part. For our fault injection campaign, we considered both the unprotected control program and the version protected with our RACFED error detection technique. The results show that up to 58% of the injected control flow errors can affect the unprotected control program in a dangerous manner. Implementing RACFED clearly lowers this percentage to less than 4%, showing this technique can be used in industrial settings.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Available as open-source project on https://github.com/MGroupKULeuvenBrugesCampus/CFED_Plugin.

References

  1. Abella, J., Cazorla, F.J., Quiñones, E., Grasset, A., Yehia, S., Bonnot, P., Gizopoulos, D., Mariani, R., Bernat, G.: Towards improved survivability in safety-critical systems. In: 2011 IEEE 17th International On-Line Testing Symposium. pp. 240–245 (July 2011). https://doi.org/10.1109/IOLTS.2011.5994536

  2. Choi, K., Park, D., Cho, J.: SSCFM: Separate signature-based control flow error monitoring for multi-threaded and multi-core environments. Electronics 8(2), 199 (Februari 2019). https://doi.org/10.3390/electronics8020166

  3. Claeys, T., Catrysse, J., Pissoort, D., Arien, Y.: Stripline set-up for characterizing the effect of corrosion and ageing on the shielding effectiveness of emi gaskets with improved repeatability. In: 2018 International Symposium on Electromagnetic Compatibility (EMC EUROPE). pp. 725–729 (Aug 2018). https://doi.org/10.1109/EMCEurope.2018.8485135

  4. Didehban, M., Shrivastava, A.: nZDC: A compiler technique for near zero silent data corruption. In: 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC). pp. 1–6. IEEE (2016)

    Google Scholar 

  5. Estep, N.A., Petrosky, J.C., McClory, J.W., Kim, Y., Terzuoli, A.J.: Electromagnetic interference and ionizing radiation effects on cmos devices. IEEE Transactions on Plasma Science 40(6), 1495–1501 (2012). https://doi.org/10.1109/TPS.2012.2193600

    Article  Google Scholar 

  6. Festo-Didactic: Mps the modular production system, http://www.festo-didactic.com/int-en/learning-systems/mps-the-modular-production-system/stations/

  7. Hashimoto, M., Liao, W.: Soft error and its countermeasures in terrestrial environment. In: 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC). pp. 617–622 (2020)

    Google Scholar 

  8. i-SCOOP: Industry 4.0: the fourth industrial revolution - guide to industry 4.0, https://www.i-scoop.eu/industry-4-0/

  9. Ibe, E.H., Yoshimoto, S., Yoshimoto, M., Kawaguchi, H., Kobayashi, K., Furuta, J., Mitsuyama, Y., Hashimoto, M., Onoye, T., Kanbara, H., Ochi, H., Wakabayashi, K., Onodera, H., Sugihara, M.: VLSI Design and Test for Systems Dependability, chap. Radiation-Induced Soft Errors. Springer Japan (2019). https://doi.org/10.1007/978-4-431-56594-9_3

    Article  Google Scholar 

  10. Jagannathan, S., Diggins, Z., Mahatme, N., Loveless, T.D., Bhuva, B.L., Wen, S.J., Wong, R., Massengill, L.W.: Temperature dependence of soft error rate in flip-flop designs. In: 2012 IEEE International Reliability Physics Symposium (IRPS). pp. SE.2.1-SE.2.6 (April 2012). https://doi.org/10.1109/IRPS.2012.6241927

  11. Kanekawa, N., Ibe, E.H., Suga, T., Uematsu, Y.: Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances. Springer (2011), https://www.springer.com/gp/book/9781441967145

  12. Kim, K., Iliadis, A.A.: Critical bit errors in cmos digital inverters due to pulsed electromagnetic interference. In: 2007 International Conference on Electromagnetics in Advanced Applications. pp. 217–220 (Sept 2007). https://doi.org/10.1109/ICEAA.2007.4387276

  13. Riera, M., Canal, R., Abella, J., Gonzalez, A.: A detailed methodology to compute soft error rates in advanced technologies. In: 2016 Design, Automation Test in Europe Conference Exhibition (DATE). pp. 217–222 (2016)

    Google Scholar 

  14. Sierawski, B.D., Reed, R.A., Mendenhall, M.H., Weller, R.A., Schrimpf, R.D., Wen, S.J., Wong, R., Tam, N., Baumann, R.C.: Effects of scaling on muon-induced soft errors. In: 2011 International Reliability Physics Symposium. pp. 3C.3.1-3C.3.6 (April 2011). https://doi.org/10.1109/IRPS.2011.5784484

  15. So, H., Didehban, M., Shrivastava, A., Lee, K.: A software-level redundant multithreading for soft/hard error detection and recovery. In: 2019 Design, Automation Test in Europe Conference Exhibition (DATE). pp. 1559–1562 (March 2019). https://doi.org/10.23919/DATE.2019.8715089

  16. Team, M.M.: International roadmap for devices and systems - 2018 update: More moore. Tech. rep., IEEE IRDS (2018), https://irds.ieee.org/images/files/pdf/2018/2018IRDS_MM.pdf

  17. Thati, V.B., Vankeirsbilck, J., Penneman, N., Pissoort, D., Boydens, J.: An improved data error detection technique for dependable embedded software. In: IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). pp. 213–220. IEEE (2018)

    Google Scholar 

  18. Tsai, T., Huang, J.: Source code transformation for software-based on-line error detection. In: 2017 IEEE Conference on Dependable and Secure Computing. pp. 305–309 (Aug 2017). https://doi.org/10.1109/DESEC.2017.8073852

  19. Vankeirsbilck, J., Cauwelier, T., Van Waes, J., Hallez, H., Boydens, J.: Software-implemented fault injection for physical and simulated embedded CPUs. In: IEEE XXVII International Scientific Conference Electronics (ET). pp. 1–4 (Sep 2018). https://doi.org/10.1109/ET.2018.8549630

  20. Vankeirsbilck, J., Penneman, N., Hallez, H., Boydens, J.: Random additive signature monitoring for control flow error detection. IEEE Transactions on Reliability 66(4), 1178–1192 (2017). https://doi.org/10.1109/TR.2017.2754548

    Article  Google Scholar 

  21. Vankeirsbilck, J., Hallez, H., Boydens, J.: Automatic implementation of control flow error detection techniques. In: accepted at IASED International Conference on Wireless Networks and Embedded Systems (ICWNES) (July 2019)

    Google Scholar 

  22. Vankeirsbilck, J., Penneman, N., Hallez, H., Boydens, J.: Random additive control flow error detection. In: Gallina, B., Skavhaug, A., Bitsch, F. (eds.) Computer Safety, Reliability, and Security. pp. 220–234. Springer International Publishing, Cham (2018)

    Google Scholar 

  23. Vankeirsbilck, J., Van Waes, J., Hallez, H., Pissoort, D., Boydens, J.: Control flow errors in an industry 4.0 setup: a preliminary study. In: IEEE International Conference on Systems, Man and Cybernetics (SMC). pp. 2305–2310 (Oct 2019). https://doi.org/10.1109/SMC.2019.8914545

  24. White, M., Chen, Y.: Scaled cmos technology reliability users guide. Tech. Rep. 20100014217, National Aeronotics and Space Administration (NASA) (January 2010), https://nepp.nasa.gov/files/16361/08_102_4%20new%20del_White.pdf

Download references

Author information

Authors and Affiliations

  1. KU Leuven Bruges Campus, Bruges, Belgium

    Jens Vankeirsbilck, Hans Hallez & Jeroen Boydens

Authors
  1. Jens Vankeirsbilck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans Hallez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeroen Boydens
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jens Vankeirsbilck .

Editor information

Editors and Affiliations

  1. University of Lisbon, Lisbon, Portugal

    António Casimiro

  2. Otto-von-Guericke University, Magdeburg, Germany

    Frank Ortmeier

  3. Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

  4. University of Lisbon, Lisbon, Portugal

    Pedro Ferreira

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Vankeirsbilck, J., Hallez, H., Boydens, J. (2020). Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs. In: Casimiro, A., Ortmeier, F., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12234. Springer, Cham. https://doi.org/10.1007/978-3-030-54549-9_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54549-9_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54548-2

  • Online ISBN: 978-3-030-54549-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics