industry news
Subscribe Now

Green Hills Software Demonstrates Multicore Interference Mitigation for Armv8-A Cores

Multicore Interference Mitigation Is Imperative for Safety-Critical and Security-Critical Systems

SANTA BARBARA, CA — September 9, 2019 — Green Hills Software, the worldwide leader in high-assurance operating systems, today announced that it is demonstrating the multicore interference mitigation capabilities of the INTEGRITY®-178 Time-Variant Unified Multi-Processing (tuMP™) RTOS on Arm®v8-A processor cores at the Defence & Security Equipment International (DESI) conference and exhibition (Booth #N6-201) in London. Multicore interference mitigation is critical for both safety-critical and security-critical applications because the same sources of interference that affect determinism and availability can also be used for covert timing attacks. In addressing multicore mitigation for Arm cores, INTEGRITY-178 tuMP provides architects of airborne systems the option to use a processor family with high multicore performance that also comes with the increased determinism and reduced size, weight, and power (SWaP) of Arm’s reduced instruction set computing (RISC) design.

Utilizing multicore processors for safety-critical and security-critical applications can be quite challenging due to the inherent contention from multiple cores trying to access a given shared resource, such as memory or I/O. Certification authorities have emphasized their concerns about such interference by including objectives for interference identification, mitigation, and verification in the CAST-32A position paper. As a true multicore Integrated Modular Avionics (IMA) operating system with a proven 9-year service history, INTEGRITY-178 tuMP includes both a fully capable multicore scheduler and support for bandwidth allocation and management of shared processor resource access. The supported bandwidth management technique emulates a high-rate hardware-based approach to ensure continuous allocation enforcement. These capabilities greatly lower integration and certification risk, while also enabling the integrator to manage significant software retest costs that would occur when a software application changes or is added.

“Meeting safety-certification for multicore avionics has many challenges beyond single-core certifications, and Green Hills Software is committed to providing system integrators the extra features, tools, and documentation they need,” said Dan O’Dowd, founder and chief executive officer of Green Hills Software. “INTEGRITY-178 tuMP is the only commercial RTOS to provide a full set of tools to directly address the multicore interference objectives specified in CAST-32A.”

With a proven 9-year service history, the INTEGRITY-178 tuMP multicore RTOS is unique in providing the highest levels of both safety and security in the same software product. For security, INTEGRITY-178 is the only operating system ever certified to the Separation Kernel Protection Profile (SKPP) published by the U.S. National Security Agency (NSA) as well as Common Criteria EAL 6+. That security pedigree has been extended to the multicore INTEGRITY-178 tuMP RTOS. INTEGRITY-178 tuMP meets the flight safety assurance requirements of DO-178 Level A, and is the only true IMA operating system for multicore architectures available today. INTEGRITY-178 tuMP is the only RTOS that fully complies with ARINC 653 Part 1 Supplement 4, and it is also the only RTOS that provides DAL A-compliant mechanisms to mitigate multicore interference. These capabilities substantially lower integration and certification risk while enabling true IMA capabilities. These RTOS features permit the system integrator and the system end-user to affordably manage software sustainment activities when an application program must be added, modified, or improved within the system’s IMA framework.

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, safety/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

Leave a Reply

featured blogs
Dec 6, 2019
SC19 has come and gone. Anticipation for SC20 in Atlanta is already building. Before we look ahead, what were some highlights from SC19? AI is Everywhere AI is affecting all aspects of life. At SC19, technical presentations showed how AI and HPC are helping researchers cure h...
Dec 6, 2019
We’re happy to give you a special Christmas (or whatever gift-giving holiday you may celebrate this time of year) present: the December issue of Verification Horizons! In addition to a fun look at how the Harry Potter books and movies can be compared to verification, we...
Dec 6, 2019
Waterproof coat can turn into a heat-trapping sleeping bag at night and into a cross-body bag for carrying around during the day....
Dec 6, 2019
[From the last episode: We looked at the role of interrupts in a processor, and how they help save energy in battery-powered IoT devices.] OK, time to take a breath. We'€™ve covered a wide range of computing concepts; time for a quick review. We started by looking at the ro...
Dec 6, 2019
At HOT CHIPS this summer, one of the things I noticed was just how many of the designs being presented were in some form of 3D packaging with multiple die. I wrote about many of them in my post HOT... [[ Click on the title to access the full blog on the Cadence Community sit...