neues betriebssystem
-
Wie willst du das mit einem Haufen Geld und ein paar schlauen Köpfen eigentlich schaffen?
-
ei-dia schrieb:
- absolut sicher ist (d.h., es kann mathematisch gezeigt werden, dass keine
lücken drin sind)der herr gödel hat uns gezeigt, dass gerade dies nicht geht.
-
Das stimmt so aber auch nicht. Natürlich kann man von einem Programm beweisen, daß es korrekt ist. Daß das vielleicht nicht allgemein und für beliebige Programme geht (erst recht nicht automatisch) ist ne ganz andere Sache. Wir wollen hier aber ein einzelnes konkretes Programm verifizieren.
-
ei-dia schrieb:
- absolut sicher ist (d.h., es kann mathematisch gezeigt werden, dass keine
lücken drin sind)Nun ja. ABSOLUT SICHER.
Da gibt es nur eine Möglichkeit: Ein Betriebssystem entwickeln, welches ABSOLUT KEINE Unterstützung für folgende "Schnittstellen" bietet: Weder Diskettenlaufwerke, CD/DVD-Laufwerke, usbanschlüsse noch Netzwerkzeugs(Internet,lan,wlan,etc) werden unterstützt.(sind ja alles potentielle Gefahrenqellen).
Da ergibt sich nur ein kleines Problem: Wie soll man dann das OS auf die HD bekommen?
Tja, wird wohl doch nix mit dem ABSOLUT sicherem OS.
-
@Sgt. Nukem:
die alte hardware wird einfach nicht unterstützt. wer sich keinen neuen rechner kaufen kann, wird sich auch das bs nicht leisten können.alex89ru schrieb:
ei-dia schrieb:
- absolut sicher ist (d.h., es kann mathematisch gezeigt werden, dass keine
lücken drin sind)Nun ja. ABSOLUT SICHER.
Da gibt es nur eine Möglichkeit: Ein Betriebssystem entwickeln, welches ABSOLUT KEINE Unterstützung für folgende "Schnittstellen" bietet: Weder Diskettenlaufwerke, CD/DVD-Laufwerke, usbanschlüsse noch Netzwerkzeugs(Internet,lan,wlan,etc) werden unterstützt.(sind ja alles potentielle Gefahrenqellen).
Da ergibt sich nur ein kleines Problem: Wie soll man dann das OS auf die HD bekommen?Tja, wird wohl doch nix mit dem ABSOLUT sicherem OS.
je nachdem, wie man sicher definiert, geht es durchaus auch mit cdrom, diskette und internet.
-
vergessen schrieb:
Außerdem sollte das Betriebssystem noch folgendes können:
[...]
* Bessere Spiele als TGGC machenTräum weiter.
Bye, TGGC(War, bin, sein.)
