Adaのオペレーティングシステム

シンプルなデザインを知っているのだろうか、非常に単純なオペレーティングシステムがAdaで書かれているのだろうかまたは可能であれば、例を挙げていただきありがとうございます。Adaのオペレーティングシステム

出典

2011-06-18 Alexandre

この[スレッド]（http://groups.google.com/group/comp.lang.ada/browse_frm/thread/dea2d62ab1462538）を参照してください。 – trashgod

...あなたはGoogleアカウントを持っていると仮定します。 –

私はTrashgodが同じトピックについてgoogleでスレッドを見つけたのを見ました！ – Shark8

もありタンプさ：https://github.com/Lucretia/tamp

をしかし、それはあなたがOSにそれを呼び出すことができます状態ではありません。

出典

2011-06-21 06:30:12 oenone

ありがとう（：、それは私を助けてくれる（： – Alexandre

私はAdaで書かれた唯一のOSは、完璧さの一部を実現していることを認識していますが、MaRTE OSです。これは、「組み込みハードリアルタイムオペレーティングシステムアプリケーション "。

出典

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

Army Secure Operating System（ASOS）は、ほとんどがAdaで書かれています。 Orange Book A1の保護要件を満たし、より直接的にAdaアプリケーションをサポートし、Sun3で実行するように設計されています。総ソフトウェアは55,000行のコードでした。それはチェックポイント/リストアとそれ以降は安全なRDBMSを持っていました。

http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF

出典

2014-05-19 00:19:31

リンクは死んでいます:( –

）最高の作品その時のハイ・アシュアランス・セキュリティについては、ACMとIEEEで公開されていましたが、これは最終報告書の無償コピーでしたが、イントロはあなたに十分に伝えます。スペックと検証付き –

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

Adaのオペレーティングシステム

答えて

関連する問題