industry news
Subscribe Now

Green Hills Software Announces Support for Multicore ARM Processors with Its Field-Proven INTEGRITY-178 tuMP High-Assurance Multi-Level-Secure Real-Time Operating System

SANTA BARBARA, CA — April 9, 2014 — Green Hills Software, the proven worldwide leader in FAA/EASA and NSA-certified high-assurance operating systems, today announced the availability of its INTEGRITY-178 tuMP™ real-time operating system (RTOS) for ARM®-based processors. Green Hills Software partner Richland Technologies also announces the industry’s first Open Standard Reconfigurable and Certifiable Computing Architecture (ORCCA) avionics computer based on an ARM multicore processor and INTEGRITY-178 tuMP.

The INTEGRITY-178 tuMP (time-variant unified multiprocessing) RTOS is intended for safety-critical and security-critical systems that are based on modern multicore processors. INTEGRITY-178 tuMP significantly improves the flexibility in how the ARM processor cores can be used. The tuMP architecture is referred to as “unified” in that a common OS controls the scheduling of all cores and the overall communications between applications. It retains all AMP and SMP scheduling capabilities while resolving their significant limitations. The introduction of tuMP for ARM-based processors follows the successful introduction in 2011 of INTEGRITY-178 tuMP for Freescale’s family of QorIQ multicore processors. In addition to a proven 3-year product service history on QorIQ multicore processors, the tuMP implementation is an update to Green Hills Software’s INTEGRITY-178 single-core product, preserving 12 years of safety and security assurance pedigree and product service history. INTEGRITY-178 tuMP for ARM also supports the ARINC-653 (Part 1 supplement 3 and Part 2 supplement 2) interfaces and operating system capabilities necessary to be aligned with the Future Airborne Capability Environment (FACE™) V2.0 Technical Standard. For systems requiring compliance to RTCA/DO-178B/C, Green Hills Software provides Level A certification evidence for INTEGRITY-178 tuMP. Green Hills Software is the world’s only safety-critical RTOS company that uses its own engineering and certification staff to both develop the product from the ground up and provide DO-178B/C Level A certification services and evidence for its RTOS and custom Board Support Packages (BSP).

After many successful avionics development and certification projects based upon PowerPC architectures, Richland Technologies designed and built their innovative new ARM-based ORCCA avionics computer to satisfy severe Space, Weight and Power (SWaP) requirements. Leveraging the industry-leading multicore features and certification pedigree of INTEGRITY-178 tuMP, Richland’s CortexTM-A9-based ORCCA platform offers dual redundant, low-power, high-performance processing and graphics capability, with flexible I/O configurations. The availability of INTEGRITY-178 tuMP for ARM allows Richland Technologies to offer seamless portability of the DO-178B/C-certifiable ORCCA software platform (device and I/O drivers, middleware and FACE 2.0 Technical Standard-aligned software applications) between QorIQ and Cortex-A9-based platforms.

INTEGRITY-178 tuMP is available immediately for ARM Cortex-A9 processors and is supported by Green Hills Software’s MULTI®/AdaMULTI™ integrated development environment (including optimizing C, C++ and Ada compilers). For more information, contact 1-800-789-9695 or internationally at +1-727-781-4909, or by email: HighAssuranceRTOS@ghs.com.

Leave a Reply

featured blogs
Apr 26, 2024
Biological-inspired developments result in LEDs that are 55% brighter, but 55% brighter than what?...

featured video

Why Wiwynn Energy-Optimized Data Center IT Solutions Use Cadence Optimality Explorer

Sponsored by Cadence Design Systems

In the AI era, as the signal-data rate increases, the signal integrity challenges in server designs also increase. Wiwynn provides hyperscale data centers with innovative cloud IT infrastructure, bringing the best total cost of ownership (TCO), energy, and energy-itemized IT solutions from the cloud to the edge.

Learn more about how Wiwynn is developing a new methodology for PCB designs with Cadence’s Optimality Intelligent System Explorer and Clarity 3D Solver.

featured paper

Designing Robust 5G Power Amplifiers for the Real World

Sponsored by Keysight

Simulating 5G power amplifier (PA) designs at the component and system levels with authentic modulation and high-fidelity behavioral models increases predictability, lowers risk, and shrinks schedules. Simulation software enables multi-technology layout and multi-domain analysis, evaluating the impacts of 5G PA design choices while delivering accurate results in a single virtual workspace. This application note delves into how authentic modulation enhances predictability and performance in 5G millimeter-wave systems.

Download now to revolutionize your design process.

featured chalk talk

How Capacitive Absolute Encoders Enable Precise Motion Control
Encoders are a great way to provide motion feedback and capture vital rotary motion information. In this episode of Chalk Talk, Amelia Dalton and Jeff Smoot from CUI Devices investigate the benefits and drawbacks of different encoder solutions. They also explore the unique system advantages of absolute encoders and how you can get started using a CUI Devices absolute encoder in your next design.
Apr 1, 2024
4,114 views