{"id":659,"date":"2008-08-18T23:08:26","date_gmt":"2008-08-18T22:08:26","guid":{"rendered":"http:\/\/www.mitternachtshacking.de\/blog\/659-genode"},"modified":"2018-05-31T15:46:42","modified_gmt":"2018-05-31T14:46:42","slug":"genode","status":"publish","type":"post","link":"https:\/\/www.mitternachtshacking.de\/blog\/659-genode","title":{"rendered":"Genode"},"content":{"rendered":"<p><a href=\"http:\/\/genode.org\/\">Genode<\/a> ist ein <a href=\"http:\/\/www.genode-labs.com\/produkte\/genode-os-framework\">OS-Framework<\/a>, also ein Entwurf f\u00fcr ein sicheres Betriebssystem. Ich glaube, dass ein sicheres Betriebssystem m\u00f6glich ist. Ich denke sogar, die Dresdner ein hervorragendes Know-how f\u00fcr so ein Projekt mitbringen. Vermutlich sogar eher als z.B. die M\u00fcnchner Universit\u00e4ten an denen ich selbst studiert habe.<\/p>\n<p>Aber &#8230; wer soll das einsetzen?<\/p>\n<p>Klar, es gibt viele Umgebungen in denen ein sicheres vertrauensw\u00fcrdiges Betriebssystem w\u00fcnschenswert w\u00e4re. Kernkraftwerke zum Beispiel, oder Flugzeuge. Nur, da wird das nicht eingesetzt. In Produktionsanlagen kommt inzwischen der gleiche Windows 2003 Server zum Einsatz wie in jedem Rechenzentrum. Die Produktionsanlagensoftware wird inzwischen auch m\u00f6glichst g\u00fcnstig auf Standardhardware mit Standardbetriebssystem entwickelt. Da ist kein Platz f\u00fcr komplexe neue Systemumgebungen.<\/p>\n<p>Andere verl\u00e4ssliche Systeme sind entweder eingestellt (z.B. <a href=\"http:\/\/en.wikipedia.org\/wiki\/Extremely_Reliable_Operating_System\">EROS<\/a>), nur einem eingeweihten Benutzerkreis bekannt (z.B. <a href=\"http:\/\/www.cis.upenn.edu\/~KeyKOS\/\">KeyKOS<\/a>) oder strebt zwar eine formelle Verifizierung an, kommt jedoch praktisch nicht voran (z.B. <a href=\"http:\/\/en.wikipedia.org\/wiki\/Coyotos\">Coyotos<\/a>).<\/p>\n<p>Kurz, ein eventuell interessantes Projekt aus dem sich vielleicht ein paar Ideen in Standardsysteme \u00fcbernehmen lassen aber nichts, dem man eine glorreiche Zukunft bescheinigen k\u00f6nnte.<\/p>\n<p>Das erinnert mich ein wenig an einen meiner Professoren an der Uni, <a href=\"http:\/\/www.meinprof.de\/uni\/prof\/12636\">Prof. Fred Kr\u00f6ger<\/a>. Ein sehr guter Professor aber spezialisiert auf Temporale Logik, ein Thema das eigentlich niemanden so richtig interessiert. Ich fand Teile davon, beispielsweise den Bereich in dem es um Locks ging ganz interessant aber die gesamte Theorie dahinter ist nichts f\u00fcr mich. Ich konnte keine echte praktische Anwendung daf\u00fcr finden.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Genode ist ein OS-Framework, also ein Entwurf f\u00fcr ein sicheres Betriebssystem. Ich glaube, dass ein sicheres Betriebssystem m\u00f6glich ist. Ich denke sogar, die Dresdner ein hervorragendes Know-how f\u00fcr so ein Projekt mitbringen. Vermutlich sogar eher als z.B. die M\u00fcnchner Universit\u00e4ten an denen ich selbst studiert habe. Aber &#8230; wer soll das einsetzen? Klar, es gibt [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[5],"tags":[],"_links":{"self":[{"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/posts\/659"}],"collection":[{"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/comments?post=659"}],"version-history":[{"count":0,"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/posts\/659\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/media?parent=659"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/categories?post=659"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.mitternachtshacking.de\/blog\/wp-json\/wp\/v2\/tags?post=659"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}