For decades, as aircraft electronics have improved and functional requirements have expanded, more hardware components and software complexity have been continuously added as well. Today, the practical limits of weight, space, cabling, and energy consumption have been reached. To resolve this problem, the Aerospace & Defense industry launched the Integrated Modular Avionics (IMA) approach more than ten years ago.
IMA integrates multiple applications on standardized hardware rather than introducing new unintegrated components. Due to IMA, new performance requirements, and the need to reduce certification costs, a modernized and flexible software platform is the key to successful deployment in this industry.
Safe & Secure Virtualization on standard hardware
IMA calls for a small and flexible operating core rather than a monolithic operating system. PikeOS is the ideal embodiment of the IMA vision. The foundation of PikeOS is a small, certifiable micro-kernel, upon which a virtualization infrastructure provides the ability to house diverse resources and function needs into safe individual partitions. Because avionics applications range from non-critical cabin management to highly critical control functions in the cockpit, PikeOS accordingly provides a broad variety of personalities: from avionics-specific ARINC-653 API or space-specific RTEMS to POSIX®, Ada, and embedded Linux. Thanks to separation technology, applications of differing security levels, varying criticality levels, real-time or non-real-time can run concurrently in a mixed criticality environment on a single standard hardware platform.
Aerospace & Defense architectures (single & multi-core):
ARM, MIPS, PowerPC, SPARC V8/LEON, x86
Aerospace & Defense personalities:
Ada, ARINC-653, Certified POSIX®, Linux, Native, RTEMS, Safety-Critical Ethernet / AFDX
Certification success included
Safety-critical Aerospace & Defense applications must be certified to safety standards DO -178B/C. PikeOS is the best certification solution for three reasons: small size, criticality partitioning, and unparalleled company support for the certification process. Because PikeOS is purpose-built to meet certification needs, its essential features comprise only about 10,000 lines of code.
The PikeOS partitioning concept makes it possible for applications of various levels of criticality to be certified for their individual required safety levels while running securely in parallel on the same hardware platform. Even more important for certification is a competent and reliable partner who does not leave you in a tight spot when it comes to documentation, requirements and tests.
For over 25 years SYSGO has been supporting our customers with our own resources, with engineers, with workshops and training, as well as with artifacts and provision of source code.
Why you should use PikeOS for Aerospace & Defense
Aerospace & Defense projects are extremely complex due to the high demands on technology and safety, coupled with pressure on time and costs. The use of PikeOS resolves a wide array of challenges at the same time:
- Reduced complexity saves weight, energy, space and costs: PikeOS enables integration of a large number of electronic devices onto a single or a few standardized hardware platforms.
- Integrated safety reduces certification costs: applications of various levels of criticality and security are safely separated from one another in distinct partitions and certified separately.
- Extreme flexibility provides independence from suppliers in the choice of hardware and software: PikeOS supports a broad range of hardware architectures and provides interfaces for a wide array of personalities. It is easy to add additional architectures and interfaces (including for legacy code).
- Multiple Independent Levels of Security (MILS) architecture: MILS compliant PikeOS controls communications and provides protection against malicious attack. Common Criteria certification process has been engaged.
- Expandable saves costs in downstream incremental development: partitions are simple to configure in the development phase and can even be supplemented and expanded with new applications after entry into service.
PikeOS in action: Airbus A350
PikeOS is used for critical and non-critical applications at Airbus in the cockpit of the A350. The IMA-compatible FSA-NG system provides access to recorded flight data for both the pilots during the flight and the maintenance crew on the ground. These are mixed-critical applications divided into multiple partitions that use personalities like POSIX® for new external applications and PikeOS Native for internal platform services, using ARINC 653 mechanisms. The applications are safety-critical and certified under various safety levels according to DO -178B standard.
“We are very pleased to benefit from SYSGO’s technology and expertise for this actual avionics equipment. SYSGO offers a perfect complementary portfolio to our platforms with field-proven RTOSs and a unique software-based AFDX implementation that has already been DO-178B certified.”
Patrizio Bollini, Marketing and Programs Director, Sirio Panel
More customers in Aerospace & Defense:
Airbus, Astrium, Embraer, EMT, ESA, GMV, GosNIIAS, KMW, LEONARDO, MBDA/LFK, Meggit, RheinMetall, Rockwell Collins, SAFRAN, SirioPanel, TAI, Zodiac Aerospace...
We take the lead by continuous research
Increased comfort, reduced energy consumption, aircraft safety and security, cost reduction measures in production as well as political demands for reduced CO2 emissions are major challenges facing the Aerospace & Defense industry. National governments and the EU are supporting businesses and research institutions with considerable research funding. SYSGO is a leading participant in major research projects, benefiting the industry while continually improving and expanding PikeOS , the sole European virtualization solution.
PikeOS software platform in the following Aerospace & Defense research projects:
ACROSS, ARAMiS, ESPOSA, IMA for Space, INTERESTED, RECOMP, SCARLETT
Industry ecosystem and collaboration
Aerospace & Defense projects use a wide range of software and hardware products. Flawless interaction between the components used is vital to the success of complex projects. For this reason, we have been working in close collaboration with the leading global Aerospace & Defense suppliers for many years. We support a wide selection of hardware platforms with our software products and have developed interfaces for code generators and analysis tools which are constantly being expanded.
Our Aerospace & Defense ecosystem:
AbsInt, AcQ, Adacore, aicas, ANSYS, Atego, Curtiss Wright, Freescale, GE Fanuc, Kontron, Lauterbach, MEN, Mercury, Presagis, PrismTech, Rapita, Symtavision, TechSAT, TTTech, Vector Software, Xilinx
Industry Solution Aerospace & Defense
Better Avionics Software Reliability by Code Verification
An overview of recent code verification techniques being applied to a commercial RTOS
Multiple Independent Levels of "Sicherheit"
Article published in Elektronik Praxis (issue 09/2013)
EADS cabin network using SYSGO's PikeOS
SYSGO and EADS presenting the first prototype of the EADS cabin network using SYSGO's PikeOS