openPR Logo
Press release

A Future-Facing Framework That Maps Out Multicore Architecture Isolation and Partitioning in Avionics

11-02-2018 08:41 PM CET | IT, New Media & Software

Press release from: DornerWorks

Phones out of airplane mode are not be the only interference an airliner?s navigational systems need to deal with.

Phones out of airplane mode are not be the only interference an airliner?s navigational systems need to deal with.

Multi-core processing platforms, isolation, and partitioning aren’t the first thing most people think of when they’re flying through the air at 30,000 feet, and that’s exactly the way it should be.

When a passenger in business class orders a decaf coffee from the console on the seat in front of him, that demand on the passenger plane’s processing capacity shouldn’t interfere with the navigation system in the cockpit. In traditional system architectures, preventing interference between those two applications would not be guaranteed.

Fortunately, modern airliners aren’t going to be running on a single computer. Some still separate critical applications from non-critical by separating the computing hardware, literally. But multiple hardware architectures require multiple layers of certification, thus making multicore processor systems a more attractive choice for avionics developers.

This is where partitioning comes in.

Fuzzy boundaries of ARINC 653 compliance

Safety-critical processes, like a passenger plane’s navigation system, in this case, fall under the domain of the ARINC 653 specification. That standard defines how multiple, mixed-criticality applications should operate within a real-time operating system (RTOS), all running on the same computer. ARINC 653 compliant software relies on a separation policy to ensure strict isolation and partitioning, keeping computer commands related to coffee orders and those related to aileron adjustments completely independent from each other.

DornerWorks has been working with virtualized embedded systems and separation technology like ARINC 653 compliant applications for years. Our own open source Xen-based Virtuosity distribution is currently helping product developers in aerospace and defense bring the same application safety and security to their own embedded systems, and at the 37th annual Digital Avionics Systems Conference (DASC), themed “Intelligent Automation and Autonomy for a safe and secure Air Transport System,” DornerWorks Chief Operating Officer, Dr. Steven VanderLeest, proposed a framework to guide avionics developers implementing avionics partitioning.

A Framework for Analyzing Shared Resource Interference in a Multicore System

Written along with co-author DornerWorks engineers Jesse Millwood and Chris Guikema, “A Framework for Analyzing Shared Resource Interference in a Multicore System” is one of the first published documents to lay out the design steps needed to achieve isolation and partitioning on multicore processor avionics platforms. Multi-Processor System on Chips (MPSoCs) like those based on the Xilinx Zynq UltraScale+ family of processors are being used more and more in Integrated Modular Avionics products, as they provide immense processing capability at reduced cost.

“In the past, you’d normally have your systems running on separate hardware,” Millwood says. “Now, with multi-core systems, other isolation techniques are needed to keep those processes separate from each other.”

The paper presented at DASC, “…proposes an approach for analyzing the use of shared resources by partitions in an Integrated Modular Avionics (IMA) system, particularly for those built around a multicore processor, as a conceptual scheme to identify all possible avenues for interpartition interference that might cause non-determinism and then to validate and verify the system isolation mechanisms to bound such interference.”

Focusing the ARINC 653 specification

This framework includes a taxonomy of isolation techniques and a basic outline of how to analyze shared resource interference in a multicore architecture. While the ARINC 653 specification covers isolation in broad strokes, this paper is the first to focus on the design steps to select and implement isolation techniques to the multicore class of hardware and could provide a foundation for more specific standards in the future. According to VanderLeest, “although many aerospace companies are already grappling with the design details for utilizing multicore technology, they have not published their ideas, so DornerWorks is one of the first to start outlining the best practices in this area and to share those ideas with the broader avionics community.”

Future-facing avionics engineering

As avionics technology advances, multicore hardware architectures are becoming essential for both manned and unmanned aircraft. This new framework will help developers enable greater application safety and cybersecurity along with increases in efficiency.

If you are developing a project that needs to meet rigorous safety-critical avionics standards, the engineers at DornerWorks can guide you to success. They are not only fluent in the requirements to meet those standards, they’re already building the foundation out of which new standards may soon evolve.

DornerWorks provides technology engineering so you can focus on your customers. With embedded electronics, FPGA, and software engineering expertise, we accelerate your product development and lower risk for adopting advanced technologies. One of our specialties is embedded virtualization technology, including Xen Project hypervisor and seL4 secure microkernel-based solutions. For more information, visit

DornerWorks, Ltd.
3445 Lake Eastbrook Blvd. SE
Grand Rapids, Michigan 49546

This release was published on openPR.

Permanent link to this press release:

Please set a link in the press area of your homepage to this press release on openPR. openPR disclaims liability for any content contained in this release.

You can edit or delete your press release A Future-Facing Framework That Maps Out Multicore Architecture Isolation and Partitioning in Avionics here

News-ID: 1349301 • Views:

More Releases from DornerWorks

