HUNTSVILLE, AL and SANTA BARBARA, CA — January 18, 2022 — Abaco Systems, Inc. and Green Hills Software announced today 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 ensures 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 a certification to NSA’s “Raise the Bar” standards for cross domain solutions.
Abaco Systems is a global leader in commercial open architecture computing and rugged embedded electronics. With more than 30 years of experience in aerospace & defense, industrial, energy, medical, communications and other critical sectors, Abaco’s innovative solutions align with open standards to accelerate customer success.
Abaco Systems is a subsidiary of AMETEK, Inc., a leading global manufacturer of electronic instruments and electromechanical devices with 2020 sales of more than $4.5 billion. www.abaco.com
About Green Hills Software
Founded in 1982, Green Hills Software is the worldwide leader in embedded safety and security. In 2008, the Green Hills INTEGRITY-178 RTOS was the first and only operating system to be certified by NIAP (National Information Assurance Partnership comprised of NSA & NIST) to EAL 6+, High Robustness, the highest level of security ever achieved for any software product. Our open architecture, integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software at www.ghs.com.