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

Return to Home

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:

A challenge for system designers is tracking noise contributions of the distributed system, understanding correlated versus uncorrelated noise sources, and making an estimate of overall system noise.

Parasoft, an automated software testing company, announced support for the updated 2019 Common Weakness Enumeration (CWE) Top 25 and "On the Cusp".

The new MB1-10AP Embedded PC, from ICP Deutschland GmbH, is the basic model of the new modular M-Series. It particularly compact in a 1.5 litre housing and modular due to its i-expansion solution.

As AI technology and deployments have progressed, several new engineering challenges have presented themselves.

AAEON, a developer of AI edge computing platforms, announced the release of BOXER-8220AI box PC powered by NVIDIA Jetson Nano.

TOPS. FLOPS. GFLOPS. AI processor vendors calculate the maximum inferencing performance of their architectures in a variety of ways. Do these numbers even matter?

Semtech Corporation, supplier of analog and mixed signal semiconductors and, announced the release of its new BlueRiver audio visual processor (AVP) chipset.

eSilicon and Samtec co-developed system-level solutions that emulate next-generation data center architectures for typical 19-inch rack-mount applications

The systems are getting smaller and smaller and more and more complex, with a lot of different functionality being combined on a single chip.

Ultimately, at the end of the next three blogs, insights will be provided about the stability of the transimpedance amplifier (TIA) circuit.

OS selection is quite a large subject and there are many nuances, and this is a matter that I have written about many times. Today I wanted to ponder the matter of time; what model of time is relevant

Since its introduction in 1999, Wi-Fi has become ubiquitous. According to Wi-Fi Alliance, the 30 billionth device was shipped in 2019, just 20 years after the first.

Nuweba, a Function-as-a-Service platform that makes serverless technology, announced its serverless platform is the first to support the use of graphics processing units (GPUs), in a press release.

Though easy to use, touch-screen displays can be challenging to develop. They involve a host of critical decisions that directly affect product quality.

Xilinx and SK Telecom today announced that SK Telecom has adopted Xilinx Alveo™ Datacenter Accelerator cards to power a real-time AI-based physical intrusion and theft detection service.

COM-HPC pinout approved.

Yocto is an open-source Linux project. Using it in your design can make the design process simpler and quicker.

Today, automated testing is a key part of hardware design based on a modular approach.

The pace of learning hasn’t slowed since. It’s no longer just software that’s drag-and-drop. Today you can design boards using tools like Geppetto.

New Evaluation Kit Provides Powerful Support for the Development of Battery Maintenance Free IoT Equipment.