SYSGO AG - Real-Time Operating Systems (RTOS), embedded Linux and embedded virtualization - Products - Document Center

Contact us

Customer Support

Next Events

21-05-2013 to 22-05-2013
Multicore Developers Conference
Santa Clara, CA
May 28, 2013
EMBEDDED DAYS
Paris, France
June 27, 2013
Freescale TechDay Stuttgart
Stuttgart, Germany
October 02, 2013
Designing with Freescale Seminar
Milano, Italy
October 23, 2013
Freescale TechDay Milton Keynes
Milton Keynes, UK

Whitepaper Downloads

Click here to download Whitepapers.

Certifying Applications in a Multi-Core Environment

An introduction how PikeOS achieves the first formal multi-core certification in an industry where safety is a key requirement for Commercial Off the Shelf software (COTS)

Download...

Proving Memory Separation in a Microkernel by Code Level Verification

A consideration of formal verification of a kernel memory manager as one of the crucial components of the separation functionality

Download...

Extending the GWV Security Policy and its Modular Application to a Separation Kernel

An analysis and application of the GWV security policy carried out as a part of the SeSaM and TECOM projects

Download...

Safety-Critical Ethernet/AFDX - Concept, Design, Implementation and Beyond

An overview of a software based solution DO-178B certified

Download...

Better Avionics Software Reliability by Code Verification

An overview of recent code verification techniques being applied to a commercial RTOS

Download...

Bringing together real-time and Virtualization

An introduction how SYSGO had to reinvent the Microkernel concept to meet RTOS requirements

Download...

Safe and Secure Virtualization in a Separation Microkernel

An introduction on how PikeOS can help to solve security issues

Download...

The PikeOS Concept – History and Design

Genesis of the successful commercial implementation of the Safe and Secure Virtualization concept

Download...

Safe and Cooperative Coexistence of a SoftPLC and Linux

An introduction how to utilize softPLC technology to embedded Linux in a safe and secure environment

Download...

Scheduling Virtual Machines in Real-time Embedded Systems

An introduction how modern scheduling methodologies optimize performance and security of embedded systems

Download...

Combining Partitioning and Virtualization for Safety-Critical Systems

An introduction in facing complexity and criticality challenges of todays safety-critical systems

Download...