It used to be challenging to build a secure system from the ground up. Developers now have an "easy button" to overcome that challenge. DornerWorks' Secure Microkernel Virtual Machine (VM) Composer helps teams deploy virtualized high-assurance systems with ease. VM Composer is a cutting-edge modeling tool that simplifies the process of building secure systems, removing the obstacles and enabling teams to focus on growing their business. With the drag-and-drop interface, non-experts
DornerWorks Named Detroit Free Press Top Workplace For 2022
DornerWorks Named Detroit Free Press Top Workplace For 2022
DornerWorks has been named a Top Workplace in the Detroit Free Press list of Top 100 Work Places for 2022 based on positive responses from team members. Only 200 companies made this year's list - being named a Top Work Place is a tremendous honor, as each is nominated by their own employees. "Our culture has been built over the 22 years of DornerWorks existence through the ideas and initiatives of our
An Accelerated and Configurable Path to Launching Products Connected through Apple HomeKit
An Accelerated and Configurable Path to Launching Products Connected through App …
HomeKitLights improves on Apple's HomeKit user experience for IoT-enabled devices and demonstrates expertise companies can use to reach Apple MFi certification. GRAND RAPIDS, MI, April 20 - Innovators that want to better their customers lives by connecting their products through a mobile app can tap into a rapidly growing market by integrating their products with popular management apps like Apple HomeKit. But the path to that market can be challenging, especially
Embedded System Security Solutions Expanded with New Commits To Open Source seL4 …
A robust data security solution is worth all you can’t afford to lose. Leading developers in aerospace, defense, medical, and industrial markets are launching innovative and secure new products leveraging cost-effective open source solutions. They know there is an alternative to costly proprietary systems, and they are protecting their IP and reputation with engineering guidance from DornerWorks. The seL4 microkernel is a cost-effective, open source option that delivers software security backed by

All 5 Releases

More Releases for ARINC

Logic Fruit Technologies Launches ARINC 818 RTL IP Core for Avionics application …
Delhi/NCR, India, May 24, 2021: Logic Fruit Technologies Pvt. Ltd, leading provider of IPs, Embedded Solutions, and product engineering services today announced the release of ARINC 818 IP Core. Designed to achieve advance performance into the data-intensive FPGAs with an added support to a variety of functionalities such as the Cockpit Display Systems (CDS), the Head-Up Display (HUD), and Video Recording. ARINC 818 IP is most suited to meet the
Global Advanced Airport Technologies Market to 2022| CISCO Systems, Honeywell Ai …
Albany, NY, 14th December : Recent research and the current scenario as well as future market potential of "Advanced Airport Technologies: Global Markets to 2022" globally. The global market for advanced airport technologies totaled $20.3 billion in 2016. The market should total nearly $21.3 billion in 2017 and $27.2 billion in 2022, registering a compound annual growth rate (CAGR) of 5.1% from 2017 to 2022. Get PDF for more Professional and Technical
Data Bus Market will touch a new level in upcoming year – Key Players involved …
​A data bus is a connector present within the computer that enables transportation for data. Various kinds of buses have evolved in personal computers and other hardware. The data bus is extensively used in various applications such as automotive, marine, military aviation, and commercial aviation. A data bus acts as a communication channel shared by many devices. The Data Bus market is expected to grow worth of USD +19 Billion
Data Bus Market Report 2018: Segmentation by Protocol (MIL-STD-1553, AFDX/ARINC …
Global Data Bus market research report provides company profile for Airbus (France), Boeing (U.S.), Volvo (Sweden), Boeing (U.S.), Newport News Shipbuilding (U.S.), Pipavav (India), Volkswagen (Germany) and Others. This market study includes data about consumer perspective, comprehensive analysis, statistics, market share, company performances (Stocks), historical analysis 2012 to 2017, market forecast 2018 to 2025 in terms of volume, revenue, YOY growth rate, and CAGR for the year 2018 to 2025,
Global Advanced Airport Technologies Market 2018 by Growth Drivers : Hitachi,Ltd …
Qyresearchreports include new market research report "Global Advanced Airport Technologies Sales Market Report 2018" to its huge collection of research reports. In this report, the global Advanced Airport Technologies market is valued at USD XX million in 2017 and is expected to reach USD XX million by the end of 2025, growing at a CAGR of XX% between 2017 and 2025. The report Advanced Airport Technologies Market added recently to the portfolio
AIT and NI Offering New ARINC 664 Test Instrument
Avionics Interface Technologies (AIT) announced today that it signed a long term product purchase agreement with National Instruments (NI) for its new ARINC-664 (AFDX) test and simulation module for PXI/cPCI. NI has also tested and validated the new PXI-C664 module to ensure compliance with the PXI platform and compatibility with NI LabVIEW system design software. The PXI-C664 module is a 3U PXI/cPCI instrument designed to support the simulation of multiple