All Topics
All Topics
Technology
Technology
Design
Design
Programming
Programming
Science
Science
News
News
Gaming
Gaming
Entertainment
Entertainment
Business
Business
Finance
Finance
Sports
Sports
Health
Health
Food
Food
Travel
Travel
Art
Art
Music
Music
Books
Books
Education
Education
Politics
Politics
Personal
Personal
No algorithm. No AI slop. No ads. Just RSS. Pro-human. Indie writers. Real journalism. Open web. Chronological. Hand toasted.

AdaCore and NVIDIA Introduce Ada and SPARK Programming Languages to Automotive Market

By

gneuromante

1y ago· 2 min readenNews

Summary

AdaCore and NVIDIA introduce Ada and SPARK programming languages into the automotive market with a reference process for developing autonomous vehicle applications on DRIVE AGX-based hardware.

Key quotes

· 2 pulled
High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market.
NVIDIA developed Drive® OS, the reference operating system and associated software stack designed specifically for developing and deploying autonomous vehicle applications on DRIVE AGX-based hardware.
Snippet from the RSS feed
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

You might also wanna read