* NVIDIA announcement about Ada & SPARK
@ 2019-02-06 12:40 Dirk Craeynest
2019-02-07 18:36 ` Olivier Henley
0 siblings, 1 reply; 2+ messages in thread
From: Dirk Craeynest @ 2019-02-06 12:40 UTC (permalink / 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-02-07 18:36 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-02-06 12:40 NVIDIA announcement about Ada & SPARK Dirk Craeynest
2019-02-07 18:36 ` Olivier Henley
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox