ADACORE, NVIDIA Accelerate ISO 26262 Compliance by Securing Critical Firmware with Ada and SPARK

NEW YORK and PARIS. AdaCore and NVIDIA are rewriting safety-critical firmware in select ADAS and autonomous drive applications from C to the Ada and SPARK programming languages. NVIDIA will also migrate certain SoC product lines to the RISC-V instruction set. The hope is both moves will accelerate the ISO 26262 verification process.

The Ada language has multiple built-in features to detect code defects early in the software development lifecycle (SDLC). SPARK is a restricted set of Ada features intended to perform mathematical proofs and increase the certainty of catching bugs and vulnerabilities. It facilitates static analysis that can formally demonstrate certain properties, such as correct data flows, the absence of runtime errors like overflows, and satisfaction of functional requirements.

Fore more information, visit www.adacore.com/industries/.

About the Author

Brandon Lewis, Editor-in-Chief of Embedded Computing Design, is responsible for guiding the property's content strategy, editorial direction, and engineering community engagement, which includes IoT Design, Automotive Embedded Systems, the Power Page, Industrial AI & Machine Learning, and other publications. As an experienced technical journalist, editor, and reporter with an aptitude for identifying key technologies, products, and market trends in the embedded technology sector, he enjoys covering topics that range from development kits and tools to cyber security and technology business models. Brandon received a BA in English Literature from Arizona State University, where he graduated cum laude. He can be reached by email at brandon.lewis@opensysmedia.com.

Follow on Twitter Follow on Linkedin Visit Website More Content by Brandon Lewis