Press Releases

Renesas Electronics Corporation, a premier provider of advanced semiconductor solutions, and SYSGO, a leading supplier of certifiable operating systems, today announced its collaboration to jointly develop basic software supporting CPU virtualization technology suitable for real-time control applications. Through the collaboration, Renesas Electronics will develop added functions necessary for the efficient operation of virtualization software enabling high-speed real-time control and improving…

Esterel Technologies, the leading worldwide provider of model-based development solutions for critical systems and software and SYSGO, a leading supplier of software solutions for the world's most demanding safety and security applications, join efforts to build a seamless environment for model-based design, verification and code generation tools.

SYSGO’s PikeOS just achieved the final step in DO-178B certification for the A400M transport aircraft!

SYSGO, leading supplier of software solutions for the world's most demanding safety and security applications, announces the appointment of Phaedrus Systems, the leading supplier of tools and services to the developers of embedded safety-critical and high-integrity systems, as its distributor in the United Kingdom.

The most important new feature of PikeOS 3.1 is the world's first multi-core implementation as part of a DO-178 B certified code base.

A technical presentation on the formal correctness of the PikeOS microkernel will take place at the embedded world conference 2010. This presentation will focus on the methods and techniques used in the formal verification process of PikeOS.

First presented in 2006 - today operating in the Airbus. With PikeOS, SYSGO has been delivering a virtualization technology since 2006 that is considered the most innovative basic platform for embedded systems today. Airbus recognised the potential of PikeOS early on and SYSGO was the only SME to be approved as a Tier-1 supplier. The virtualization platform is used in the cockpit of the A350.

AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS.

SYSGO, leading supplier of software solutions for the most demanding safety and security applications, today announced that their first implementation of genuine software based AFDX® (ARINC 664) solution has received formal DO-178B certification.

SYSGO, leading supplier of software solutions for the most demanding safety and security applications, today announced the porting of their FAA pre-approved implementation of genuine software based AFDX® to Freescale's Dual-Core PowerQUICC III.

SYSGO announced today a formal distributor agreement with Israeli company Pertech Embedded Solutions. In contrast to the international economic slowdown, SYSGO continues to respond to increasing demand for its innovative and certified solutions on a worldwide basis. The latest example of SYSGO's growing global reach is its partnership with Pertech Embedded Solutions.

SYSGO, leading supplier of software solutions for the world’s most demanding safety and security applications, has been chosen by ESA (European Space Agency) to participate in a project called "Securely Partitioning Spacecraft".

SYSGO, the leading manufacturer of software for safety-critical applications, today announces version 3.0 of its secure virtualisation platform PikeOS. PikeOS 3.0 includes a new version of the Eclipse-based development environment CODEO, support for new architectures, DO-178 B certifiability and many other improvements.

Aonix, the provider of the PERC® product line for embedded and real-time Java™ developers and SYSGO, a leading supplier of software solutions for the world’s most demanding safety and security applications, announced their collaboration in the Trusted Embedded Computing initiative. Aonix will provide the PERC Ultra virtual machine and its expertise in security and complex embedded systems and SYSGO will provide PikeOS MILS compliant and safe and secure virtualization expertise to the TECOM/FP7…

Steering without steering linkage, flying on autopilot, computer-assisted operations - software for embedded systems can already perform many functions today. But what about safety? How can the risks be covered in a justifiable way? The solution is virtualisation.