From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,
	T_TVD_FUZZY_SECURITIES autolearn=unavailable autolearn_force=no
	version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: NVIDIA announcement about Ada & SPARK
Date: Wed, 6 Feb 2019 12:40:28 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Message-ID: <q3ekjs$ndu$1@dont-email.me>
Injection-Date: Wed, 6 Feb 2019 12:40:28 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="77e71fe13c90dc4714b0400989b615ba";
	logging-data="23998"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19mrQrXQVDpV6yPKPah+F0bceTKOdjs6Hs="
Cancel-Lock: sha1:+QSX5k9NB8NK7qiU49iIj67yLt0=
Originator: dirk@orka.cs.kuleuven.be (Dirk Craeynest)
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Xref: reader01.eternal-september.org comp.lang.ada:55447
Date: 2019-02-06T12:40:28+00:00
List-Id: <comp.lang.ada>

FYI, as I haven't seen this mentioned here yet.

https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/

"Maximum Security Vision: Securing the Future of Safe Autonomous Driving"
"NVIDIA works with AdaCore to leverage Ada and SPARK programming languages for software security."

February 5, 2019 by Shri Sundaram

Some quotes from the article:

  "Measures like the incorporation of Ada and SPARK languages into
  NVIDIA's platform can help improve the robustness of automotive
  security, especially as cars become increasingly automated."

  "``Self-driving cars are complex and require sophisticated software
  exceeding the most rigorous standards out there,'' said Daniel
  Rohrer, vice president of software security at NVIDIA. ``Ada and
  SPARK bring exciting possibilities to address the critical needs
  of this ecosystem.''"

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

*** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies ***
June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019