“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. “Skysofts 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 Sksyosfts portfolio, in addition to software and project development.
About SYSGO
SYSGO specializes in design, implementation and configuration of device software for the embedded market. In addition to PikeOS™, SYSGOs real-time operating system and virtualization solution for safety-critical systems, and ELinOS™, SYSGOs 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 Czech Republic and offers a global distribution and support network, especially in the US and Japan.
Further information
Sysgo Ag
Jacques Brygier
Vice President Marketing
Am Pfaffenstein 14
55270 Klein-Winternheim
Germany
Tel.:: +49 6136 99480
E-mail: [email protected]
Skysoft, Portugal
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: [email protected]
www.skysoft.pt