PikeOS is a powerful and efficient paravirtualization real-time operating system based on a separation microkernel. It supports multiple additional operating systems (OSs) and runtime environments (RTEs), such as Linux, ARINC 653 and POSIX, together with their associated applications.   Read more

Linux is being considered as a valid option by a growing number of embedded application engineers, especially since kernel version 2.6 with its real-time extensions incorporated. Flexibility and a broad range of functionality, APIs and drivers contribute to this success. However, many traps and difficulties remain for the newcomers, the non experts or simply the users who have no time to sort out the proliferation of new components. ELinOS is the embedded Linux environment that solves this problem, and gives the customers the most up to date usable technology.   Read more

First Portable AFDX is the first completely genuine software implementation of AFDX used in civil and military aerospace programs. The hardware independency of First Portable AFDX makes it flexible, adaptable, scalable and affordable.   Read more