有开源的Ada(最新版本,2012)IDE吗?

有开源的Ada(最新版本,2012)IDE吗?,ide,ada,Ide,Ada,我正在尝试将Ada用于汽车编程,以利用该语言的安全关键能力。我只从(Libre,GNAT编程工作室)看到了开发工具的商业许可证 是否有免费的Ada IDE?一些选项是GNAT GPS和Emacs。您所描述的最接近需求的解决方案似乎位于此处: 不过,我不确定该应用程序支持的ADA版本。GPS和Emacs(ADA模式)都是根据GPL授权的,但这并不重要,因为您不会将它们交付给您的用户。它们都是使您能够运行编译器和相关工具的环境 如果您需要交付经独立权威机构认证的软件,您可能会向他们支付比您从Ada

我正在尝试将Ada用于汽车编程,以利用该语言的安全关键能力。我只从(Libre,GNAT编程工作室)看到了开发工具的商业许可证


是否有免费的Ada IDE?

一些选项是GNAT GPS和Emacs。

您所描述的最接近需求的解决方案似乎位于此处:

不过,我不确定该应用程序支持的ADA版本。

GPS和Emacs(ADA模式)都是根据GPL授权的,但这并不重要,因为您不会将它们交付给您的用户。它们都是使您能够运行编译器和相关工具的环境

如果您需要交付经独立权威机构认证的软件,您可能会向他们支付比您从AdaCore获得的任何支持合同都要多的费用,而且他们可能会希望您获得比使用AdaCore的GPL工具集更多的工具支持

但如果您没有认证或支持问题,则可以将GPS或Emacs与您选择的编译器配合使用:

  • 如果你能在GPL下发布你的软件,你可以使用AdaCore的GNAT GPL编译器
  • 如果没有,您可以使用FSF GCC Ada编译器
你在同一篇文章中提到了“开源”和“免费”,我怀疑后者“像免费啤酒一样免费”。你需要澄清这里的语言。显然,如果您想编写安全关键代码,您将不得不依赖于合格的工具,而这些工具的开发和维护成本高昂。如果重点是“尝试”,那么GNAT编程工作室也可以免费使用,基于Eclipse的IDE(AdaCore、PTC)以及其他可能需要评估的工具也可以免费使用。