From: dirk@orka.cs.kuleuven.be (Dirk Craeynest)
Subject: NVIDIA announcement about Ada & SPARK
Date: Wed, 6 Feb 2019 12:40:28 -0000 (UTC)
Date: 2019-02-06T12:40:28+00:00 [thread overview]
Message-ID: <q3ekjs$ndu$1@dont-email.me> (raw)
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
next reply other threads:[~2019-02-06 12:40 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-06 12:40 Dirk Craeynest [this message]
2019-02-07 18:36 ` NVIDIA announcement about Ada & SPARK Olivier Henley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox