Schlagwort: PikeOS

  • PikeOS 5.0 vereinfacht Entwicklung und Zertifizierung sicherheitskritischer Systeme

    PikeOS 5.0 vereinfacht Entwicklung und Zertifizierung sicherheitskritischer Systeme

    SYSGO präsentiert auf der embedded world 2020 (Halle 4-215) die neuste Version 5.0 seines Echtzeitbetriebssystems PikeOS für sicherheitskritische Systeme. Zu den wichtigsten Neuerungen gehören eine erweiterte Zertifizierung gegen alle gängigen Safety- und Security-Standards, verbesserte Tools zur Beschleunigung der Entwicklung und Verbesserung der Benutzerfreundlichkeit sowie die optimierte Unterstützung von Multi-core-Systemen. Zudem wurde die Zahl der vom integrierten Hypervisor oder Separation Kernel unterstützten Partitionen auf 255 erhöht. Partitionen werden von PikeOS genutzt, um multiple Gastbetriebssysteme und Anwendungen auch unterschiedlicher Kritikalität strikt voneinander zu trennen, wobei eine Kommunikation über explizit konfigurierte Kanäle möglich bleibt.

    Mit diesen Neuerungen stellt PikeOS 5.0 eine Plattform dar, auf der Systeme für höchste Zertifizierungs-Level wie DAL-A in der Avionik, SIL-4 für Bahnanwendungen oder ASIL-D in der Automobilindustrie realisiert werden können. Auch das POSIX-GuestOS wurde überarbeitet und PikeOS 5.0 damit für den Einsatz in AUTOSAR-Adaptive-Projekten vorbereitet. Entsprechende Certification Kits wird SYSGO im Laufe des Jahres zur Verfügung stellen.

    Die Zertifizierung von Systemen und Anwendungen wird durch die neuen qualifizierten Konfigurationstools vereinfacht und beschleunigt. Diese sind in die Eclipse-basierte Entwicklungsumgebung CODEO integriert und eliminieren die Notwendigkeit, erzeugte Binaries anschließend sehr zeitaufwändig zu validieren. Zudem können beliebige Subsets der Konfiguration als wiederverwendbare Komponenten exportiert werden, was die Entwicklung im Team vereinfacht.

    Zu guter Letzt wurde die Migration von PikeOS 4.2 zu 5.0 durch Assistenten in CODEO, Tutorials und Dokumentation vereinfacht.

    Multi-core-Unterstützung

    Ebenfalls optimiert wurde bei PikeOS 5.0 die Multi-core-Unterstützung, speziell im Hinblick auf zertifizierbare Systeme. So gewährleistet die neue Version durch sehr granulare Kernel-Locking-Mechanismen eine deutliche Verringerung von Interferenzen zwischen Applikationen, die auf unterschiedlichen Prozessor-Cores ausgeführt werden. Auf diese Weise stellt PikeOS 5.0 sicher, dass die Bedingungen des CAST-32A Papers des Certification Authorities Software Teams (CAST) für den Einsatz von Multi-core-Prozessoren in zertifizierbaren Systemen erfüllt werden.

    Safety und Security

    PikeOS wurde von Grund auf entwickelt, um neben der funktionalen Sicherheit (Safety) auch die IT-Security von Embedded-Anwendungen zu gewährleisten. Der Hypervisor der Version 4.2.3 besitzt als einziger auf dem Markt eine EAL 3+ Zertifizierung nach Common Criteria, und auch PikeOS 5.x wird höher zertifiziert werden. Damit ermöglicht SYSGO den Einsatz nur einer Software für Safety- und Security-zertifizierbare Systeme.

    SYSGO auf der embedded world 2020:
    Halle 4, Stand 4-215

    SYSGO ist der führende europäische Hersteller von Embedded-Betriebssystemen, der seit mehr als 25 Jahren sicherheitskritische Anwendungen in der Luft- und Raumfahrt, der Automobilindustrie, der Eisenbahn und dem IIoT-Bereich unterstützt. Das Unternehmen entwickelt und pflegt PikeOS, das weltweit erste SIL-4-zertifizierte Echtzeit-Betriebssystem mit Multi-Core-Unterstützung. Der direkt auf der Hardware laufende Hypervisor (Type-1) ist nach den strengsten Safety-Standards wie IEC 61508, EN 50128 und ISO 26262 zertifiziert. Mit Blick auf Security ist PikeOS derzeit der einzige Separation-Kernel, der eine Zertifizierung nach Common Criteria (EAL3+) besitzt. Zudem bietet PikeOS eine vollständig zertifizierte Programmierschnittstelle und ermöglicht so die Anwendungsentwicklung nach dem Prinzip „Safe & Secure by Design“. Für weniger kritische Systeme bietet SYSGO auch ELinOS an, eine Linux-Distribution mit Echtzeit-Erweiterungen für Embedded Systeme.
    SYSGO arbeitet während des gesamten Produktlebenszyklus eng mit seinen Kunden wie Samsung, Airbus, Thales, Continental usw. zusammen und unterstützt sie bei der formalen Zertifizierung von Software nach internationalen Standards für funktionale und IT-Sicherheit. SYSGO hat seinen Hauptsitz in Klein-Winternheim bei Frankfurt sowie Tochtergesellschaften in Frankreich, Tschechien und Großbritannien und unterhält ein weltweites Vertriebsnetz. Das Unternehmen ist Teil der europäischen Thales-Gruppe.

    Firmenkontakt
    SYSGO GmbH
    Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    +49 6136 9948-0
    info@sysgo.com
    https://www.sysgo.com/

    Pressekontakt
    Prolog Communications GmbH
    Achim Heinze
    Sendlinger Str. 24
    80331 München
    +49 89 800 77-0
    achim.heinze@prolog-pr.com
    http://www.prolog-pr.com

    Bildquelle: pexels.com

  • SYSGO auf der embedded world: Zertifizierte Sicherheit für IIoT, Automotive und Avionik

    Auf der embedded world 2019, die vom 26.2 bis zum 28.2.2019 in Nürnberg stattfindet, wird SYSGO verschiedene Anwendungsmöglichkeiten seines Echtzeitbetriebssystems PikeOS demonstrieren.

    Das Betriebssystem, das als einziges einen nach Common Criteria EAL 3+ zertifizierten Separation Kernel besitzt, wird dabei in verschiedenen Systemen aus der Avionik, der Automobilindustrie und dem Industrial Internet of Things (IIoT) eingesetzt, in denen kritische und unkritische Anwendungen auf der gleichen Hardware laufen. PikeOS gewährleistet dabei durch strikte Trennung von Applikationen sowohl die funktionale Sicherheit als auch die IT Security.

    Highlight des Messeauftritts ist eine reale Avionik-Anwendung von Thales auf Basis von PikeOS – ein ADA-basiertes Flight Management System für Flugzeuge, das trotz seiner Komplexität eine DAL-B-Zertifizierung nach der Norm DO-178C besitzt. Auf der Messe läuft es auf einem NXP T2080 SoC mit den Gastbetriebssystemen ARINC-653, ADA und PikeOS. Die Ethernet-Kommunikation mit anderen Systemen erfolgt über einen von SYSGO entwickelten, zertifizierbaren IP Stack, der auch die Security der übertragenen Daten gewährleistet.

    In der Automotive-Demonstration stellt der Separation Kernel von PikeOS sicher, dass Angriffe auf oder Fehlfunktionen in einer als unsicher eingestuften Android-Anwendung nicht auf sicherheitskritische Applikationen auf der gleichen Hardware übergreifen können.

    Zudem zeigt SYSGO in der safety & security Area in Halle 4A eine industrielle Steuerung mit Anbindung an Cloud Services, in der PikeOS garantiert, dass ein Angriff aus der Cloud keinesfalls die kritischen Applikationen der SPS beeinträchtigen kann.

    Da sowohl funktionale Sicherheit als auch Cybersecurity bei Embedded Systemen über den gesamten, meist sehr langen, Lebenszyklus gewährleistet werden müssen, demonstriert SYSGO zudem, wie mithilfe von PikeOS auch hochgradig sichere Update-Prozesse realisiert werden können. Damit unterstützt PikeOS insbesondere die Bestrebungen der Automobilindustrie, ihren Kunden auch nach dem Kauf flexibel zusätzliche Funktionen anbieten zu können. So ermöglicht PikeOS etwa die Aktualisierung einer unkritischen Anwendung – beispielsweise des Entertainmentsystems, aber auch eines Cloud Connectors in einer SPS – während des laufenden Betriebs, da solche Updates keinerlei Auswirkungen auf andere Applikationen haben und der Update-Prozess zudem zuverlässig vor Hackerangriffen geschützt wird.

    Im Rahmen des Konferenzprogramms der Embedded World wird Dr. Sergey Tverdyshev, Director Research & Technology von SYSGO, zum Thema „Developing a mixed-critical AUTOSAR Adaptive ECU with Safety and Security by Design“ sprechen – am 27.2. um 11:30 im NCC Ost.

    SYSGO auf der embedded world 2019:
    Halle 4, Stand 4-534
    Halle 4A, Stand 303

    Verantwortlicher für diese Pressemitteilung:

    SYSGO AG
    Herr Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    Deutschland

    fon ..: +49 6136 9948-0
    web ..: http://www.sysgo.com
    email : marketing@sysgo.de

    Pressekontakt:

    Prolog Communications GmbH
    Herr Achim Heinze
    Sendlinger Str. 24
    80331 München

    fon ..: +49 89 800 77-0
    web ..: http://www.prolog-pr.com
    email : achim.heinze@prolog-pr.com

  • PikeOS Hypervisor nach Common Criteria zertifiziert

    SYSGO hat für seinen PikeOS Hypervisor die Zertifizierung nach Common Criteria EAL 3+ erhalten.

    Gegenstand der Zertifizierung durch das Bundesamt für Sicherheit in der Informationstechnik (BSI) ist der Separation Kernel in PikeOS, der durch räumliche und zeitliche Partitionierung eine strikte Trennung von Anwendungen gewährleistet, die auf derselben Hardware laufen. Eine solche Trennung wird vor allem in sicherheitskritischen Systemen benötigt und ist in der Regel auch für die Zertifizierung des Gesamtsystems zwingend erforderlich. Die Zertifizierung durch das BSI erfolgte für den PikeOS Separation Kernel Version 4.2.2 (Build Nummer s5400) für die Plattformen X86_64, ARMv7 und ARMv8.

    PikeOS ist damit derzeit weltweit das einzige Echtzeitbetriebssystem, das eine Common-Criteria-Zertifizierung für seine Separierungsleistung besitzt. Darüber hinaus ist PikeOS auch für diverse Safety-Standards zertifiziert, weshalb es sich besonders für Anwendungen eignet, die sowohl Safety als auch Security Anforderungen haben, insbesondere in der Luft- und Raumfahrt, der Automobil- und der Bahnindustrie sowie in industriellen oder medizinischen Systemen. Dabei unterstützt PikeOS auch den gleichzeitigen Betrieb von Anwendungen unterschiedlicher Kritikalität sowie die Kombination von Echtzeitanwendungen mit weniger zeitkritischen Applikationen.

    „Wir haben PikeOS von Grund auf für zertifizierbare Systeme in sicherheitskritischen Umgebungen entwickelt und ermöglichen unseren Kunden so, ihre Systeme von Beginn an nach dem Prinzip ‚Safety & Security by Design‘ zu gestalten“, sagt Markus Jastroch, Director Marketing Communication bei SYSGO. „Die Zertifizierung nach Common Criteria bestätigt diesen Ansatz und ist ein neuer Meilenstein sowohl für uns als auch für die gesamte Industrie.“

    Für Entwickler kritischer Systeme bedeutet die Zertifizierung nicht nur eine sichere und effektive Trennung von Anwendungen, sondern auch eine schnellere und kostengünstigere Zertifizierung ihres Gesamtsystems, da das Betriebssystem selbst in diesem Prozess nicht mehr berücksichtigt werden muss.

    „Mit Common Criteria ist der PikeOS Separation Kernel jetzt nach einem der etabliertesten und schärfsten Security-Standards zertifiziert, an den sich die meisten branchenspezifischen Standards anlehnen“, sagt Dr. Dominic Eschweiler, Director Security Certification bei SYSGO. „Gerade im Zusammenhang mit staatlichen Anwendungen ist eine Zertifizierung nach Common Criteria oft eine zwingende Notwendigkeit. Zudem haben mit einem zertifizierten PikeOS Entwickler aus allen Branchen eine solide zertifizierte Grundlage für ihre Systeme.“

    Das Zertifikat kann eingesehen werden unter https://www.bsi.bund.de/SharedDocs/Zertifikate_CC/CC/Betriebssysteme/1041.html

    Verantwortlicher für diese Pressemitteilung:

    SYSGO AG
    Herr Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    Deutschland

    fon ..: +49 6136 9948-0
    web ..: http://www.sysgo.com
    email : marketing@sysgo.de

    Pressekontakt:

    Prolog Communications GmbH
    Herr Achim Heinze
    Sendlinger Str. 24
    80331 München

    fon ..: +49 89 800 77-0
    web ..: http://www.prolog-pr.com
    email : achim.heinze@prolog-pr.com

  • SYSGO: Safety und Security auf der embedded world

    Die Kombination aus funktionaler und IT-Sicherheit steht im Mittelpunkt der Demonstration von SYSGO auf der embedded world 2018, die vom 27.2 bis zum 1.3. 2018 in Nürnberg stattfindet.

    Neben der aktuellen Version seines Echtzeitbetriebssystems PikeOS zeigt das Unternehmen gemeinsam mit Partnern an dedizierten Demonstratoren auch, wie dieses in sicherheitsrelevanten Anwendungen etwa in der Automobilindustrie oder der Luft- und Raumfahrt eingesetzt werden kann.

    Darüber hinaus stellt SYSGO auf der Embedded World neue Security Certification Kits vor, die Entwicklern die Zertifizierung ihrer Anwendungen gemäß Common Criteria erheblich erleichtern und so die Zertifizierungskosten deutlich reduzieren können. Diese Kits stehen für unterschiedliche Architekturen wie etwa x86, AMD64, ARMv7 oder ARMv8 zur Verfügung.

    Am Stand von SYSGO wird sich zudem das Joint Venture des Unternehmens mit Vector Informatik präsentieren, das eine integrierte Softwareplattform für die Entwicklung von AUTOSAR-Adaptive-Anwendungen zur Verfügung stellt. Sie basiert im Wesentlichen auf PikeOS und der AUTOSAR-Adaptive-Basissoftware MICROSAR von Vector. Auf der Embedded World haben Besucher die Möglichkeit, sich über das erste Release dieser neuen Plattform zu informieren.

    Am Konferenzprogramm der Embedded World beteiligt SYSGO sich mit drei Präsentationen:
    o Embedded Goes Autonomous – RTOS Considerations, Robert Pickles, 27.2.2018 um 11:30 Uhr
    o ECU Consolidation and New Automotive, Chris Berg, 28.2. um 14:00 Uhr
    o Autonomous Driving Needs Safety & Security, Dr. Ciwan Gouma, 1.3.2018 um 15:30

    SYSGO auf der embedded world 2018:

    Halle 4, Stand 4-308 (Hauptstand)
    Halle 4A, Stand 4A-410 (Safety&Security Area)

    Über:

    SYSGO AG
    Herr Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    Deutschland

    fon ..: +49 6136 9948-0
    web ..: http://www.sysgo.com
    email : marketing@sysgo.de

    Pressekontakt:

    Prolog Communications GmbH
    Herr Achim Heinze
    Sendlinger Str. 24
    80331 München

    fon ..: +49 89 800 77-0
    web ..: http://www.prolog-pr.com
    email : achim.heinze@prolog-pr.com

  • SYSGO beteiligt sich am Projekt Automotive Grade Linux

    Die SYSGO AG ist der Linux Foundation beigetreten und wird sich aktiv an deren Projekt Automotive Grade Linux (AGL) beteiligen.

    In diesem Open-Source-Projekt arbeiten namhafte Automobilhersteller und Zulieferer gemeinsam mit Hardware- und Software-Herstellern an Entwicklung und Einsatz eines völlig offenen Software Stacks für dasonnected Car.

    Ziele von Automotive Grade Linux sind eine offene Plattform und ein Linux-basierter Industriestandard, der die schnelle Entwicklung neuer Features und Technologien ermöglicht. Ursprünglich auf das In-Vehicle-Infotainment (IVI) konzentriert, adressiert AGL mittlerweile die gesamte Software im Fahrzeug, einschließlich Kombi-Instrument, Head-Up-Display, Telematik, Fahrerassistenzsysteme (ADAS) und autonomes Fahren.

    SYSGO hat über 20 Jahre Erfahrung in der Entwicklung und Anpassung von Linux-Systemen und bietet mit ELinOS eine kommerzielle Entwicklungsumgebung für eingebettete Linux-Anwendungen an, die aus einer Linux-Distribution und einer umfassenden Sammlung an Entwicklungstools besteht. ELinOS kann als eigenständiges Betriebssystem für industrielle Anwendungen eingesetzt werden, aber auch in einer Partition des Hypervisor-basierten Echtzeitbetriebssystems PikeOS laufen. Durch die Mitgliedschaft in der Linux Foundation bringt SYSGO seine Expertise sowohl in Linux als auch in kritischen Avionik- und Automotive-Anwendungen in das Projekt ein und erhält selbst Zugriff auf den AGL Source Code und die Dokumentation.

    „Sowohl ELinOS als auch PikeOS dienen in unseren Kundenprojekten dazu, geschäftskritische Anwendungsfälle mit Zertifizierungen auf höchstem Niveau zu adressieren“, kommentiert Franz Walkembach, VP Marketing & Product Strategy bei SYSGO.“ Als Mitglied von Automotive Grade Linux (AGL) können wir unsere Tradition in Linux weiter ausbauen, für den wachsenden Automobilmarkt nutzen und am schnellen Innovationsprozess teilnehmen.“

    SYSGO ist Silver Member der Linux Foundation und Bronze Member bei AGL. Nähere Informationen zu diesen unter https://www.linuxfoundation.org/ bzw. https://www.automotivelinux.org/.

    Über:

    SYSGO AG
    Herr Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    Deutschland

    fon ..: +49 6136 9948-0
    web ..: http://www.sysgo.com
    email : marketing@sysgo.de

    Pressekontakt:

    Prolog Communications GmbH
    Herr Achim Heinze
    Sendlinger Str. 24
    80331 München

    fon ..: +49 89 800 77-0
    web ..: http://www.prolog-pr.com
    email : achim.heinze@prolog-pr.com