Europa Fonds Sichere Betriebssysteme Forschung

Eine niederländische Universität hat einen Europäer gelandet Research Council Grant, um die Arbeit an einem Unix-artigen Betriebssystem fortzusetzen, das zuverlässiger und sicherer als Linux oder Microsoft Windows sein soll.

Der Zuschuss von 2,5 Millionen Euro (3,3 Millionen US-Dollar) wird drei Forscher und zwei Programmierer finanzieren, sagte Andrew S. Tanenbaum, Professor für Informatik an der Vrije Universiteit in den Niederlanden.

Tanenbaum hat Minix entwickelt, ein Betriebssystem, das auf Unix basiert, eine kleine Codebasis hat und starke Sicherheitskontrollen implementiert.

[Lesen Sie weiter: Wie? entfernen Sie Malware von Ihrem Windows PC]

Die neueste Subvention erlaubt weitere Untersuchungen, die das Betriebssystem in die Lage versetzen, sich selbst zu reparieren, wenn ein Fehler entdeckt wird, und Computer zuverlässiger zu machen, sagte Tanenbaum.

"Es irritiert mich zu keinem Ende, wenn Software nicht funktioniert", sagte Tanenbaum. "Einen Computer neu starten zu müssen, ist nur ein Schmerz. Die Frage ist: Können Sie ein System erstellen, das wirklich gut funktioniert?" "

Softwarefehler werden nie beseitigt", schrieb Tanenbaum in den Projektvorschlag. Aber Betriebssysteme wie Windows und Linux sind so ausgelegt, dass sie weniger zuverlässig sind, als sie es könnten, sagte er.

Treiber für Features wie Sound und andere Peripheriekomponenten müssen beispielsweise im Kernel des Betriebssystems installiert sein. oder der Kerncode des Computers. Wenn etwas schief geht, legt es normalerweise die Maschine auf.

Minix ist jedoch so konzipiert, dass Treiber wie Anwendungen außerhalb des Kernels funktionieren, was bedeutet, dass sie im Falle eines Absturzes weitermachen, so Tanenbaum. Das Konzept wird als "Mikrokernel" bezeichnet und nicht als Gegenteil, ein monolithischer Kernel.

Im Tanenbaum-Modell funktionieren andere Komponenten des Betriebssystems in eng begrenzten Modulen, die sich gegenseitig nicht stören können, wenn sie ausfallen. Es verbessert auch die allgemeine Sicherheit.

Ein sichereres Betriebssystem macht Softwarehersteller auch stärker für Software-Schwachstellen verantwortlich. Die Erwartungen an Software seien viel geringer als in anderen Branchen, wo ein Bauteildefekt wie ein Fahrzeugreifen zu Rückrufen und Klagen führe, so Tanenbaum.

Diese Haftung ließe sich leichter zuordnen, wenn die Software weniger komplex und mehr ist "

" Wir wollen eine Software machen, die sehr, sehr zuverlässig ist ", sagte Tanenbaum.

Die Finanzierung wird erlauben, dass die Minix-Forschung noch fünf Jahre weitergeht.