株式会社博展 - 東芝実績動画
オランダの大学はヨーロッパLinuxやMicrosoft Windowsよりも信頼性と安全性を追求するUnix型オペレーティングシステムの開発を継続するための研究評議会の助成金を授与される。
250万ユーロ（330万米ドル）の助成金は3人の研究者と2人のプログラマーに資金を提供するとAndrew S. Tanenbaum、オランダのVrije Universiteitのコンピュータサイエンス教授
Tanenbaumは、コードベースが小さく、強力なセキュリティ制御を実装しているUnixに多少基づいたオペレーティングシステムであるMinixを開発しました。あなたのWindows PCからマルウェアを削除する]
最新の許可は、バグが検出されたときにオペレーティングシステムを修正してコンピュータの信頼性を高めることを可能にするためのさらなる研究を可能にする、Tanenbaum氏99>「ソフトウェアがうまくいかないときは、私は終わりがないように苛立ちます」とTanenbaum氏は言います。 Tanenbaum氏は、「コンピュータを再起動するのはちょっと苦しいです。問題は「実際にうまくいくシステムを作れますか？」ということです」と、Tanenbaum氏は書いています。しかし、WindowsやLinuxなどのオペレーティングシステムは、信頼性が低くなるように設計されています。たとえば、サウンドやその他の周辺コンポーネントなどの機能のドライバは、オペレーティングシステムのカーネル内にインストールする必要があります。またはコンピュータのコアコード。しかし、何かが間違っていると、通常はマシンがハングアップします。Minixはドライバがカーネル外のアプリケーションと同様に動作するように設計されています。この概念は反対のモノリシックカーネルではなく、「マイクロカーネル」と呼ばれています。
Tanenbaumのモデルでは、オペレーティングシステムの他のコンポーネントは、故障した場合に互いに干渉し合わない厳密に制約されたモジュールで機能します。また、全体的なセキュリティも向上します。
より安全なオペレーティングシステムにより、ソフトウェアベンダーはソフトウェアの脆弱性をより深刻なものにしてしまいます。ソフトウェアに対する期待は、自動車タイヤのようなコンポーネントの故障がリコールや法的訴訟につながる他の産業よりもはるかに低いとTanenbaum氏は述べている。しかし、ソフトウェアの複雑性が低いほど、
「非常に信頼性の高いソフトウェアを作りたい」Tanenbaum氏によると、この資金提供はMinixの研究がさらに5年間続くことを可能にする。