在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 –

回答