Customer Successes
- Rockwell Collins: See how SYSGO supports Aerospace & Defense customers developing DO-178B certified IMA systems.
- LFK GmbH: See how SYSGO supports Aerospace & Defense customers developing Embedded Linux based test environments
Whitepapers
- Safe and Secure Virtualization in a Separation Microkernel: An introduction on how PikeOS can help to solve security issues
- Better Avionics Software Reliability by Code Verification: An overview of recent code verification techniques being applied to a commercial RTOS
- Bringing together real-time and Virtualization: An introduction how to match strict real-time constraints in a full virtualization environment
- Combining Partitioning and Virtualization for Safety-Critical Systems: An introduction in facing complexity and criticality challenges of todays safety-critical systems
- Scheduling Virtual Machines in Real-time Embedded Systems: An introduction how modern scheduling methodologies optimize performance and security of embedded systems
- The PikeOS Concept - History and Design: An introduction how SYSGO had to reinvent the Microkernel concept to meet RTOS requirements
Aerospace & Defense
The cost pressure on Aerospace & Defense manufacturers has grown tremendously. As a result, major obstacles for these industries include software components reusability, untangling of integration complexity, and facilitating after-sales updates and upgrades. These issues are always intertwined with aspects of safety, security and certification. Using commercial off the shelf platforms will help overcome these obstacles.
Technology Solutions
ARINC-664 (AFDX)
"Avionic Full-Duplex Switched Ethernet" (AFDX/ARINC664) is a deterministic aircraft data network bus system for public avionic transportation, railway and military systems. The network is based on standard IEEE802.3 Ethernet technology.
Virtualization