New Hardware-Software Approach Boosts AI Safety on Embedded Systems

Taisa Kushner (Galois Inc), Ryan McCleeary (Galois Inc), Martin Brain (City St George University of London)· July 20, 2026 View original

Summary

This research proposes a novel hardware and software scheme for deploying complex AI algorithms, like deep neural networks, on resource-constrained embedded systems, ensuring both efficiency and correctness for safety-critical applications. It introduces a real-time adaptive-precision quantization method and a systolic array hardware design to improve resilience against attacks and ensure high-precision mathematics.

Deploying advanced AI, such as deep neural networks, on embedded systems presents significant challenges, especially for safety-critical applications like medical devices. Current hardware solutions prioritize throughput over computational correctness and security, making them vulnerable to fault injection attacks. Software methods for porting algorithms, like quantization, are either too static and inefficient or dynamic but lack the necessary soundness for critical tasks. This paper introduces a comprehensive solution to these issues. It combines a new real-time, dynamic, and sound adaptive-precision quantization approach with specialized hardware. The software component uses left-to-right arithmetic to process the most significant bits first, dynamically adjusting precision and performing sensitivity analysis to manage decision-boundary risks. Complementing this, a novel systolic array hardware design is proposed to execute this left-to-right arithmetic efficiently. Together, this integrated scheme aims to enable resource-efficient and robust AI at the edge, providing sound, high-precision mathematics that is resilient to bit-flip attacks on critical data. The software implementation is complete, with hardware development underway.

Why it matters

Professionals developing AI for embedded or safety-critical systems need solutions that guarantee both performance and verifiable correctness, especially against security vulnerabilities. This research offers a path to more reliable and secure AI deployments in sensitive environments.

How to implement this in your domain

  1. 1Evaluate current embedded AI deployments for vulnerability to fault injection attacks and precision errors.
  2. 2Investigate adaptive-precision quantization techniques for real-time, sound computation in resource-constrained environments.
  3. 3Explore hardware architectures like systolic arrays that support left-to-right arithmetic for enhanced security and precision.
  4. 4Pilot the integration of these advanced quantization and hardware concepts in a non-critical embedded system project.
  5. 5Collaborate with research teams to understand the practical implications and potential for commercialization of such novel hardware-software co-design.

Who benefits

HealthcareAutomotiveAerospaceIndustrial IoTDefense

Key takeaways

  • Current embedded AI solutions struggle with correctness and security in safety-critical applications.
  • A new approach combines real-time adaptive-precision quantization with novel systolic array hardware.
  • This system processes most significant bits first, dynamically adjusting precision and managing risk.
  • The goal is robust, resource-efficient, and secure AI at the edge, resilient to bit-flip attacks.

Original post by Taisa Kushner (Galois Inc), Ryan McCleeary (Galois Inc), Martin Brain (City St George University of London)

"arXiv:2607.15328v1 Announce Type: cross Abstract: Complex algorithms such as deep neural networks are increasingly being deployed on embedded, resource constrained platforms. However, existing hardware and software schemes for implementing these models on the edge fall short, par…"

View on X

Originally posted by Taisa Kushner (Galois Inc), Ryan McCleeary (Galois Inc), Martin Brain (City St George University of London) on X · view source

Want to go deeper?

Turn these trends into skills with Learnijoy's hands-on AI & tech courses.

Explore courses