NVIDIA announcement about Ada & SPARK

NVIDIA announcement about Ada & SPARK

[Dirk Craeynest]

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

Re: NVIDIA announcement about Ada & SPARK

[Olivier Henley]

Sir, this makes my month! Thank you.