-
Höchste Sicherheitsstufe für die Raumfahrt
SYSGOs Echtzeitbetriebssystem und Hypervisor PikeOS hat erstmalig die höchste Stufe Category A (Cat. A) der Weltraum-Safety-Norm ECSS-E-ST-40C erreicht. Mit diesem im Rahmen eines Kundenprojekts erreichten Niveaus weist SYSGO nach, dass PikeOS grundsätzlich für alle sicherheitskritischen Anwendungen im Weltraum geeignet ist. SYSGO liefert nun ein Zertifizierungskit, mit dem Kunden Weltraumanwendungen auf Basis von PikeOS und der SPARC-Architektur (LEON4) bauen können. Dieses Kit umfasst unter anderem eine Anleitung sowie Artefakte für die Zertifizierung. Damit lassen sich sicherheitskritische Anwendungen realisieren, bei denen der Schutz von Astronauten garantiert werden kann. Zusammen mit seiner Security-Zertifizierung gemäß Common Criteria auf der sehr hohen Stufe EAL 5+ in Version 5.1.3, bietet PikeOS somit allumfassenden Schutz und damit…
-
SYSGO Showcases Future-Ready Automotive Software Security with PikeOS at CES 2024
SYSGO, a leading European provider of real-time operating systems for critical embedded applications, will discuss the evolving landscape of automotive software security at CES 2024, which takes place from January 9 to 12 in Las Vegas, Nevada, highlighting the capabilities of its PikeOS operating system. Modern cars are now software-defined vehicles with over a hundred electronic control units (ECUs), creating a significant security challenge. To comply with UN regulations UNECE R 155 and R 156, car manufacturers must secure both their vehicles and corporate structures. SYSGO addresses this requirement with PikeOS, a certified real-time operating system and hypervisor. PikeOS ensures secure data transmission respecting ISO 21434, protects safety-critical systems with…
-
SYSGOs neue Embedded Linux Distribution ELinOS in Version 7.1.2 als Immutable OS
SYSGOs Embedded-Linux-Distribution ELinOS ist nun in der neuen Version 7.1.2 verfügbar. Offiziell als Minor-Release klassifiziert, verfügt das Linux für eingebettete Systeme über eine größere Neuerung: In einem sehr einfachen Wizard lässt sich das Betriebssystem nun als „immutable“ aufsetzen. Dies bedeutet, dass das Basissystem unveränderlich ist und somit sehr viel besser gegen Cyberangriffe geschützt ist, weil wichtige Systembereiche nicht durch unbefugte Zugriffe verändert werden können. Zusätzliche Applikationen und Services laufen in einer separierten Containerumgebung ab. Durch die Separierung wird ein höherer Grad an Sicherheit innerhalb des Systems erreicht. Die Updatefähigkeit indes bleibt erhalten und auch andere Module können nachträglich geändert oder nachgeladen werden. Der Mechanismus unterscheidet sich jedoch, da nicht mehr…
-
SYSGO erweitert PikeOS-Unterstützung für NXP i.MX 8 Prozessoren mit CoreAVI’s VkCore® SC GPU-Beschleunigungstreiber-Implementierung
SYSGO und CoreAVI geben bekannt, dass PikeOS, das Echtzeit-Betriebssystem mit integriertem Hypervisor, ab sofort mit CoreAVI’s VkCore® SC GPU-Beschleunigungstreibern für NXP i.MX 8 Quad Max Prozessoren erhältlich ist. Entwickler im Bereich Luft- und Raumfahrt und Verteidigung profitieren von einer integrierten Plattform für die Entwicklung von immersiven Mensch-Maschine-Schnittstellen (HMIs) und GPGPU-gestützten KI-Funktionen mit zertifizierbarer Sicherheit. Das Lösungspaket ist auf die neue Vulkan® SC™ API der Khronos Group abgestimmt und bis zu RTCA DO-178C/EUROCAE ED-12C DAL A zertifizierbar. Es zielt auf innovative HMIs ab, die die Umgebung, in der sie arbeiten, integrieren und vernetzte Zusatzdienste in virtuellen Maschinen bereitstellen. Die immersiven eCockpits und grafischen Benutzeroberflächen, die derzeit in Militär- und Verkehrsflugzeuge integriert…
-
Raumfahrt-RTOS PikeOS for MPU bekommt Update
Das für Controller geeignete PikeOS for MPU ist in der Version 1.1 erschienen. Das Echtzeitbetriebssystem unterstützt nun den für Weltraumanwendungenen geeigneten System-on-a-Chip (SoC) Dahlia NG-Ultra bzw. dessen ARM-R52-Kerne sowie die Gnu Compiler Collection in der Version 11.3. Weitere Neuerungen umfassen eine verbesserte Debug-Informationsansicht und die Möglichkeit, die Größe des DDR-Speichers zu konfigurieren. Letzteres ist ein Vorteil, da man nicht mehr das Board Support Package (BSP) anpassen muss, um eine Änderung beim Speicher vorzunehmen. Die Besonderheit von PikeOS for MPU ist, dass das RTOS sichere Kommunikation zwischen A- und R-Kernen der ARM-Architektur ermöglicht und somit auf heterogen ausgelegten MPSoCs wie dem Xilinx Ultrascale eingesetzt werden kann, hergestellt in einer einzigen Entwicklungsumgebung (CODEO 7.4). PikeOS for…
-
SYSGO und Abaco begründen langfristige Partnerschaft
AMETEK Abaco Systems und SYSGO liefern einem namhaften Entwickler von unbemannten Flugsystemen (UAS) ihre gemeinsam zertifizierbaren Missionscomputer-Hardware- und Softwarekomponenten. Die Hardware besteht aus dem flugsicherheitszertifizierbaren Einplatinencomputer SBC314C von Abaco und dem Echtzeitbetriebssystem und Hypervisor PikeOS von SYSGO. Das senkrecht startende und landende UAS arbeitet mit Fly-by-Wire-Technologie und ist redundant ausgelegt. Das Hardware- und Softwarepaket des Luftfahrzeugs ermöglicht die automatische Durchführung von Missionen in komplexen elektromagnetischen Umgebungen an Land oder auf See. Die zertifizierbaren Technologielösungen, die im Rahmen der Zusammenarbeit zwischen Abaco und SYSGO entstanden sind, bieten dem UAS-Entwickler mehr Flexibilität, Offenheit und Effizienz bei der Entwicklung des Flugzeugs. Die an den UAS-Entwickler gelieferte Ausrüstung ist der Beginn einer langfristigen strategischen…
-
Neue Safety-Zertifizierungen für PikeOS 5.1.3
SYSGOs Echtzeitbetriebssystem und Hypervisor PikeOS hat erneut die höchsten Stufen der Safetynormen aus Bahnwesen und Industrie erreicht. PikeOS ist in seiner Version 5.1.3 nun offiziell durch TÜV Süd Rail zertifiziert auf den Stufen SIL 4 der EN 50128 und EN 50657 (Bahn) sowie dem höchsten Level SIL 3 der IEC 61508 (Industrie) für die ARMv8-Architektur. Die Zertifizierungen umfassen die Hardware-Virtualisierung (HwVirt), die die Hypervisorfunktionalität ermöglicht und erlaubt, dass Gastbetriebssysteme wie Linux und Android auf ARMv8 laufen. Darüber hinaus erreicht die POSIX-Erweiterung für PikeOS nun die Stufen SIL 2 der Industrie- sowie der beiden Bahnnormen. Zusammen mit der bereits Ende 2022 erreichten Cybersecurity-Zertifizierung nach Common Criteria EAL 5+ bietet PikeOS damit…
-
PikeOS auf Elkhart Lake
SYSGO kündigt ein Projekt an, um eine gemischt-kritische Edge-Computing-Lösung bereitzustellen, auf der Basis von Intel Atom-Prozessoren der Serie x6000FE für eine Vielzahl von industriellen Endbenutzeranwendungen. Die Lösung ermöglicht es Endanwendern, sicherheitskritische Echtzeit-Workloads mit fortschrittlicheren Anwendungen auf einer einzigen Plattform zu kombinieren, indem sie die in den Chip integrierten funktionalen Sicherheitsfunktionen von Intel nutzen. Die Fortschritte im Bereich des maschinellen Lernens und der Echtzeit-Analytik haben Industrieunternehmen erhebliche Möglichkeiten zur Umgestaltung ihrer Abläufe eröffnet. Jedoch erfordern viele hochmoderne Anwendungen, insbesondere in der Prozessautomatisierung und in der Fertigungsindustrie, ein hohes Maß an Sicherheit und Integrität, um die Betriebsgarantie und die Arbeitssicherheit zu gewährleisten. Bisher waren für diese Prozesse spezielle Sicherheitssteuerungen erforderlich, die nur über…
-
Rust für PikeOS
Die auf Sicherheit ausgerichtete Programmiersprache Rust ist nun für das Echtzeitbetriebssystem und Hypervisor PikeOS verfügbar. Für den Einsatz von Applikationen auf Rust-Basis ist kein Gastbetriebssystem beziehungsweise keine Schnittstelle wie POSIX notwendig: Applikationen können direkt als eine native PikeOS-Instanz ausgeführt werden und sind somit einerseits ressourceneffizient im Einsatz und andererseits einfacher zu zertifizieren gegen industriespezifische Safety- und Security-Normen. Die Rust-Implementierung wurde so umgesetzt, dass wesentliche PikeOS-Merkmale genutzt werden können. Dazu zählen unter anderem das Certifiable File System, Communication Ports und das Property-Management. Zusammen mit dem gegen die Common Criteria auf Stufe EAL 5+ Security-zertifiziertem PikeOS (Version 5.1.3) bildet Rust eine in der Safe-and-Secure-Platform- und Embedded-System-Landschaft bisher unerreicht cybersichere und funktional sichere…
-
PikeOS unterstützt Matlab-Simulink-Code
Die Modellierungssoftware Simulink ist jetzt mit dem Echtzeitbetriebssystem und Hypervisor PikeOS integriert. Simulink ist eine Matlab-Erweiterung und eignet sich zum raschen Erstellen von technisch-physikalischen und finanzmathematischen Modellen. Diese können dann auf bequeme Weise über Matlabs Embedded Coder in Programmiersprache übersetzt und in PikeOS ausgeführt werden. Durch die Kombination beider Technologien haben Entwickler eingebetteter Software die Möglichkeit, Anwendungen zu entwerfen wie komplexe Schaltungen, Regelungssysteme, Strömungsmodelle, Fahrassistenzsysteme und viele weitere, die in einer gemischt-kritikalen Umgebung sicher ausgeführt werden können. Auf diese Weise kann Hardware konsolidiert und Kosten somit gesenkt werden. Da Simulink sicherheitszertifizierbar ist, bietet sich eine Kombination mit PikeOS an: Die Nutzung ermöglicht kostensparend und schnell sicherheitskritische Anwendungen zu entwerfen, wie…
