> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
nvidia.已经参与了先进的汽车系统的设计，因为这些平台需要更高水平的计算性能，特别是在这些解决方案中将机器学习（ML）纳入其中。Nvidia创始人兼首席执行官Jensen Huang宣布了一个与梅赛德斯 - 奔驰合作在今年的消费电子产品展(图1)。
1.梅赛德斯-奔驰(Mercedes-Benz)执行副总裁萨贾德·汗(Sajjad Khan)(左)和英伟达(NVIDIA)创始人兼首席执行官黄延森(Jensen Huang)(右)强调了他们关于下一代人工智能汽车和新型移动解决方案的计划。
NVIDIA的DRIVE AGX Pegasus和Xavier(图2)针对自动驾驶汽车和高级驾驶系统，有一系列可扩展的硬件平台可供选择。这些平台结合了NVIDIA的Xavier处理器和下一代TensorCore gpu。
硬件只是解决方案的一部分。NVIDIA拥有广泛的软件阵列，包括ML支持，如TensorRT高性能深度学习推理系统。
2.英伟达的DRIVE AGX可扩展硬件主要针对自动驾驶汽车和高级驾驶系统。
高可靠性和安全相关的系统需要相应的软件支持。需要这种支持的一个领域是航空电子设备。航空电子系统通常需要大量的软件，但自动驾驶汽车和先进的汽车系统实际上会有更多的软件来处理同样关键的安全和可靠性问题。
Shri Sundaram，NVIDIA Drive PX AI的产品管理领导者，最近写了一个博客题为“最大的安全愿景:确保自动驾驶安全的未来。“它解决了NVIDIA和adacore的协作，以利用ADA和Spark编程语言进行软件安全性。
Shri指出:“随着软件变得越来越复杂，人为错误的可能性也越来越大，从而带来了更多潜在的安全和安全风险。
“为了确保这个重要的软件是安全的，NVIDIA正在与之合作AdaCore，是一家提供安全和关键安全软件开发和验证工具的公司。通过在某些固件元素中实现Ada和SPARK编程语言，我们可以减少人为错误的可能性。”
“自动驾驶汽车很复杂，需要复杂的软件超过那里的最严格的标准，”NVIDIA软件安全副总裁Daniel Rohrer说。“ADA和Spark带来了令人兴奋的可能性来解决这种生态系统的关键需求。”
在过去的几年里，我已经写了许多关于Ada和SPARK的文章，涵盖了以下主题潜在的成本节约和解决复杂系统除了语言的可靠性和安全性方面。SPARK实际上是Ada的一个子集，它被设计成在数学上被证明是无错误的。可证明性由一个称为《Ada 2012》中引入的“合同”。
除了用于使用这些语言的主要领域的其他非航空价和军用空间之外，对汽车空间的兴趣已经升级了汽车空间。由于在支持它们所需的代码量方面，鉴于自动驱动系统所需的复杂程度，这是有道理的。
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
