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/.