> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
我现在写了关于微控制器上的ADA一段时间，包括运行它意法半导体Cortex-M4平台(参见“在皮质m4上运行Ada 2012”)．我知道Ada没有以下的C或c++，但是如果您正在进行嵌入式开发，特别是在安全性和安全性关键需求非常重要的情况下，那么它值得一看(参见“Ada与C的比较”)．
的与艾达竞争,由AdaCore，是一场旨在突出ADA编程的新竞争。这有点是挑战，因为ADA开发人员代表了一个更小的群体。尽管如此，人们仍然不需要进入ADA Guru。此外，您可以找到免费的ADA工具骗局libre.网站。
Libre网站包括Eclipse IDE支持以及GNAT编程工作室（GPS）。思考基于Web的项目？有一个ADA Web服务器（AWS）开始构建，加上Cortex-M和Cortex-A平台的支持。本网站和其他开源ADA站点之间的最大区别是支持最新的ADA 2012标准，其中包括对合同的内置支持(参见“ADA 2012：合同的乐趣”)．SPARK也可以在网站上玩(参见“Ada和SPARK有什么区别?”)如果您的项目有更高要求的可靠性、安全性和安全性需求。
一对疯狂苍蝇2.0纳米无人机(见图)将分别为罗伯特·杜瓦和艾达·洛夫莱斯夫人颁发可靠性奖和创造性奖。crazyfly 2.0 nano已经有了一个基于ada的软件解决方案(参见“Ada/SPARK修复疯狂飞行纳米四旋翼”)一个独立的开源、基于ada的自动驾驶仪项目已经启动并运行(参见“AdaPilot“Sparks”自动驾驶仪项目”)．
顺便说一下，crazyfly 2.0 nano Ada项目是由Adacore的一个暑期实习生完成的，他之前没有使用过Ada。在将C版本的软件翻译给Ada的过程中，他发现了许多错误。
关于艾达的流言流传甚广(参见“关于Ada的11个神话”)但大多数都是由那些从未使用过它或使用过非常旧版本的人传播的。现在有机会看看艾达说不定还能赚点钱。
我将是评审之一，审阅这些项目。我曾经帮助过各种类似的比赛，但大多数都是围绕硬件组织的。尽管如此，几乎每一个竞争都是关于支持硬件的软件工具。这并没有太大的不同，除了您可以选择硬件。
我们可能不会在比赛中看到很多艾达的职业选手。这是因为他们的项目往往与安全性相关，而不仅仅是从编程的角度。
寻找零件?去SourceESB．
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
