Document Open Access Logo

Can We Trust AI-Powered Real-Time Embedded Systems? (Invited Paper)

Author Giorgio Buttazzo

PDF
Thumbnail PDF

File

OASIcs.NG-RES.2022.1.pdf
  • Filesize: 1.94 MB
  • 14 pages

Document Identifiers

Author Details

Giorgio Buttazzo
  • Department of Excellence in Robotics & AI, Scuola Superiore Sant'Anna, Pisa, Italy

Cite AsGet BibTex

Giorgio Buttazzo. Can We Trust AI-Powered Real-Time Embedded Systems? (Invited Paper). In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022). Open Access Series in Informatics (OASIcs), Volume 98, pp. 1:1-1:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/OASIcs.NG-RES.2022.1

Abstract

The excellent performance of deep neural networks and machine learning algorithms is pushing the industry to adopt such a technology in several application domains, including safety-critical ones, as self-driving vehicles, autonomous robots, and diagnosis support systems for medical applications. However, most of the AI methodologies available today have not been designed to work in safety-critical environments and several issues need to be solved, at different architecture levels, to make them trustworthy. This paper presents some of the major problems existing today in AI-powered embedded systems, highlighting possible solutions and research directions to support them, increasing their security, safety, and time predictability.

Subject Classification

ACM Subject Classification
  • Computer systems organization
Keywords
  • Real-Time Systems
  • Heterogeneous architectures
  • Trustworthy AI
  • Hypervisors
  • Deep learning
  • Adversarial attacks
  • FPGA acceleration
  • Mixed criticality systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Erika Enterprise RTOS. URL: https://www.erika-enterprise.com/.
  2. The CLARE Software Stack. URL: https://accelerat.eu/clare.
  3. Luca Abeni and Giorgio Buttazzo. Resource Reservation in Dynamic Real-Time Systems. Real-Time Systems, 27(2):123-167, July 2004. Google Scholar
  4. L. Belluardo, A. Stevanato, D. Casini, G. Cicero, A. Biondi, and G. Buttazzo. A Multi-domain Software Architecture for Safe and Secure Autonomous Driving. In Proc. of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2021), Online event, August 18-20, 2021. Google Scholar
  5. Battista Biggio and Fabio Roli. Wild patterns: Ten years after the rise of adversarial machine learning. Pattern Recognition, 84:317-331, December 2018. Google Scholar
  6. 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
  7. Alessandro Biondi, Daniel Casini, Giorgiomaria Cicero, Niccolò Borgioli, and Giorgio Buttazzo et al. SPHERE: A Multi-SoC Architecture for Next-generation Cyber-Physical Systems Based on Heterogeneous Platforms. IEEE Access, 9:75446-75459, May 2021. Google Scholar
  8. 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, September 2020. Google Scholar
  9. 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. URL: http://arxiv.org/abs/1312.6199.
  10. Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. Timing Isolation and Improved Scheduling of Deep Neural Networks for Real-Time Systems. Software: Practice and Experience, 50(9):1760-1777, September 2020. Google Scholar
  11. Daniel Casini, Alessandro Biondi, Giorgiomaria Cicero, and Giorgio Buttazzo. Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems. In Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2021), Online event, May 18-21, 2021. 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. Giorgiomaria Cicero, Alessandro Biondi, Giorgio Buttazzo, and Anup Patel. Reconciling Security with Virtualization: A Dual-Hypervisor Design for ARM TrustZone. In Proceedings of the 18th IEEE International Conference on Industrial Technology (ICIT 2018), Lyon, France, February 20-22, 2018. Google Scholar
  14. 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
  15. Blane Erwin. The Groundbreaking 2015 Jeep Hack Changed Automotive Cybersecurity, 2021. URL: https://fractionalciso.com/the-groundbreaking-2015-jeep-hack-changed-automotive-cybersecurity/.
  16. Giulia Ferri, Giorgiomaria Cicero, Alessandro Biondi, and Giorgio Buttazzo. Towards the Hypervision of Hardware-based Control-Flow Integrity for Arm Platforms. In Proceedings of the Italian Conference on CyberSecurity (ITASEC 2019), Pisa, Italy, February 12-15, 2019. Google Scholar
  17. Yunhui Guo. A Survey on Methods and Theories of Quantized Neural Networks. ArXiv, abs/1808.04752, 2018. Google Scholar
  18. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):40-61, January 1973. Google Scholar
  19. Charlie Miller and Chris Valasek. Remote Exploitation of an Unaltered Passenger Vehicle, August 10, 2015. URL: http://illmatics.com/Remote%20Car%20Hacking.pdf.
  20. Paolo Modica, Alessandro Biondi, Giorgio Buttazzo, and Anup Patel. Supporting Temporal and Spatial Isolation in a Hypervisor for ARM Multicore Platforms. In Proceedings of the 18th IEEE International Conference on Industrial Technology (ICIT 2018), Lyon, France, February 20-22, 2018. Google Scholar
  21. Christoph Molnar. Interpretable Machine Learning: A Guide for Making Black Box Models Explainable, 2021. URL: https://christophm.github.io/interpretable-ml-book/.
  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, August 2021. Google Scholar
  23. Marco Pacini, Federico Nesti, Alessandro Biondi, and Giorgio Buttazzo. X-BaD: A Flexible Tool for Explanation-Based Bias Detection. In Proc. of the IEEE International Conference on Cyber Security and Resilience, Online event, July 26-28, 2021. Google Scholar
  24. M. Pagani, A. Biondi, M. Marinoni, L. Molinari, G. Lipari, and G. Buttazzo. A Linux-Based Support for Developing Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration. Future Generation Computer Systems, To appear. Google Scholar
  25. Marco Pagani, Alessio Balsini, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. A Linux-based Support for Developing 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
  26. 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
  27. 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
  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. 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. Google Scholar
  30. 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
  31. 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
  32. Giulio Rossolini, Alessandro Biondi, and Giorgio Buttazzo. Increasing the Confidence of Deep Neural Networks by Coverage Analysis. In arXiv:2101.12100 [cs.LG], January 2021. URL: http://arxiv.org/abs/2101.12100.
  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. Google Scholar
  34. Tom Simonite. AI Has a Hallucination Problem That’s Proving Tough to Fix, March 12, 2018. URL: https://www.wired.com/story/ai-has-a-hallucination-problem-thats-proving-tough-to-fix/.
  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. URL: http://arxiv.org/abs/1312.6199.
  36. The Royal Society. Explainable AI: the basics - policy briefing, 2019. URL: https://royalsociety.org/-/media/policy/projects/explainable-ai/AI-and-interpretability-policy-briefing.pdf.
  37. 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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact