Virtualisierung für sichere Embedded-Systeme

Der Realtime-Spezialist LynuxWorks hat mit LynxSecure 3.1 ein erstes Update der 3.0-Entwicklungsschiene seines sicherheitszertifizierten Hypervisors für Embedded-Systeme vorgestellt. Die Lösung erlaubt den voneinander abgeschotteten Betrieb mehrerer sowohl voll- als auch paravirtualisierter Gäste.

Der Hypervisor unterstützt jetzt als Gastbetriebssystem neben Windows XP auch Windows 7, Vista und Windows 2003 sowie Umsetzungen von Intels Core2-Duo-Prozessoren wie die Plattform "American Portwell Wade 8067", wodurch virtualisierte Gastbetriebssysteme sich mit nahezu systemeigener Leistung ausführen lassen. Laut Hersteller wurde LynxSecure sowohl nach Common Criteria EAL-7 und nach DO-178B für den Einsatz in Luftfahrzeugen zertifiziert. (ane)