SYSGO PikeOS Conforms to ARINC 653 Part 3 Standard with Skysoft AVT

SYSGO announced the full compliance of their PikeOS ARINC 653 Personality to the ARINC 653 Part 3 standard. The tests have been accomplished with Skysoft’s verification tools (AVT), which is the result of a tight cooperation between the two companies.

“Testing is one of the most crucial factors of software development especially in the safety-critical area,” said Jacques Brygier, Vice President Marketing at SYSGO. “Skysoft’s specific ARINC 653 verification tools have helped us to offer our customers a full ARINC 653 Part 3 compliant PikeOS Personality with a maximum of reliability in a very short time.”

The PikeOS virtualization technology allows multiple applications and even operating systems to run concurrently on one hardware platform. To facilitate such a model for a safety-critical environment, execution time and memory space of each application must be protected from other applications in the system. The ARINC Specification 653, implemented in the PikeOS system software, provides the definition of an APplication EXecutive (APEX) that supports space and time partitioning of applications. ARINC 653 is one of the main features to assure a secure execution environment for safety-critical applications in the avionics and aerospace. Similar to the POSIX qualification schemes, the Skysoft AVT tools allow an independent verification of the presence of all required services and their conformance with the ARINC 653 Part 3 standard. Services include Inter-Partition Communication (Queuing Ports, Sampling Ports), Intra-Partition Communication (Buffers, Events, Semaphores, Blackboards), Partition Management, Process Management, Timing functions and Health-Monitor functions.

“We were glad to work with SYSGO on this validation,” commented Tobias Schoofs, IMA Team Leader from Skysoft. “PikeOS’s ARINC 653 implementation is one of the most advanced in the market, and the validation phase contributed to show the high value of our AVT product.”

PikeOS 2.2 is available immediately. The three families of supported processors are the x86, PowerPC and MIPS The supported personalities are PikeOS Native, ARINC-653, Linux, POSIX and OSEK, as well as personalities involving partners or third-parties such as Java, Ada, µITRON, CoDeSys®, VxWorks® and FidelityVCF(tm).

About Skysoft
Skysoft is a systems and software house, located in Lisbon, with over a decade of experience in the aeronautics, space, and telematics markets. Skysoft involvement in advanced avionics architectures started in 1996. Since then this technological know-how has been further explored. In the context of the VICTORIA Project led by THALES Avionics, Skysoft developed a set of Component Conformance Test Tools for the AIRBUS IMA API and AFDX End System technologies. Later these tools were advanced to the ARINC 653 Verification Tool (AVT) and the AFDX Robustness Test Tool (AROT) which completely cover the ARINC 653 specifications. As a result of this and many other successful IMA related activities, Skysoft was invited in 2004 by AIRBUS to become an active contributor of the ARINC 653 committee. Skysoft is responsible for the Conformance Test specification, Part 3 of the ARINC 653 standard. Today, conformance testing is an important service in Sksyosft’s portfolio, in addition to software and project development.

SYSGO specializes in design, implementation and configuration of device software for the embedded market. In addition to PikeOS(tm), SYSGO’s real-time operating system and virtualization solution for safety-critical systems, and ELinOS(tm), SYSGO’s embedded Linux development environment, the company offers development of device drivers, board support packages and firmware. SYSGO also supports international customers with services for embedded Linux, real-time capabilities and certification for safety-critical applications. Target markets include Aerospace & Defense, Industrial Automation, Automotive, Consumer Electronics and Network Infrastructure. SYSGO customers include DaimlerChrysler, EADS Airbus, EADS Military Air Systems, Honeywell, Thales, Raytheon, Rheinmetall, Rockwell-Collins, Siemens and Rohde & Schwarz. Today, the company has six facilities in Europe, including Germany, France and UK and offers a global distribution and support network, especially in the US and Japan.

SYSGO, ELinOS, PikeOS, CODEO, COGNITO, and other SYSGO products and services mentioned herein as well as their respective logos are trademarks or registered trademarks of SYSGO AG in Germany and in several other countries all over the world.