Embedded Technologies Expo
IoT
- IoT
- What's New
- Semantic Interoperability
- Node.js
- The IoT Defined
Industrial
- Industrial
- Machine Learning
Automotive
Security
MakerPro
Medical
Power Electronics
Processing
Dev Tools & OS
Networking
Hardware
Storage
Product Search
Reference Designs
Dev Kit Selector
White Papers
Webcasts & Events
- Webcasts & Events
- Upcoming Webcasts
- Industry Events Calendar

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:

AAEON, an associate member of the Intel Internet of Things Solutions Alliance, celebrates the launch of the Second Generation Intel Xeon Scalable Processors.

This is the second part of a four-part series of articles presenting a unique product MPU Plus and a methodology for using the Cortex-M MPU to achieve MCU security.

Where consolidation becomes a challenge is when you want to retrofit into existing equipment. Swapping in new boards or servers isn’t as simple as it sounds, particularly from a software perspective.

Power management is a critical design factor in electronics. Product features of consumer application, space-based systems, data center solutions, high-performance computing are constrained by budget.

SAPPHIRE Technology will support the AMD Ryzen Embedded R1000 SoC with the AMD Radeon Vega 3 Graphics on the SAPPHIRE FS-FP5R 5x5 and SAPPHIRE IPC-FP5R Mini-ITX Embedded platforms.

The scale and rate of growth are both huge; with significantly more connected nodes than there are people on the planet and herein lays both the strength and vulnerability of the IoT.

This is the first part of a four-part series of articles presenting a unique product MPU‑Plus® and a methodology for using the Cortex-M Memory Protection Unit (MPU) to achieve improved MCU security.

Tualatin, OR -- April 17, 2019-- VersaLogic Corporation is now shipping the "Swordtail", the latest in their line of production-ready Arm(r)-based embedded computers.

Michael Dolan, Vice President of Strategic Programs for the Linux Foundation joins this week’s Five Minutes With…discussion.

Kyocera and Vicor will collaborate on next-generation Power-on-Package solutions, to maximize performance and minimize time-to-market for emerging processor technologies.

MagnaChip Semiconductor Corporation released its 28-nanometer (nm) OLED (Organic Light Emitting Diodes) DDIC (Display Driver IC) for smartphone screens.

The 5G infrastructure now demands another round of innovation on the part of semiconductor firms to improve network efficiency with more adaptable solutions.

We’ll explore one of the most crucial, and frequently missed, components of predictive maintenance: workflow failures and knowing how to predict them.

Designed for the next generation of connected environments—learn how Z-Wave 700’s breakthrough advantages unlock the full potential of the smart home.

There are a great many embedded CPUs on the market today, so selecting the right one for a given project is a challenge.

In this article, we’ll look at virtualization technologies being adopted and what kinds of features and functions are important for increasing security around IoT endpoints.

This week the Embedded Insiders are joined by Steven Crouch, CTO of Blackmore Lidar, who discusses FM lidar and its impact on the automotive market. We also recap what went on at the GPU...

Boards and systems designed around an Nvidia processor are becoming more commonplace. But where they haven’t made much of a mark—until now—is in the mil/aero industries. The architecture seems...

The SBC3511 features the Intel Xeon E-2176M 'Coffee Lake' processor for maximum performance, includes innovative thermal management to maintain high performance even in adverse environments, and...

VadaTech, a leading manufacturer of integrated systems, embedded boards, enabling software and application-ready platforms, announces the AMC741. The AMC741 is ideal for packet filtering,...