好吧，又一个无人机项目，但有点特殊……
AdaPilot (http://adapilot.likeabird.eu/) 是一个开源项目，旨在为远程驾驶飞行器制作一个 DO-178 可认证的 (https://en.wikipedia.org/wiki/DO-178B) 控制软件，该软件在安全关键，强大而灵活，而且易于扩展。 开发使用 Ada 和 SPARK 完成，SPARK 是 Ada 的一个子集，适合正式检查 (https://en.wikipedia.org/wiki/SPARK_%28programming_language%29)。
如果您从未使用过 Ada 或者认为它太旧了，这是一个很好的机会来接触它......（并爱上它 :-) ）
不一定是“现成”的解决方案，但如果您正在通过 HTTP 设计某些应用程序，则值得考虑：AWS（Ada Web Server，与 Amazon 无关……只是一个不幸的缩写冲突），它是一个（用 Ada 编写的）库，实现了 HTTP 服务器，可以用于实现从简单的“页面服务”服务器到复杂的 HTTP 应用程序。
请参阅 http://libre.adacore.com/tools/aws/
撰写的评论
好吧，又一个无人机项目，但有点特殊……
AdaPilot (http://adapilot.likeabird.eu/) 是一个开源项目，旨在为远程驾驶飞行器制作一个 DO-178 可认证的 (https://en.wikipedia.org/wiki/DO-178B) 控制软件，该软件在安全关键，强大而灵活，而且易于扩展。 开发使用 Ada 和 SPARK 完成，SPARK 是 Ada 的一个子集，适合正式检查 (https://en.wikipedia.org/wiki/SPARK_%28programming_language%29)。
如果您从未使用过 Ada 或者认为它太旧了，这是一个很好的机会来接触它......（并爱上它 :-) ）
不一定是“现成”的解决方案，但如果您正在通过 HTTP 设计某些应用程序，则值得考虑：AWS（Ada Web Server，与 Amazon 无关……只是一个不幸的缩写冲突），它是一个（用 Ada 编写的）库，实现了 HTTP 服务器，可以用于实现从简单的“页面服务”服务器到复杂的 HTTP 应用程序。
请参阅 http://libre.adacore.com/tools/aws/