Ein Separierungskern ist ein minimalisiertes Betriebssystem zur Simulation eines verteilten Systems. Separierungskerne unterteilen die von ihnen verwalteten Ressourcen in Partitionen mit eigenen Adressräume, CPU-Zeiten und ggf. weitere Ressourcen wie etwa E/A-Geräte. Die Aufgabe eines Separierungskerns ist es, den von ihm verwalteten Partitionen eine Ablaufumgebung zur Verfügung zu stellen, in der die der Partition zugehörigen Subjekte (Prozesse, Tasks, Threads) jeweils die der Partition zugewiesenen Ressourcen nutzen können. Partitionen sind strikt in Raum und Zeit voneinander getrennt und können einander nicht beeinflussen. Kommunikation zwischen Partitionen wird durch den Separierungskern kontrolliert und muss explizit konfiguriert worden sein.

Das hier aufgeführte VS-Anforderungsprofil ist VS-NUR FÜR DEN DIENSTGEBRAUCH eingestuft und daher nur erhältlich für Parteien, welche ein entsprechendes Need-To-Know gemäß Verschlusssachenanweisung (VSA) nachweisen können. Bitte richten Sie sich bei Interesse an dem Dokument an vs-anforderungsprofile@bsi.bund.de