Ada and SPARK programing languages enter automotive ISO-26262 market with NVIDIA
On June 4, high-integrity software tooling expert AdaCore 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 an