Betriebssysteme
Separation schafft Sicherheit
Ein sicherheitskritisches Steuerungssystem muss auch dann noch sicher funktionieren, wenn Fehler auftreten. Um Fehler zu erkennen und in geeigneter Weise auf sie reagieren zu können, sind jedoch Systemkomponenten nötig, die sich gegenseitig…