在Ada操作系统

我不知道有没有人知道任何简单的设计，但一个非常简单的操作系统编写在Ada 或者如果可能的话，举一个例子，谢谢。在Ada操作系统

2011-06-18 Alexandre

也看到这个[线程]（http://groups.google.com/group/comp.lang.ada/browse_frm/thread/dea2d62ab1462538）。 – trashgod

...假设你有一个Google帐户。 –

我看到Trashgod在google上发现我的主题在同一主题！ – Shark8

但它不是，你可以把它称为OS状态。

2011-06-21 06:30:12 oenone

谢谢（：，这是帮助我很多（： – Alexandre

虽然已经出现了一些有希望的开端，但唯一编写在Ada中的操作系统我意识到已经完成了一些相似之处，它被设计为“嵌入式硬实时操作系统应用”。

2011-06-18 20:26:04

那么，我真的知道几个定制的小嵌入式系统，但没有可用于公众查看。可悲的是，由于已经完成了军事/航空电子领域，许多优秀的Ada作品已经被公开隐藏。

RTEMS已经以Ada和C源格式since the mid-1990s提供。

2011-06-20 14:25:22

RTEMS的历史：http://www.rtems.com/ml/rtems-users/2004/september/msg00064.html – user287424

陆军安全操作系统（ASOS）几乎完全是在阿达编写的。它旨在满足Orange Book A1的保护要求，更直接地支持Ada应用程序，并运行在商品Sun3上。总软件是55,000行代码。它甚至具有检查点/恢复以及后来的安全RDBMS。

2014-05-19 00:19:31

链接是死的:( –

最好的工作对于那个时候高度保证的安全性，有时会在ACM和IEEE上用paywalls发布，这只是最终报告的免费拷贝，然而，介绍会告诉你很多，如果你有权访问的话，我还包含一个链接到一个与规格和验证 –

http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA340370&Location=U2&doc=GetTRDoc.pdf –

回答