> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
的Ada编程语言经过了多年的发展从面向对象编程到基于契约的编程，吸收了最新的编程思想。Ada 2012将合同引入语言。合同是SPARK的基础，SPARK是Ada的变体，现在是Ada的子集。SPARK的设计是为了让开发人员能够创建可证明的应用程序，而不是在注释中突出显示的猜测。
现在是开始Adacore的年度为Ada制作比赛．它接受Ada或SPARK编程的项目。竞争是管理的hackster.io．第一名的奖金是2000美元，前十名的奖金是600美元。这对于正在学习Ada/SPARK的程序员或正在磨练自己技能的程序员来说并不坏。
的开始页面突出低成本平台，如果你想使用它们之一。它包括一系列Cortex-M0, Cortex-M4和Cortex-M7以及RISC-V开发工具包。的Crazyflie无人机是其中的一部分。Anthony Gracio将C代码重写为SPARK在此过程中发现并修复一些bug。您可以在该软件的基础上进行构建，而不是从零开始。
免费的小昆虫社区版支持ARM、RISC-V和x86开发。供参考，GNAT最初代表GNU纽约大学阿达翻译官。我已经用过工具了Cortex-M4和Crazyflie。的CCG (Common Code Generator)可以生成C代码允许支持大多数其他平台。例如，它可以用来支持在Arduinos上流行的8位AVR。
如果你想了解SPARK和Ada的概况你可以看看我在特伦顿计算机节．有很多方法可以学习如何在Ada和SPARK中编程，包括交互式learn.adacore.com网站我最近写了．我推荐阅读向艾达新手学习给那些没有接触过SPARK/Ada的人。
使用SPARK和Ada的原因有很多，包括降低成本并提高代码质量．和Ada一起制作是开始学习如何使用这些工具的一个很好的理由。
今年，我将与AdaCore的软件工程师Fabien Chouteau一起担任比赛评委。我希望在那里看到你的一个项目。
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
