PikeOS SIL 4 certification on multi-core platform
SYSGO, a leading supplier of software solutions for the world’s most demanding safety and security embedded applications, announces it achieved to certify its PikeOS real-time OS and hypervisor within a multi-core platform according to EN 50128 SIL 4. The certificate has been delivered by TÜV-SÜD.
Safety critical systems deployed on a multi-core processor have been so far using only a single core and made the other cores inactive. The complexity and the potential non-determinism introduced by such architectures were the main reasons that prevented, and still prevent in many cases, safety-critical developers to certify their multi-core based systems at the highest level. Operating system vendors in particular have long been trying to solve this problem in order that their customers may harness the performance of today’s dual-core and multi-core processors.
SYSGO was able to achieve the first EN 50128 SIL 4 certification of the market on a multi-core system (including SIL 4 certification for IOMMU) thanks to the solid foundation offered by the PikeOS core technology, designed from the ground up to be the first SSV (Safe & Secure Virtualization) RTOS of the market. SIL 4 is the highest possible safety level for the EN 50128 standard.
“With PikeOS, SYSGO was already the first company on the market to offer a certified hypervisor to the safety-critical application domains”, said Jacques Brygier, VP Marketing at SYSGO. “Making now PikeOS certified for a multi-core platform is just the confirmation of the cutting-edge nature of this product, designed to be both an RTOS and a hypervisor. It is also another evidence of the scalability and flexibility of this embedded virtualization solution that can address different industry sectors with the same core technology.”
The project, a railway application to be deployed in 2014, is using PikeOS 3.4 running on Kontron VX3035 board. The technique that allows this high level of certification cannot be disclosed at that point but the original and patented architecture of PikeOS was used without modification to provide the necessary determinism on this dual-core Intel® Core™ i7processor.
"We are pleased to be part of this world premiere," said Robert Negre, Business Line Manager (RAIL) at Kontron. "Our collaboration with SYSGO has always been successful but having PikeOS being SIL 4 certified on our VX3035 board just reinforce the competitiveness of our combined offering for all safety-critical markets."
SYSGO is also involved in different activities related to the certification of multi-core based systems in other industry sectors such as avionics or automotive. The major achievement in the railway domain is an important milestone, as well as invaluable experience, for these areas where developments with key partners are currently in progress.
PikeOS is both an RTOS (Real-Time Operating System) and a type 1 hypervisor built upon the Safe and Secure Virtualization (SSV) technology that enables multiple operating system interfaces, called Guest OS, to work safely and securely on separate sets of resources within a single machine. PikeOS has the largest range of supported Guest OS of the market, including PikeOS Native, ARINC 653, Linux, POSIX®, Certified POSIX®, Android™, RTEMS, AUTOSAR, iTRON and others.
The PikeOS microkernel architecture allows it to be used in cost sensitive, resource constrained devices as well as large, complex systems. The simplicity and compactness of the PikeOS design results in real-time performance that competes head-to-head with conventional proprietary RTOS solutions. PikeOS supports single- and multi-core processor architectures. Support of multi-core offers a flexible approach to the user who can select an execution model ranging from a pure AMP (Asymmetric Multi Processing) to full SMP (Symmetric Multi Processing). PikeOS is certifiable to safety standards like DO-178B/C, IEC 61508, EN 50128, IEC 62304 or ISO 26262, is MILS compliant, and is currently involved in various security standard Common Criteria EAL certification projects.
SYSGO provides operating system products, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the SSV (Safe and Secure Virtualization) platform PikeOS, a paravirtualization operating system that is built upon a small, fast, and certified microkernel. It supports the co-existence of independent operating system personalities on a single platform, including ELinOS, SYSGO’s embedded Linux distribution. SYSGO supports international customers with services for embedded Linux, real-time capabilities and certification for safety-critical applications. Markets include Aerospace & Defense, Industrial Automation, Automotive, Transportation and Network Infrastructure. Customers include Airbus, EADS, Thales, B. Braun, Raytheon, Samsung, Rheinmetall, Rockwell-Collins, Nokia Siemens Network, Miele and Rohde & Schwarz. SYSGO, a subsidiary of Thales, has facilities in Germany, France, The Czech Republic, UK and North America, and offers a global distribution and support network, including Europe and the Pacific Rim.
For more information please visit www.sysgo.com
Tel.: +49 (6136) 99480
SYSGO, ELinOS, PikeOS, CODEO, and other SYSGO products and services mentioned herein as well as their respective logos are trademarks or registered trademarks of SYSGO. All other product and service names mentioned are the trademarks of their respective companies.