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 www.ghs.com.

Leave a Reply

featured blogs
Jun 5, 2020
'€œYou'€™ll know it when you see it.'€ Have you had that moment where you know what you want but don'€™t know what it is? So you start looking around the store, the internet, or your house to find it. To help you find those '€œknow it when you see it'€ solutions...
Jun 4, 2020
[From the last episode: We started this new with a broad introduction to machine learning.] While neuromorphic neural networks '€“ that is, ones that work the way our brains work '€“ may still be off in the future a ways, someone came up with a different way to emulate th...
Jun 2, 2020
It just struck me that I have only 37 years remaining to complete my Countdown Timer project before it becomes superfluous to requirements....

Featured Video

DesignWare 112G Ethernet PHY IP Insertion Loss Capabilities

Sponsored by Synopsys

This video shows the performance results of the Synopsys 112G PHY receiver to varying amounts of channel insertion loss. The IP meets the standards requirements. With leading power, performance, and area, the IP is available in a range of FinFET processes for high-performance.

Click here for more information

Featured Paper

How LiDAR Delivers Critical Distance-Sensing for Self-Driving Cars

Sponsored by Maxim Integrated

Commercialization of autonomous cars represents an exciting journey ahead, and LiDAR technology in ADAS is right in line to become a significant player in the future of autonomous vehicles. Its performance depends on the optical front-end, as well as how the signal is transmitted through the signal chain and then processed. An important component in this signal chain is the transimpedance amplifier (TIA). Read more for an overview of how LiDAR works and what to look for in an effective TIA.

Click here to download the whitepaper

Featured Chalk Talk

Microchip PIC-IoT WG Development Board

Sponsored by Mouser Electronics and Microchip

In getting your IoT design to market, you need to consider scalability into manufacturing, ease of use, cloud connectivity, security, and a host of other critical issues. In this episode of Chalk Talk, Amelia Dalton sits down with Jule Ann Baker of Microchip to chat about these issues, and how the Microchip PIC-IoT WG development board can help you overcome them.

Click here for more information about Microchip Technology PIC-IoT WG Development Board (AC164164)