>>网站资源
.. >>图书馆：Techxchange
.. .. >> Techxchange：嵌入式软件
. . . . . .>>主题:Ada和SPARK
关于Ada在微控制器上运行的文章我已经写了一段时间了，包括在一个stmicroelectronics.Cortex-M4平台（看 ”在Cortex-M4上运行ADA 2012“）。我知道ADA没有以下C或C ++，但如果您正在进行嵌入式开发 - 特别是在列表中的安全和安全性要求很高的情况下值得注意（看 ”比较ADA和C.“）。
这与Ada竞争，赞助骗子是一项旨在突出艾达节目的新竞赛。这是一个更大的挑战，因为Ada开发人员代表的是一个小得多的群体。不过，也不必是艾达大师才能进去。此外，您可以找到免费的Ada工具作为Adacore自由泳地点。
Libre站点包括Eclipse IDE支持以及GNAT编程工作室(GPS)。考虑一个基于网络的项目?有一个ADA Web服务器(AWS)开始构建，加上对Cortex-M和Cortex-A平台的支持。这个站点和其他开源Ada站点的最大区别是支持最新的Ada 2012标准，其中包括对合同的内置支持（看 ”Ada 2012:契约的喜悦“）。火花也在网站上玩（看 ”Ada和Spark之间有什么区别？“）如果您的项目更苛刻的可靠性，安全性和安全要求。
一对Crazyflie 2.0纳米无人机（见图）将分别是Robert Dewar和Lady Ada Lovelace奖的奖品，分别用于可靠性和创造性。Crazyflie 2.0 nano已经拥有基于ADA的软件解决方案（看 ”Ada / Spark Fixes Crazyflie nano四轮车“）和一个单独的开源，基于ADA的AutoPilot项目已启动和运行（看 ”Adapilot“Sparks”自动驾驶仪项目“）。
顺便说一下，CrazyFlie 2.0纳米ADA项目由一名古老的暑期实习生完成，他预先没有使用过ADA。他在将软件的C版本转换为ADA的过程中发现了许多错误。
很多神话传染了关于ADA（看 ”关于艾达的11个误区“），但大多数人都被那些从未使用过的人或使用过旧版本的人繁殖。现在有机会查看ADA，甚至可以拿起一点现金。
我将成为一个看这个项目的法官之一。我过去有各种比赛帮助，但大多数倾向于在硬件周围组织。尽管如此，这些比赛中的几乎每个比赛都是关于支持硬件的软件工具。除了您可以选择硬件之外，这并不不同。
我们可能不会看到竞争组合中的许多ADA专业人士。这是因为他们的项目往往是与安全相关的，而不是完全来自编程角度。
寻找零件？去sourceesb.。
>>网站资源
.. >>图书馆：Techxchange
.. .. >> Techxchange：嵌入式软件
. . . . . .>>主题:Ada和SPARK
