Ada and SPARK enter the automotive ISO-26262 market with NVIDIA

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA

NEW YORK -- High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA, they are set to publish an off-the-shelf reference process, allowing others to follow their lead.

Ada and SPARK Enter Automotive ISO-26262 Market with NVIDIA

New York—High-integrity software tooling experts, AdaCore, have announced the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA, they are set to publish an off-the-shelf reference process, allowing others to follow their lead. NVIDIA developed Drive OS, the reference operating system and associated software stack designed spec...

Nvidia drives Ada and SPARK into driverless cars

AdaCore and Nvidia have developed an open source reference flow for the Ada and SPARK programming languages in safety critical automotive software, particularly for driverless cars. The flow enables faster development of ISO26262 software on top of the  Nvidia DriveOS operating system. Nvidia developed DriveOS with 7m lines of codes using SPARK alongside the certification […] The post Nvidia drives Ada and SPARK into driverless cars appeared fir…