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

February 5, 2019 Brandon Lewis

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

Embedded Computing Design

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

About the Author

Previous Article

Next Article

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

About the Author

Previous Article

Next Article

We also recommend:

The German technology company TQ presents the TQMxE40 module family based on the processors of the latest Intel Atom® x6000E as well as Intel® Pentium® and Celeron® N and J series.

OnLogic announced a partnership with AMD, allowing consumers access to a new line of industrial servers that are powered by the two company’s processors, AMD Ryzen and AMD EPYC.

Mixel's IP supports high-performance imaging and display applications

congatec fuels launch of 11th Gen Intel Core processors with two new design options

Deciding what hardware to use for your embedded GUI application? From understanding performance and storage requirements to estimating memory needs, you’ll be faced with quite a few important...

There’s no denying the impact Bluetooth has had on the lives of consumers, and to the credit of the embedded community, innovation continues to occur in that space, at a healthy pace.

The device supports 8th/9th Generation Intel® Core™ Processors and the second version of the LGA 1151 chipset supporting Intel’s Coffee Lake processors.

Initial netlists in a formal verification process must be optimized, so additional logic is needed for Design for Test. Here we offer formal verification flow and debugging techniques for 16 nm node.

This week's Embedded Computing Design Product of the Week, Lattice Semiconductor’s Single-Wire Aggregation IP provides two main advantages to FPGA users: Lower cost and less space.

Qeexo AutoML platform now supports machine learning on Arm Cortex-M0 and Cortex-M0+ processors.

Elektrobit is the First Automotive Software Company to Collaborate with Synopsys on Providing Software for Synopsys ARC Functional Safety Processors Used in Automotive ECUs.

Multicore embedded systems are becoming increasingly common. This paper looks at using a hypervisor or multicore framework, or both, to control and mange a multicore system, which is a critical...

Is the RISC-V standard bearer ditching its heritage to become a design mercenary by using Arm? Or is this a longer-term play to help get RISC-V technology into SoCs so it can grow from there?

Arm, NXP© Semiconductors, Telco Systems, and Vodafone have developed a proof of concept uCPE that supports multiple enterprise services such as SD-WAN, routing, and firewall.

Arm has been working on technologies that boost the signal processing and machine learning capabilities in the Arm Cortex-M55 processor.

NXP combined the target-specific optimization capability of the Glow compiler with Arm Cortex-M and Cadence Tensilica HiFi 4 DSP neural network operator libraries within the eIQ IDE.

QuickLogic Corporation announced that it has joined the CHIPS Alliance, the consortium advancing common and open hardware for interfaces, processors, and systems.

Octal flash device incorporating leading embedded AI processing with Renesas’ Dynamically Reconfigurable Processor (DRP) Technology targeted at Industrial IoT market.

The Visconti 4 image recognition processor integrates eight media processing engines, allowing it to execute eight applications simultaneously.

The implementation of Metrics simulator in the Cloud provides scalability so regression tests can run in parallel to complete in hours.