Application Design Issues

  • Chapter
  • First Online:
Hard Real-Time Computing Systems
  • 317 Accesses

Abstract

This chapter discusses some crucial issues related to the design and the development of complex real-time applications requiring sensory acquisition, control, and actuation of mechanical components. The aim of this part is to give a precise characterization of control applications, so that theory developed for real-time computing and scheduling algorithms can be practically used in this field to make complex control systems more reliable. In fact, a precise observation of the timing constraints specified in the control loops and in the sensory acquisition processes is a necessary condition for guaranteeing a stable behavior of the controlled system, as well as a predictable performance.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.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
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 74.89
Price includes VAT (Germany)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
EUR 96.29
Price includes VAT (Germany)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See details on http://fred.santannapisa.it.

  2. 2.

    https://accelerat.eu/clare.

References

  1. Luca Abeni and Giorgio Buttazzo. Resource reservations in dynamic real-time systems. Real-Time Systems, 27(2):123–165, 2004.

    Article  Google Scholar 

  2. R. J. Anderson and M. W. Spong. Hybrid impedance control of robotic manipulators. IEEE Journal of Robotics and Automation, 4(5), October 1988.

    Google Scholar 

  3. G. C. Buttazzo, B. Allotta, and F. Fanizza. Mousebuster: a robot for catching fast objects. IEEE Control Systems Magazine, 14(1):49–56, February 1994.

    Article  Google Scholar 

  4. R. Bajcsy. Active perception. Proceedings of the IEEE, 76(8):996–1005, August 1988.

    Article  Google Scholar 

  5. Alessandro Biondi, Alessio Balsini, Marco Pagani, Enrico Rossi, Mauro Marinoni, and Giorgio Buttazzo. A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs. In Proc. of the IEEE Real-Time Systems Symposium (RTSS 2016), Porto, Portugal, November 29–December 2, 2016.

    Google Scholar 

  6. Alessandro Biondi, Federico Nesti, Giorgiomaria Cicero, Daniel Casini, and Giorgio Buttazzo. A safe, secure, and predictable software architecture for deep learning in safety-critical systems. IEEE Embedded Systems Letters, 12(3):78–82, 2020.

    Article  Google Scholar 

  7. Battista Biggio and Fabio Roli. Wild patterns: Ten years after the rise of adversarial machine learning. Pattern Recognition, 84:317–331, December 2018.

    Article  Google Scholar 

  8. G.C. Buttazzo. Harems: Hierarchical architecture for robotics experiments with multiple sensors. In IEEE Proceedings of the Fifth International Conference on Advanced Robotics (’91 ICAR), June 1991.

    Google Scholar 

  9. G. C. Buttazzo. Real-time issues in advanced robotics applications. In Proceedings of the 8th IEEE Euromicro Workshop on Real-Time Systems, pages 77–82, June 1996.

    Google Scholar 

  10. Giorgio C. Buttazzo. Can we trust AI-powered real-time embedded systems? (invited paper). In Marko Bertogna, Federico Terraneo, and Federico Reghenzani, editors, Third Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2022, June 22, 2022, Budapest, Hungary, volume 98 of OASIcs, pages 1:1–1:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

    Google Scholar 

  11. Matthieu Courbariaux, Yoshua Bengio, and Jean-Pierre David. BinaryConnect: Training Deep Neural Networks with binary weights during propagations. In Proc. of the 29th Conference on Neural Information Processing Systems (NIPS 2015), Montreal, Canada, December 7–10, 2015.

    Google Scholar 

  12. R. Cavicchioli, N. Capodieci, and M. Bertogna. Memory Interference Characterization Between CPU Cores and Integrated GPUs in Mixed-Criticality Platforms. In Proc. of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), Limassol, Cyprus, September 12–15, 2017.

    Google Scholar 

  13. N. Capodieci, R. Cavicchioli, M. Bertogna, and A. Paramakuru. Deadline-Based Scheduling for GPU with Preemption Support. In Proc. of the 39th IEEE Real-Time Systems Symposium (RTSS 2018), Nashville, Tennessee, USA, December 11–14, 2018.

    Google Scholar 

  14. Edoardo Cittadini, Mauro Marinoni, Alessandro Biondi, Giorgiomaria Cicero, and Giorgio Buttazzo. Supporting AI-powered Real-Time Cyber-Physical Systems on Heterogeneous Platforms via Hypervisor Technology. Real-Time Systems, 2023. https://doi.org/10.1007/s11241-023-09402-4

  15. M. R. Cutkosky. Robot Gras** and Fine Manipulation. Kluwer Academic Publishers, 1985.

    Book  Google Scholar 

  16. P. Dario and G. C. Buttazzo. An anthropomorphic robot finger for investigating artificial tactile perception. International Journal of Robotics Research, 6(3):25–48, Fall 1987.

    Article  Google Scholar 

  17. Blane Erwin. The Groundbreaking 2015 Jeep Hack Changed Automotive Cybersecurity, 2021.

    Google Scholar 

  18. Yunhui Guo. A Survey on Methods and Theories of Quantized Neural Networks. Ar**v, abs/1808.04752, 2018.

    Google Scholar 

  19. O. Khatib and J. Burdick. Motion and force control of robot manipulators. In Proceedings of IEEE Conference on Robotics and Automation, 1986.

    Google Scholar 

  20. C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the Association for Computing Machinery, 20(1), 1973.

    Google Scholar 

  21. Charlie Miller and Chris Valasek. Remote Exploitation of an Unaltered Passenger Vehicle, August 10, 2015.

    Google Scholar 

  22. Federico Nesti, Alessandro Biondi, and Giorgio Buttazzo. Detecting Adversarial Examples by Input Transformations, Defense Perturbations, and Voting. IEEE Transactions on Neural Networks and Learning Systems, 34(3):1329–1341, March 2023.

    Article  Google Scholar 

  23. Marco Pagani, Alessio Balsini, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. A Linux-based Support for Develo** Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration. In Proceedings of the 30th IEEE International System-on-Chip Conference (SOCC 2017), Munich, Germany, September 5–8, 2017.

    Google Scholar 

  24. M. Pagani, A. Biondi, M. Marinoni, L. Molinari, G. Lipari, and G. Buttazzo. A Linux-Based Support for Develo** Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration. Future Generation Computer Systems, 129:125–140, April 2022.

    Article  Google Scholar 

  25. Marco Pagani, Enrico Rossi, Alessandro Biondi, Mauro Marinoni, Giuseppe Lipari, and Giorgio Buttazzo. A Bandwidth Reservation Mechanism for AXI-based Hardware Accelerators on FPGAs. In Proc. of the Euromicro Conference on Real-Time Systems (ECRTS 2019), Stuttgart, Germany, July 9–12, 2019.

    Google Scholar 

  26. Francesco Restuccia and Alessandro Biondi. Time-Predictable Acceleration of Deep Neural Networks on FPGA SoC Platforms. In Proc. of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021), Online event, December 7–10, 2021.

    Google Scholar 

  27. Giulio Rossolini, Alessandro Biondi, and Giorgio Buttazzo. Increasing the Confidence of Deep Neural Networks by Coverage Analysis. In ar**v:2101.12100 [cs.LG], January 2021.

    Google Scholar 

  28. Francesco Restuccia, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. Safely preventing unbounded delays during bus transactions in FPGA-based SoC. In Proceedings of the 28th Annual Int. Symposium on Field-Programmable Custom Computing Machines (FCCM 2020), Fayetteville, Arkansas, USA, May 3–6, 2020.

    Google Scholar 

  29. Enrico Rossi, Marvin Damschen, Lars Bauer, Giorgio Buttazzo, and Jörg Henkel. Preemption of the Partial Reconfiguration Process to Enable Real-Time Computing with FPGAs. ACM Transactions on Reconfigurable Technology and Systems, 11(2):10:1–10:24, November 2018.

    Google Scholar 

  30. Giulio Rossolini, Federico Nesti, Fabio Brau, Alessandro Biondi, and Giorgio Buttazzo. Defending from physically-realizable adversarial attacks through internal over-activation analysis. In Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, February 7–14, 2022.

    Google Scholar 

  31. Francesco Restuccia, Marco Pagani, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. Is Your Bus Arbiter Really Fair? Restoring Fairness in AXI Interconnects for FPGA SoCs. ACM Transactions on Embedded Computing Systems, 18(5–51):1–22, October 2019.

    Article  Google Scholar 

  32. Francesco Restuccia, Marco Pagani, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. Modeling and analysis of bus contention for hardware accelerators in FPGA SoCs. In Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Online event, July 7–10, 2020.

    Google Scholar 

  33. Biruk Seyoum, Alessandro Biondi, and Giorgio Buttazzo. FLORA: FLoorplan Optimizer for Reconfigurable Areas in FPGAs. ACM Transactions on Embedded Computing Systems, 18(5–73):1–20, October 2019.

    Article  Google Scholar 

  34. Tom Simonite. AI Has a Hallucination Problem That’s Proving Tough to Fix, March 12, 2018.

    Google Scholar 

  35. Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. Intriguing properties of neural networks. In Proc. of the 2nd International Conference on Learning Representations (ICLR 2014), Banff, AB, Canada, April 14–16, 2014.

    Google Scholar 

  36. Shixin Tian, Guolei Yang, and Ying Cai. Detecting Adversarial Examples through Image Transformation. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Louisiana, USA, February 2–7, 2018.

    Google Scholar 

  37. D. E. Whitney. Historical perspective and state of the art in robot force control. In Proceedings of IEEE Conference on Robotics and Automation, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Buttazzo, G. (2024). Application Design Issues. In: Hard Real-Time Computing Systems. Springer, Cham. https://doi.org/10.1007/978-3-031-45410-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-45410-3_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-45409-7

  • Online ISBN: 978-3-031-45410-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Navigation