Home XKY A new and robust partitioned operating system Print General Information The XKY hypervisor XKY is an ARINC 653-compliant time-and-space partitioned real-time operating system (RTOS). It is developed in compliance with the DO-178 regulations to offer all levels of security up to DAL-A. From its inception, the XKY operating system was designed and created with a hypervisor architecture in mind and the idea of minimizing the code base, all while complying with the requirements for robust partitioning. It also combines modularity and flexibility with a minimal impact on the system, making it a cost-effective solution for the aviation market. XKY runs on 32- and 64-bit ARM v7 and PowerPC with multi-core support. Thanks to its modular design, it can also be adapted easily to other types of CPU. For more information, please contact us at [email protected]. Use cases: see the product technical documentation, which provides detailed information on XKY and a case study carried out with Embraer. XKY Features General Information XKY is a real-time operating system created from the ground up that follows the paradigm used most today in integrated modular avionics (IMA): robust partitioning. Its design emulates the hypervisor architecture, enabling several applications, and even operating systems, to coexist safely on the same hardware. The core of XKY’s partitioning management is run directly on the hardware to control and manage guest systems. XKY allows several operating systems to run in several partitions, guaranteeing uninterrupted access to the resources configured for these systems in the design phase. XKY is optimized to support systems in real time, and the common guest is a RTOS. Key Features XKY offers multi-core support. Partitions can be programmed in any number of processing cores, indicating the CPU in which the current partition must be run. XKY provides fast communication between the applications in each partition via sampling and queue ports and shared memory. XKY supports external communication via PCIe and Ethernet or AFDX. These interfaces work directly, without requiring additional actions. Other IO drivers can also be integrated easily at the partition level. XKY offers compatibility with the ARINC 653 APEX standard, part 1 (annexes 3 and 4) and select services from part 2. The add-ons are the logging system, service access points, and ARINC 653 file system (coming soon). XKY is currently oriented toward PowerPC (32/64 bit) and ARM (Cortex-A8/A53/M4/etc.). Hardware-independent BSP for Unix/Linux. XKY can be certified up to DO-178C/ED-12C DAL-A. DO-178C/ED-12C Certification Documentation Together with our partners, we have been working on exhaustively documenting certification in civil aviation in compliance with DO-178C/ED-12C up to level DAL-A. This means that XKY can be used with the most critical applications in civil aviation. This documentation will be available in the last quarter of 2020. For questions related to certifiability, please contact us at [email protected]. Use cases The acronym DIMA stands for distributed integrated modular avionics. Distributed integrated modular avionics (DIMA), sometimes known as 2nd generation IMA, is an emerging architectural pattern for avionics. Since 2014, GMV has been working with Embraer on a series of projects aimed at implementing a DIMA platform prototype. This platform provides: Flexible use of IT and IO resources Interoperability at the system level Reuse of application components Reconfiguration (plug & play) If you are interested, you can download the technical documentation on this use case. Download Introductory Kit The introductory kit is a low-cost solution for assessing, creating demos, building prototypes, training, and conducting other activities not directly geared toward safety-critical systems. The introductory kit contains XKY with a support package for BeagleBone Black, an affordable open code board with a community-maintained ARM Cortex-A8 process. It also includes a chain of Python-based configuration tools and the chain of GNU-based compilation tools, as well as an IO partition that provides UDP via Ethernet. There is also documentation and sample applications. The introductory kit is a perfect solution for research projects and educational purposes, and it is free to universities and other educational institutions. XKY on Linux XKY on Linux is a version of the hypervisor with a board compatibility pack for POSIX. This variant does not run on pure hardware, rather on operating systems compatible with POSIX. XKY on Linux is optimized and tested in Linux distributions. It can be used as a development tool, to build prototypes, and for educational purposes. It includes a chain of Python-based configuration tools and the chain of GNU-based compilation tools, as well as an IO partition that provides UDP via Ethernet. It also includes documentation and example applications. XKY on Linux is free for universities and other educational institutions.