NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
Customer success: real results with AdaCore technologies
Customer
NVIDIA Corporation is among the world's most trusted names in graphics processing units, embedded systems, high-performance computing, and artificial intelligence. Their GPUs and other systems are found in millions of products worldwide.
Challenge
Confront an increasingly hostile threat environment for embedded systems by finding a more measurable solution for verifying system security and safety in their critical software and firmware components.
Solution
Replace critical firmware and software components written in C/C++ with new components written in SPARK, the software language designed for embedded systems where predictable and highly reliable operation is essential.
Results and Benefits
NVIDIA is now using SPARK to mathematically guarantee—and demonstrate to customers and regulators—a total absence of runtime errors in its most critical components and of unspecified behaviors in its root-of-trust applications. SPARK thus provides NVIDIA and its customers the highest possible assurance against cyberattacks and critical systems failures.
Ready to achieve the same results?
Discover how AdaCore can help you build safe, secure, and high-integrity software tailored to your project’s needs. Speak with our team to explore solutions, pricing, and long-term support options.