A Future-Facing Framework That Maps Out Multicore Architecture Isolation and Partitioning in Avionics
Phones out of airplane mode are not be the only interference an airliner?s navigational systems need to deal with.
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 www.DornerWorks.com.
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: 279
More Releases from DornerWorks
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
Army CMS SW Runs on Sierra Nevada Corp. Ruggedized Tablet Enabled by Virtuosity …
On the front lines of battle, it's important to know who's on your side. One of the most powerful weapons modern warfighters have today is information, and Sierra Nevada Corporation's ultra-wideband wireless network is helping modern warfighters make safer, better-informed decisions. They're doing it all with the help of DornerWorks Virtuosity® OA (Open Architecture) OSS, a cost-effective virtualized development platform. Virtuosity OA is certified to the Open Group FACETM Technical Standard, making
More Releases for ARINC
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
Wind River with Device Software Platform and Networking Stack for ARINC 653 IMA …
VxWorks 653 v2.2 and DO-178B Network Stack accelerate time-to-market and provide advanced networking communications for complex safety-critical products Wind River announced the release of VxWorks 653 Platform 2.2, its ARINC 653 Integrated Modular Avionics platform for safety-critical systems. The new version of VxWorks 653 underscores Wind River\'s commitment to providing the avionics market with a proven, highperformance, low-risk ARINC 653 operating system, with complete DO-178B Level A certification artifacts and