Ada在哪里使用(除了安全关键软件)?

时间:2008-12-14 06:29:32

标签: ada

当人们想到阿达时,人们通常会想到航空电子设备。

我感兴趣的是Ada的其他一些应用程序?在哪里使用?是否有任何用Ada编写的应用程序?

例如,是否有写入CRUD应用程序?还是游戏?等

8 个答案:

答案 0 :(得分:31)

迈克尔·费尔德曼积极维护一份“Who's Using Ada/Real-World Projects”名单,其中列出了所有类型的军事和商业项目。而且由于他保持贡献者的机密性,项目将出现在那里,否则他们的公司赞助商将不会讨论“Ada Inside”项目。

答案 1 :(得分:16)

除了安全关键系统之外,当你有很多团队在一个非常大的项目上工作而且代码的逻辑源代码行数超过大约一百或两百万时,Ada才真正发光。

就在那时,所有Ada语言都定义了运行时检查,你有时认为它有点迂腐,并且代码大小增加了太多,变得非常有用。修复数百万行代码中的错误永远不会有趣;运行时检查确实有助于更早,更接近地发现问题。

不幸的是,许多专业使用Ada 83或Ada 95的软件开发人员无法告诉您他们所处理的项目。我听说它也用于空中交通管制系统(在各个国家),铁路运输系统(如巴黎地铁和香港地铁)和银行/金融(路透社等)。

这是一种非常好的语言,并且有人提倡使用它,因为它是一种很好的语言,但有时,当你没有看到分段错误或几个月甚至几年的真正令人讨厌的崩溃时,你开始想要C ++中的代码再次......

答案 2 :(得分:10)

它开始时是国防部的首选语言,因此您可以在DoD计划中找到它。美国宇航局和美国联邦航空局也是大用户。由于这个基础,许多商业航空航天公司也使用它(虽然这可能是“安全关键”)。例如,我认为波音777中的大多数软件都是在Ada中开发的。我认为欧洲航天局也经常使用它。

那就是说,它真的没有用到足够的程度。例如,它自然几乎不受缓冲区溢出攻击的影响,所以它确实应该是OS开发的首选语言。

答案 3 :(得分:6)

Ada最初被认为是一种语言,用于整合用于为美军建立系统的大量语言。因此,您会发现它在防御系统领域的应用程序中使用了很多。有关此类应用程序的示例,请查看Tokeneer案例研究,其源代码现为available online

答案 4 :(得分:5)

我不确定,但是,在阅读了很多关于Ada的内容之后,我认为它非常适合所有与物理相关的计算/自动化任务,因为所有这些编译时和运行时检查(一个很好吃问题是你可以制作两种不兼容的浮点类型,例如长度和质量。

答案 5 :(得分:4)

数量不足。在GNAT出现之前,Ada编译器和开发工具非常昂贵,通常只支持昂贵的硬件,如Suns,Vaxen或IBM Mainframes。

有一些问题 - 各种服装使用SPARK做安全关键的事情,但它倾向于(尽管不是唯一的)定制工作。

答案 6 :(得分:2)

Ada在庞大的,传统的政府目标计划中仍然很受欢迎。它也是VHDL的基础。

答案 7 :(得分:1)

Ada可用于游戏。看看这个:

https://sourceforge.net/projects/adagate/

这是一个新的(2015)使用现代OpenGL和Ada的例子。