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.
Aerospace & Defense Technology Solutions
-
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.
-
Embedded Linux
–
Over the last decade, embedded technology has advanced and evolved, almost beyond recognition. Where devices once stood alone and offered point functionality, today they are highly connected, extensible platforms.
-
Microkernel
–
Microkernels have been receiving new attention during the recent years. After being discarded in the mid 1990s on the grounds of causing too much performance impact, the approach seems to be the answer to today’s computer problems: Today, computers generally do not suffer from lack of performance, but they often have severe reliability problems.
-
Paravirtualization
–
Paravirtualization is the most common and widely used approach in the embedded industry. Paravirtualization requires a slight adaptation of the hosted environment to run on the virtualization layer, often refered to as hypervisor.
-
POSIX
–
The portable operating system interface (POSIX) was developed due to the increasing need of application portability over several OSes. The first implementation was based on Desktop or Workstation OSes like Unix. But POSIX has already made its way in the embedded space.
-
Real-time
–
Embedded applications present a range of requirements for performance, including real-time responsiveness. Intelligent devices may need to respond to external and internal events or generate their own time-based output to meet "hard" deadlines or merely to be "fast enough".
-
Real-time Java
–
Today, Java is the common language for desktop and server application developments. With the emerging Real-time Java technology, Java is now enabled to make its way into the embedded market.
Aerospace & Defense 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.
Aerospace & Defense 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

