> >网站资源
..> >图书馆: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