Fakultät für Mathematik und Informatik Universität Leipzig

DMCA

Fakultät für Mathematik und Informatik Universität Leipzig (2006)

Cached

Download Links

[christianix.de]

by Martin Christian , Betreuer Dr. Martin Bogdan , Dipl. -inf Thomas Schanne

BibTeX

@MISC{Christian06fakultätfür,
    author = {Martin Christian and Betreuer Dr. Martin Bogdan and Dipl. -inf Thomas Schanne},
    title = {Fakultät für Mathematik und Informatik Universität Leipzig},
    year = {2006}
}

OpenURL

Abstract

durch Integration mehrerer Avionik-Funktionen auf eine Hardware, offene Standards und einen modularen Aufbau gesenkt werden. Das Betriebssystem muss garantieren können, dass sich Fehler nicht fortpflanzen und Zeitbedingungen immer eingehalten werden. Außerdem sollte es selbst fehlerfrei sein. Das freie Betriebssystem Linux ist eine kostengünstige Alternative zu kommerziellen Betriebssystemen. Für den Einsatz in kritischen Anwendungen der Luftfahrt ist es jedoch nicht geeignet. Unkritische Anwendungen können hingegen mit Linux realisiert werden, wenn es als isolierter Teil eines Echtzeit-Systems zum Einsatz kommt. Die Isolation von Linux erfolgt durch eine virtuelle Maschine. Virtuelle Maschinen kapseln den Zugriff auf die reale Hardware indem sie eine virtuelle Hardware zur Verfügung stellen. Der µ-Kernel Pi-stachio-embedded stellt eine virtuelle Maschine in Form der Kernelschnittstelle L4 bereit. Außerdem soll er harte Echtzeit-Bedingungen erfüllen können. L4 definiert durch Threads, Adressräume und Kommunikationskanäle eine abstrakte Hardware. Mit Wombat gibt es bereits ein Linux, das auf die L4-Hardware portiert worden ist und somit in einer virtuellen Maschine ausgeführt wird. Wombat basiert auf

Keyphrases

fakulta fu mathematik informatik universita leipzig durch eine virtuelle maschine e al nstige alternative zu die isolation von linux unkritische anwendungen ko der kernel pi-stachio-embedded stellt eine l4 definiert durch thread mit linux realisiert werden wombat basiert auf avionik-funktionen auf eine hardware echtzeit-bedingungen erfu llen ko nnen durch integration mit wombat gibt e bereits zeitbedingungen immer eingehalten werden das sich fehler nicht fortpflanzen maschine ausgefu hrt wird fu den einsatz au erdem soll er form der kernelschnittstelle l4 bereit da betriebssystem

DMCA