> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
许多围绕着Ada编程语言的神话，但它继续使用并同时发展。虽然增加了Ada和Spark的采用，但其可提供的子集是缓慢的，但它是显着的。ADA已经讨论了更多的功能，发现在很多使用的嵌入语言中发现，如C +和C＃。它还解决即将到来的语言解决的问题生锈．
Ada和SPARK在军事和航空电子行业可能有大量的支持者。然而，越来越多的开发人员将其用于物联网(IoT)、医疗和汽车应用。
作者最近的一篇论文VDC研究克里斯·隆美尔，标题为“用软件语言选择控制成本:Ada如何提供帮助，强调了这些开发人员转向Ada和SPARK的许多原因，以及为什么您应该更仔细地研究它们。Chris提出了一个非常有说服力的案例，说明Ada和SPARK如何在任何编程环境中降低开发成本，而不仅仅是在军事和航空电子环境中。
克里斯的结论是，“发展技术对与嵌入式系统工程劳动有关的最大和最具变量最大的成本之一。在按时系统部署时不仅可以影响客户满意度，而且可以访问服务收入流，工程团队效率为溢价。我们的研究表明，编程语言选择在该领域可能会产生重大影响，导致项目更短，更好的时间表，最终，更低的开发成本。虽然各种因素可以影响和决定语言选择，但我们的研究表明，ADA的进化使其成为工程组织的越来越令人信服的选择，在技术上和经济上的声音方面提供了一种越来越令人信服的选择。“
本文利用VDC研究的调查结果，解决了ADA，C，C ++，C＃和Java。它还使用VDC总体拥有成本（TCO）计算器的结果。TCO计算器基于来自一系列行业的700多个受访者的调查。它在其计算中使用了各种统计数据，例如每项目的设备，材料清单成本，通过工程学科分配当前项目，每个项目的工程师数量，更多。
1.图表显示了基于通信/网络/x86的项目，每个设备的潜在软件开发成本变化(成本变化与当前使用C的比例)。
其中一个结果显示了基于通信/网络/x86的项目中，每台设备的潜在软件开发成本的变化(图1)．这个例子是许多人中的一个，“使用x86处理器评估一个通信/网络项目，该项目产生10,000个单位，并且为软件开发使用c。”像C ++和C＃这样的其他语言也显示出减少，但ADA在董事会上出现了最好的。
这篇论文强调了Ada和SPARK能够改进软件开发的原因:
- 低成本开发资源
- 平均ADA项目的持续时间较短
- 据报告，Ada项目更有可能按计划进行(图2)
- 集中资源应用
- 软件开发成本节约
2.从调查中采取的这些结果揭示了遵守当前项目时间表，通过软件开发语言使用（响应百分比），来源：VDC研究。
目前使用Ada的大部分工作都是基于旧的Ada 95编译器。一个比较最新的ADA 2012和先前版本突出显示已经发生的变化。物联网或汽车等应用的新发展可能会使用Ada 2012，而SPARK正是基于Ada 2012。它增加了如下功能对ADA的合同．契约允许SPARK证明可以消除各种运行时检查，因为这些条件不会发生，从而减少应用程序的大小并提高性能。
总的来说，艾达已经成功了嵌入式“大型编程”通过处理其他语言中甚至没有处理过的问题，这就容易多了。尽管这些特性通常是由第三方软件提供的，但它会导致开发人员之间的实践不一致。Ada还支持来自以下系统的所有嵌入式平台ARM的Cortex-M通过超级计算机。学习艾达这并不像人们想象的那么难，而且好处是显著的。
你可以在线学习Ada和Spark通过这一点learn.adacore.com网站。AdaCore是ADA和Spark的主要支持者之一。蚊(GNU Ada)是基于的ADA / Spark的开源版本GCC编译器系统．
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
