PikeOS achieves ARINC 653 Part 3 conformance validation with Skysoft’s AVT

SYSGO today 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.”

Availability
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™.

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.

Skysoft, Portugal
Tobias Schoofs
IMA Team Leader
Av. D. João II, Lote 1.17.02
Ed. Fernão Magalhães, 7º
1998-025 Lisboa
Portugal
Tel.: +351 21 382 93 66
E-mail: tobias.schoofs(at)skysoft.pt
www.skysoft.pt

About SYSGO
SYSGO excels in providing operating system technology, middleware, and software services for the real-time and embedded device market. A differentiating capability of SYSGO is the secure PikeOS™ paravirtualization operating system which is built upon a small, fast, and safe microkernel and supports the cohabitation of independent operating system personalities on a single platform, including ELinOS™, SYSGO’s embedded Linux development environment. SYSGO 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, Transportation and Network Infrastructure. SYSGO customers include Airbus, Honeywell, Thales, Daimler, Raytheon, Rheinmetall, Rockwell-Collins, Siemens and Rohde & Schwarz. Today, the company has six facilities in Europe, including Germany, France and The Czech Republic and offers a global distribution and support network, extending to North America and the Pacific Rim.

<- Back to: Press Releases