你将学习
- 谁在这次比赛中获得了第一名?
- 为什么Ada和SPARK对嵌入式开发人员很重要。
的与艾达一起参加2021年的比赛有赢家。我是这次比赛的评委之一，如果你曾经当过评委，你就会知道这份工作并不容易。我还运行美世科学与工程展览会有很多俱乐部成员，更多的参赛选手和更多的评委。后勤是一个挑战，但最终的结果才是最重要的。
今年，无人机创业公司SRQ Robotics的创始人兼首席执行官Tharindu Suraj Liyanage获得了2000美元的第一名。他的项目，“带ToF传感器的自动疯狂苍蝇”(图1)，构建在一个早期项目的基础上，该项目将c语言作为基础从C/ c++到Ada/SPARK的飞行管理软件．
Tharindu的项目增加了Z-ranger甲板在疯狂苍蝇上安装激光传感器。这增加的代码和硬件允许无人机做高度保持。Z-ranger甲板使用一种基于激光的飞行时间(ToF)传感器精确跟踪高度达2米。的hackster.io平台主机这个Crazyflie项目以及其他项目的内容。
“过去五年里，我一直在为无人机实施定制固件，”利亚纳奇说。“在发现crazyfly 2.0纳米无人机的Ada固件存在后，我开始测试它，并能够在几周内理解其核心功能。Ada固件的简单性让我能够实现自己的功能，可用的Ada库使我能够在无人机中集成不同类型的传感器。我计划继续我的无人机固件实现与Ada，并使他们的开源所有有热情的人。”
我就不讲所有的赢家了比赛现场的确如此，但值得一提的是优等生奖。这是一位名叫Ahmed Hamdy的理学硕士。马来西亚吉隆坡马来西亚大学计算机与系统工程专业学生。许多项目都是由那里学习Ada和SPARK的学生完成的。我之前讲过Make with Ada winner在前一篇文章中了解了Ada和SPARK．
“Ada Accelerometer Driver + Stable Nerve Game”项目使用了内置的BBC微处理器v1.5LSM303AGR加速度计(图2)．它还包含一个led阵列，可用于用户反馈。这些是用来复制物理游戏中移动的桌子，在那里你尝试着移动一个小球。在这种情况下，游戏将保持表格的水平。AdaCore编译器和运行时已经处理了微:位，但添加对驱动程序的支持和制作游戏是项目的一部分。
许多项目都有直接处理I/O端口的Ada代码，但是他们经常必须与基于c的运行时进行交互，这些运行时是由他们所工作的平台提供的。我认为这次竞赛中使用的所有平台都是基于arm的，因为有各种各样的低功耗微控制器开发工具可供使用。AdaCore的开源编译器支持x86和RISC-V这样的平台。
我这次没有看到的是那些有用得着的项目火花和合同．考虑到合同和可证明的软件更高级一点，这并不太令人惊讶，在尝试学习和使用语言中的基础知识时，这可能会让人不知所措。另一方面，Ada可以节省开发成本即使再加上更高级的训练。
有一个新的"SPARK Ada为MISRA C开发人员的文件和交互式培训learn.adacore.com更适用于高级C/ c++程序员。它内容广泛，但仍不失为一本好书。
