Abaco与Green Hills合作推出高安全单板计算机

Abaco系统公司和Green Hills软件公司日前宣布，3U VPX SBC3511单板计算机支持INTEGRITY®-178 tuMP™实时操作系统（RTOS），用于航空电子和安全关键应用。该组合解决方案具有模块化开放系统方法（MOSA）的特点，符合SOSA™技术标准，并获得FACE™技术标准认证。这些产品一起满足了安全关键系统的许多要求，包括功能安全和保证要求。此外，INTEGRITY-178获得了NSA定义的分离内核保护规范（SKPP）高稳健安全性和通用标准EAL 6+的认证，INTEGRITY-178 tuMP是第一个也是唯一一个成为NSA新 "提高标准 "的跨域解决方案（CDS）认证一部分的实时操作系统。

"SBC3511上的多核英特尔®至强®E处理器的强大性能可以通过INTEGRITY-178 tuMP多核实时操作系统充分实现。"Green Hills软件公司营销总监Richard Jaenicke说。"INTEGRITY-178 tuMP中内置的多核干扰缓解能力，即使在多个处理器内核争夺共享资源的情况下，也能实现安全和确定的性能。"

Abaco公司产品管理副总裁Pete Thompson说："INTEGRITY-178 tuMP实时操作系统对高鲁棒性安全和通用标准EAL 6+的设计，以及SBC3511硬件和固件中内置的广泛安全功能，旨在协助防止对关键技术和数据的利用。SBC3511上先进的安全性、高性能和领先的热管理相结合，使联合解决方案能够满足安全关键型航空电子系统的苛刻要求。"

SBC3511 3U OpenVPX加固型单板计算机的高性能来自于新的、高度集成的英特尔至强E-2276M 6核/12线程处理器（以前称为Coffee Lake Refresh），工作频率为2.8GHz，TurboBoost最高可达4.5GHz。它还具有40 Gb以太网数据，提供与SOSA I/O密集配置文件一致的高速互连，以实现最大的多厂商互操作性。SBC3511采用板载的Xilinx® Zynq® UltraScale+™ MPSoC，具有内置安全功能。它可以用来实例化一系列Abaco定义的安全功能，或者由客户嵌入特定的应用功能。还提供了对英特尔可信执行技术的支持。

INTEGRITY-178 tuMP高安全性RTOS旨在同时满足机载功能安全和信息安全的最严格要求，包括RTCA/DO-178B/C设计保证级别（DAL）A和高稳健性的SKPP要求。INTEGRITY-178 tuMP是一个多核实时操作系统，支持在对称多处理（SMP）或绑定多处理（BMP）配置中的多个处理器内核上运行多线程DAL A应用。INTEGRITY-178 tuMP是唯一DO-178C和CAST-32A认证的。INTEGRITY-178 tuMP是第一个经认证符合FACE技术标准3.0版的RTOS，它是唯一对所有共享资源具有多核干扰缓解功能的RTOS。这种带宽分配和监控（BAM）功能确保关键应用满足其要求的最后期限，大大降低了集成和认证风险。INTEGRITY-178实时操作系统是唯一获得美国国家安全局（NSA）信息保障局发布的分离内核保护规范（SKPP）认证的商业操作系统。该认证由国家信息保障伙伴关系（NIAP）完成，符合通用标准EAL 6+"高稳健性"，并包括运行多级安全（MLS）应用程序所需的所有功能，如跨域解决方案（CDS）。

INTEGRITY-178 tuMP也是唯一NSA "提高标准 "的跨域解决方案认证的RTOS。