{"id":111367,"date":"2023-11-08T03:10:14","date_gmt":"2023-11-08T01:10:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem"},"modified":"2023-11-08T03:10:14","modified_gmt":"2023-11-08T01:10:14","slug":"google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google hat das Projekt Open Se Cura zur Entwicklung sicherer Software-Hardware-Systeme vorgestellt.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google hat ein komplettes Software-Hardware-System namens Open Se Cura vorgestellt, das darauf abzielt, die Entwicklung von sicheren Chips f\u00fcr Anwendungen im Bereich maschinelles Lernen und k\u00fcnstliche Intelligenz zu vereinfachen. Das Projekt umfasst das Betriebssystem CantripOS sowie Hardware, die auf der OpenTitan-Plattform und einer Prozessorarchitektur auf Basis von RISC-V basiert. W\u00e4hrend der Entwicklung trugen Open Se Cura und CantripOS die Codenamen Sparrow und KataOS, doch um \u00dcberschneidungen mit anderen Projekten zu vermeiden, wurden die finalen Produkte umbenannt. Die Ergebnisse des Projekts, einschlie\u00dflich des Quellcodes f\u00fcr Systemdienste und RTL-Schemata (Register Transfer Level), werden unter der Apache 2.0-Lizenz ver\u00f6ffentlicht. <\/p>\n
Das Betriebssystem CantripOS basiert auf dem Mikrokernel seL4, \u00fcber dem eine Systemumgebung, die in Rust geschrieben ist, l\u00e4uft. F\u00fcr den Mikrokernel seL4 liegt ein mathematischer Beweis der Zuverl\u00e4ssigkeit vor, der die vollst\u00e4ndige \u00dcbereinstimmung des Codes mit den Spezifikationen, die in einer formalen Sprache definiert sind, belegt, insbesondere f\u00fcr RISC-V-Systeme. Die Architektur seL4 zeichnet sich dadurch aus, dass Teile zur Verwaltung von Kernel-Ressourcen in den Benutzermodus verlagert werden und dieselben Mittel zur Zugriffskontrolle f\u00fcr diese Ressourcen verwendet werden wie f\u00fcr Benutzerr\u00e4ume. <\/p>\n
Der Mikrokernel bietet keine vorgefertigten hochrangigen Abstraktionen zur Verwaltung von Dateien, Prozessen, Netzwerkverbindungen usw. Stattdessen stellt er lediglich minimale Mechanismen zur Verwaltung des Zugriffs auf den physischen Adressraum, Interrupts und Prozessorressourcen bereit. Hochrangige Abstraktionen und Treiber zur Interaktion mit der Hardware werden separat \u00fcber dem Mikrokernel in Form von Aufgaben, die auf Benutzerebene ausgef\u00fchrt werden, realisiert. Der Zugang dieser Aufgaben zu den Ressourcen des Mikrokernels wird durch die Festlegung von Regeln organisiert. <\/p>\n
Alle Komponenten des Betriebssystems, mit Ausnahme des Mikrokerns, sind urspr\u00fcnglich in der Programmiersprache Rust geschrieben, wobei sichere Programmiertechniken verwendet werden, die Fehler im Umgang mit dem Speicher minimieren. Unter anderem sind in Rust der Anwendungs-Loader in der Umgebung seL4, Systemdienste, ein Framework zur Anwendungsentwicklung, eine API f\u00fcr den Zugriff auf Systemaufrufe, der Prozessmanager und der Mechanismus f\u00fcr die dynamische Speicherzuweisung geschrieben. <\/p>\n
F\u00fcr den verifizierten Build wird das CAmkES-Toolkit verwendet, das vom seL4-Projekt entwickelt wird. F\u00fcr die Entwicklung von Endanwendungen, die von Systemdiensten dynamisch geladen werden k\u00f6nnen, wird das SDK AmbiML empfohlen, und zur Ausf\u00fchrung von Modellen des maschinellen Lernens wird das Toolkit IREE (Intermediate Representation Execution Environment) angeboten. Komponenten in Rust und Systemdienste wurden unter Verwendung der Cantrip-Frameworks entwickelt. <\/p>\n
Die Einsatzbereiche der Plattform umfassen spezialisierte Chips, die ein besonderes Ma\u00df an Schutz und Best\u00e4tigung der Fehlertoleranz erfordern. Beispielsweise kann die Plattform in Produkten f\u00fcr maschinelles Lernen eingesetzt werden, die mit der Verarbeitung vertraulicher Informationen verbunden sind, wie etwa in Systemen zur Gesichtserkennung und der Verarbeitung von Sprachaufnahmen. Die Kombination eines logisch verifizierten Kernels des Betriebssystems mit vertrauensw\u00fcrdigen Hardwarekomponenten (RoT, Root of Trust) gew\u00e4hrleistet, dass im Falle eines Fehlers in einem Teil des Systems dieser Fehler nicht auf das gesamte System, insbesondere nicht auf den Kernel und kritische Teile, \u00fcbergreift. <\/p>\n
Neben Google waren an der Entwicklung von Werkzeugen und Infrastrukturkomponenten die gemeinn\u00fctzige Organisation lowRISC, die die Entwicklung eines offenen Mikroprozessors auf Basis der RISC-V-Architektur \u00fcberwacht, sowie die Unternehmen Antmicro und VeriSilicon beteiligt. Der von lowRISC entwickelte Prozessor wurde als Kern f\u00fcr die Erstellung vertrauensw\u00fcrdiger Hardwarekomponenten (RoT, Root of Trust) verwendet. Das Unternehmen Antmicro stellte dem Projekt den Simulator Renode zur Verf\u00fcgung, mit dem CantripOS und das Mikro-Kernel seL4 ohne echte Hardware getestet werden k\u00f6nnen. VeriSilicon teilte seine Erfahrungen in der Chipentwicklung und der Erstellung von BSP (Board Support Package). \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"