Abo
29.07.2014 / 13:07

Video

Demonstration des Microkernels Sel4

Die australische Nicta demonstriert den Einsatz des Microkernels Sel4. Er soll durch mehrfache Verifizierung vollkommen fehlerfrei sein. Zusätzliche Sicherheitsfunktionen sollen ihn für den Einsatz in sensiblen Bereichen empfehlen.

Demonstration des Microkernels Sel4

Video: Demonstration des Microkernels Sel4 (4:52)

Code zum Einbetten des Videos

  1.  x 
  2. 320 x 180
  3. 640 x 360

Teilen


Verwandte Artikel

  1. Sel4: Fehlerloser Microkernel unter der GPL freigegeben

  2. OKL4: Sicherer Microkernel für mobile Geräte

  3. Linux Foundation: Projekt Zephyr erstellt Echtzeit-Betriebssystem fürs IoT

  4. Automatischer Sicherheitsnachweis für Betriebssystemkern

  5. Luftfahrt: Was Boeing der Kauf von Aurora Flight Sciences bringt

Verwandte Themen

  1. Darpa
  2. Linux
  3. Mandriva
  4. Open Source
  5. Wissenschaft
Anzeige
Anzeige
Stellenmarkt
  1. Sky Deutschland GmbH, Unterföhring bei München
  2. ROHDE & SCHWARZ GmbH & Co. KG, Stuttgart
  3. über Hanseatisches Personalkontor Bodensee, Salem
  4. Bechtle Onsite Services GmbH, Rheinmünster

Folgen Sie uns
       


Haben wir etwas übersehen?

E-Mail an news@golem.de


Anzeige