Auf Basis dieses Microkernels wurde von miray in den letzten Monaten ein grundlegend verbeßerter Nachfolger entwickelt.
Based on this microkernel, miray developed a fundamentally improved successor during the recent months.
In unserer Forschungsgruppe untersuchen wir schwerpunktmäßig die Spezifikation und Verifikation eines Microkernels mit Partitionierungsschicht, der in der Avionik industriell Einsatz findet.
The main focus of the investigations of our research group is on the specification and verification of a microkernel with partitioning features which is used in industrial avionic applications.
Der Betriebssystemkern ist so konzipiert, dass er bestimmte Elemente eines monolithischen Kernels mit denen eines Microkernels kombiniert; dies wird heute meist als Hybridkernel bezeichnet.
The operating system is designed to combine certain elements of a monolithic kernel and a microkernel; nowadays this is most often referred to as a hybrid kernel.
cvm-trunk-r24826.tar.gz (2.1M) - Formale Spezifikation von Diese Veröffentlichung enthält die formale Spezifikation von Communicating Virtual Machines (CVM), einer Implementierungsschicht des in Teilprojekt 2: Akademisches System verwendeten Microkernels.
cvm-trunk-r24826.tar.gz (2.1M) - Formal Specification of Communicating Virtual Machines (10 August 2008) This release contains the formal specification of communicating virtual machines (CVM), which is an implementation layer of the microkernel used in Subproject 2: Academic System.
Der Betriebssystemkern ist so konzipiert, dass er bestimmte Elemente eines monolithischen Kernels mit denen eines Microkernels kombiniert; dies wird heute meist als Hybridkernel bezeichnet.
The operating system is designed to combine certain elements of a monolithic kernel and a microkernel; nowadays this is most often referred to as a hybrid kernel.
Microkernels fungieren als Persistenzmanager. Für eine erfolgreiche AEM-Implementierung ist es wichtig, Microkernels und ihre Funktionsweise zu verstehen.
MicroKernels act as persistence managers and understanding these is key to a successful AEM implementation.
