Abaco Systems, Inc. and Green Hills Software announced that the rugged, 3U VPX SBC3511 single board computer supports the INTEGRITY®-178 tuMP™ real-time operating system (RTOS) for avionics and security-critical applications. The combined solution features a Modular Open Systems Approach (MOSA) that is aligned to the SOSA™ Technical Standard and certified to the FACE™ Technical Standard. Together the products address many requirements of security-critical systems including both functional security and assurance requirements. Additionally, INTEGRITY-178 was certified to the NSA-defined Separation Kernel Protection Profile (SKPP) high-robustness security and Common Criteria EAL 6+, and INTEGRITY-178 tuMP is the first and only RTOS to be part of a cross-domain solution (CDS) certification to NSA’s new “Raise the Bar” standards.
“The high-performance of the multicore Intel® Xeon® E processor on the SBC3511 can be fully realized with the INTEGRITY-178 tuMP multicore RTOS,” said Richard Jaenicke, Director of Marketing for Green Hills Software. “The built-in multicore interference mitigation capability in INTEGRITY-178 tuMP enables safe and deterministic performance even in the face of contention for shared resources by multiple processor cores.”
“The design of the INTEGRITY-178 tuMP RTOS to high-robustness security and Common Criteria EAL 6+ complements the wide range of security features built into the SBC3511 hardware and firmware designed to assist with the prevention of exploitation of critical technologies and data,” said Pete Thompson, Abaco’s VP of Product Management. “The combination of advanced security, high-performance, and leading-edge thermal management on the SBC3511 enables the joint solution to meet the demanding requirements of security-critical avionics systems.”
The SBC3511 3U OpenVPX rugged single board computer derives its high performance from the new, highly integrated Intel Xeon E-2276M 6-core/12-thread processor (formerly known as Coffee Lake Refresh) operating at 2.8GHz with TurboBoost up to 4.5GHz. It also features a 40 Gigabit Ethernet data plane, delivering a high-speed interconnect aligned with the SOSA I/O intensive profile for maximum multi-vendor interoperability. The SBC3511 utilizes an onboard Xilinx® Zynq® UltraScale+™ MPSoC with built-in security capabilities. It can be utilized to instantiate a range of Abaco-defined security features or by customers to embed application-specific features. Support is also provided for Intel’s Trusted Execution Technology.
The INTEGRITY-178 tuMP high-assurance RTOS is designed to meet the strictest requirements for both airborne safety and security simultaneously, including RTCA/DO-178B/C design assurance level (DAL) A and the SKPP for High Robustness. INTEGRITY-178 tuMP is a multicore RTOS with support for running a multi-threaded DAL A application across multiple processor cores in symmetric multi-processing (SMP) or bound multi-processing (BMP) configurations. INTEGRITY-178 tuMP is the only RTOS to be part of a multicore certification to DO-178C and CAST-32A. INTEGRITY-178 tuMP was the first RTOS to be certified conformant to the FACE Technical Standard, edition 3.0, and it is the only RTOS with multicore interference mitigation for all shared resources. That bandwidth allocation and monitoring (BAM) functionality ensure that critical applications meet their required deadlines, significantly lowering integration and certification risk. The INTEGRITY-178 RTOS is the only commercial operating system ever certified to the Separation Kernel Protection Profile (SKPP) published by the Information Assurance Directorate of the U.S. National Security Agency (NSA). That certification was done by the National Information Assurance Partnership (NIAP) to Common Criteria EAL 6+ “High Robustness,” and included all the functionality required to run multi-level security (MLS) applications, such as cross-domain solutions (CDS). INTEGRITY-178 tuMP is also the only RTOS to be part of certification to NSA’s “Raise the Bar” standards for cross-domain solutions.