Leveraging SPARK and Ada in Cutting-Edge Auto Systems

www.electronicdesign.com

Leveraging SPARK and Ada in Cutting-Edge Auto Systems

www.electronicdesign.com

copacetic@discuss.tchncs.deM to

Automotive Industry@discuss.tchncs.deEnglish · 12 days ago

With security always of paramount concern, NVIDIA is working with AdaCore to take advantage of SPARK and Ada in its automotive platforms.

You must log in or register to comment.

Chat

Automotive Industry@discuss.tchncs.de

automotive@discuss.tchncs.de

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

News and discussion about the automotive industry.

Maybe also interesting:

When submitting stories, try to submit the original source provided it is in english and not paywalled.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

2 users / day
2 users / week
3 users / month
4 users / 6 months
0 local subscribers
542 subscribers
126 Posts
0 Comments
Modlog

mods:
copacetic@discuss.tchncs.de