MP-WS18-01

Aus Verteilte Systeme - Wiki
Wechseln zu: Navigation, Suche

Formale Verifikation eines Betriebssystemkerns

Projektplan

Ada / SPARK

Einarbeitung in Ada / SPARK

Überführung von C Code nach Ada

Überführung von Ada Code nach SPARK

Marron Kernel

Struktur des Kernels

Ablauf von Funktionen

Anpassungen der Ada Runtime

Kompilieren und Linken

Zeitaufwand

Fazit

Ausblick