PikeOS bringt die erste industrielle Anwendung von SSV (Safe and Secure Virtualization). SSV bietet mit Virtualisierung, Safety, Security, Nachhaltigkeit und Zertifizierung ein Bündel von Lösungen, die der zunehmenden Komplexität von embedded Systems ihre Schrecken nimmt. Modulares Software Design, nahtlose Entwicklungswerkzeuge, Zertifizierung von funktionaler Sicherheit und Security, nachhaltige Nutzung der Softwareinvestitionen sind Schlüsseltechnologien, die bereits heute die Probleme von morgen lösen.
SYSGO, Systemsoftware-Spezialist für den Embedded-Markt, zeigt auf der embedded world 2010, wie Produkthersteller durch Virtualisierung dauerhaft Kosten sparen.
Virtualisierung ist vielfältig und für viele komplexe Anwendungen interessant. Daher bildet PikeOS die meist genutzte Basisplattform für Forschungsprojekte des 7. Rahmenprogramms der EU, unter dem Dach von Artemis als auch in nationalen Forschungsprogrammen.
Auf Messestand 203 in Halle 11 erklären wir Ihnen die technischen Grundlagen von PikeOS. Für weitere Pressegespräche stehen Ihnen der Gründer der SYSGO AG, Herr Knut Degen, sowie der Vorstand, Herr Michael Tiedemann, zur Verfügung.
Christoph Baumann von der Universität des Saarlandes präsentiert im Rahmen des Konferenzprogramms am Dienstag, den 2. März von 15:00 - 15:30 Uhr, die formale Verifikation des PikeOS Mikrokernels unter dem Titel: "Ingredients of Operating System Correctness - Lessons Learned in the Formal Verification of PikeOS".
Mehr Informationen unter www.sysgo.com/pikeos