> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
的AdaCore与Ada比赛有一个赢家。我参与了比赛的评审工作——我对宣传SPARK和Ada非常感兴趣。我已经做这个工作好几年了，在项目的质量和SPARK的使用方面，我看到了一些惊人的改进。
SPARK是Ada的一个可证明子集，它利用了ADA 2012年的合同支持．许多项目都采用了这一特性，包括获胜者。
“我很高兴今年我们决定突出和奖励比以前版本更多的项目，”法比恩·朱托说，AdaCore软件工程师，并与Ada博客系列文章的作者。“Make with Ada比赛一直以来都充满了创意和创新的项目，今年也不例外。”
John Singleton被授予他的2,000美元SmartBase物联网可调床项目(图1)．该项目产生了一种物联网设备，可以控制有线可调节床的移动。该系统可以感知房间的入住率，甚至当有人在夜间走动时，还会产生床下安全照明。该系统既可以由亚马逊Alexa设备控制，也可以由原来的遥控器控制。
学生奖被授予团队ADArrose．四名学生组成的团队使用了一个意法半导体STM32F429董事会运行自动植物喷水灭火系统(图2)．该系统监测并记录土壤湿度和周围光度。它会自动向植物喷洒适量的水，以保持植物水分充足。系统有多种工作模式，当检测到异常情况时，系统会发出警报。
学生们使用了包含高级需求、低级需求、测试用例和基于契约的编程的正式开发过程。学生奖是Digilent模拟发现2箴包。这是一个很好的平台我之前回顾过．
所有的项目都发布在hackster.io,供细阅。看看你现在可以在线学习SPARK和Ada如果你想学习SPARK和Ada编程。
如果你认为Ada和SPARK的使用成本很高，请查看。”阿达——节约成本的语言?”、“向艾达新手学习，“ 和 ”关于Ada的11个神话．”
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
.. .. .. >>主题：ADA和Spark
