Welcome to our library

If you’re looking for guidance on embedded technology, you’ve come to the right place.

These published resources are the result of meticulous research and development, and available to you for free.

Click on any of the links below to learn more about the documents offered here, and to download them for your own use.

Our Most Popular Resources

DornerWorks Xen Zynq Distribution and Separation Technology
IoT Project Pitfalls
7 Mistakes Project Managers Make In IoT
Xilinx SDSoCXilinx SDSoC
An All In One Solution, Without The Headache
Customized Solutions with a SOMCustomized Solutions
5 Reasons Why Your Product Needs A SOM


An Open Source Hypervisor for AerospaceAn Open Source Hypervisor for Aerospace

ARINC 653 is the standard which flight-certified software development must meet. DornerWorks’ Virtuosity® Hypervisor does this by isolating applications to run independently of one another, each in its own virtual container called a “partition,” providing mutually-exclusive access to all necessary systems without affecting the performance of an unrelated partition.

Author: Steve VanderLeest, Joshua P. Holtrop
Technologies: ARINC 653, Virtualization, Hypervisor

Xen on the Zynq UltraScale+ MPSoCXen on the Zynq UltraScale+ MPSoC

One of the best ways to achieve full hardware utilization while maintaining a strict level of security and safety in a single System on a Chip (SoC) is through the use of virtualization. In this paper, we explain the capabilities of the Xilinx Zynq UltraScale+ MultiProcessor SoC (MPSoC) and how they relate to target technology areas such as ARM processors and multi-core technology.

Author: Robert VanVossen
Technologies: Zynq UltraScale+ MPSoC, Xen, ARM

Taming interrupts: Deterministic asynchronicity in an ARINC 653 environmentTaming Interrupts: Deterministic Asynchronicity in an ARINC 653 Environment

Interrupts are forbidden in ARINC 653 partitioned environments – or so it appears. In this paper we examine that prohibition and explore a means of using interrupts in a system while maintaining deterministic behavior.

Author: Steve VanderLeest
Technologies: Xen Hypervisor, ARINC 653, I/O, DO-248

ARINC 653 HypervisorBenefits and Implications of an ARINC 653 Hypervisor

The Virtuosity® Hypervisor on multiple platforms allows for early application development in a PC environment, reliably modeling target behavior. This paper covers an overview of the ARINC 653 standard and the reduction of development costs, system weight, and certification costs that can be realized through virtualization and the Virtuosity® Hypervisor.

Author: Steve VanderLeest
Technologies: ARINC 653, Hypervisor

A Safe And Secure ARINC 653 HypervisorWhat Makes A Safe And Secure ARINC 653 Hypervisor?

DornerWorks is developing extensions to the open source Virtuosity® hypervisor that will meet DO-178C Level A requirements for safety and high robustness requirements based on Common Criteria Evaluation Assurance Level (EAL) 6+ for security.

Authors: Steve VanderLeest, David Greve, Paul Skentzos
Technologies: Hypervisor, Partitioning, Virtualization, DO-178, ARINC 653

FACE HypervisorDesigning A Future Airborne Capability Environment (FACE) Hypervisor for Safety and Security


A partitioning environment is one of the components of an avionics architecture aligned with the Future Airborne Capability Environment (FACE). In this paper, we explore the design of a hypervisor to provide the partitioning specified in the FACE Technical Standard.

Author: Steve VanderLeest
Technologies: ARINC 653, Hypervisor

Data Flow Analysis of a Xen-based Separation KernelData Flow Analysis of a Xen-based Separation Kernel

An overview of how the Rockwell Collins Data Flow Logic (DFL) framework is being leveraged to demonstrate compliance with data isolation and information flow control requirements.

Authors: Steve VanderLeest, David Greve
Technologies: Hypervisor, Virtuosity, Virtualization, Xen

Zynq MPSoC gets Xen Hypervisor SupportAchieve Safety and Security with Xen Hypervisor Support for Xilinx Zynq MPSoC

Xilinx’s latest Zynq device supercharges the Xen hypervisor, a full-featured virtualization solution used in cloud computing and embedded systems, but support is key to choosing this open-source virtualization approach.

Author: Steve VanderLeest
Technologies: Hypervisor, Xen, Zynq UltraScale+ MPSoC

Porting Operating Systems to run in Xen Virtual MachinesPort Your OS to a Xen VM for a Safe and Reliable Separation Solution

System-on-Chips help embedded system developers achieve size, weight, power, and cost savings through consolidated architecture. However, combining software functions onto a single computing resource creates added safety and security concerns. Here, we assess the suitability of common separation solutions and explain our preference for Xen, an open source Type I hypervisor.

Author: Jarvis Roach
Technologies: Virtualization, Hypervisor, SoC

Virtualization with VirtuosityAccelerated, Cost-Effective Development: Embedded Virtualization with Virtuosity®

A virtualized platform could offer the edge your business needs to grow. If you’re interested in learning more about bringing secure isolation and partitoning to your next project, sign up here.

Author: Jarvis Roach
Technologies: Hypervisor, Xen, Partitioning, Virtualization

MPSoC Hypervisor: The Safe & Secure Future of AvionicsMPSoC Hypervisor: The Safe & Secure Future of Avionics

 Virtualization    Hardware 
Why are multicore processors the future of avionics? As CPUs have become more capable, their energy consumption and heat production has grown rapidly. Multicore technology is the only feasible path to improve processor performance, and we’ve developed one solution for the MPSoC.

Authors: Steve VanderLeest, Dagan White
Technologies: MPSoC, SoC, Hypervisor, FPGA

Enhance Your Next Project with Embedded Partitioning and VirtualizationEnhance Your Next Project with Partitioning and Virtualization

 Virtualization    Hardware 
In the past few years, the embedded computing space has seen a similar rise in demand and need for virtualization and partitioning that the enterprise IT/Server world saw nearly two decades ago. This paper explores a few different appraoches, advantages, and drawbacks to virtualized systems.

Author: Joshua Whitehead
Technologies: Partitioning, Virtualization, SoC

5 Reasons Your Product Needs A SOM5 Reasons Your Product Needs A SOM

If you have a great application-rich product and a strong market, but are worried that your competition is getting an edge by completing their product and getting to market before you can, this free resource could help you jumpstart your own development.

As you dive into your electronics product design, consider these reasons why a System-On-Module solution might be a great answer to your concerns.

Authors: Matt Remijn, Lance Hilbelink
Technologies: SoM, CPU, RAM, EEPROM

A Comparative Analysis of Aviation and Ground Vehicle Software Development StandardsA Comparative Analysis of Aviation and Ground Vehicle Software Development Standards

This paper evaluates two different safety development standards and provides a high level comparison between a well-used standard for aviation and a more recent standard for automotive that can be applied to other transportation systems with no available standards.

Authors: Kevin Crots, Paul Skentzos, Dan Bartz
Technologies: DO-178, ISO26262, Hypervisor

Unmanned Autonomous Verification and ValidationUnmanned Autonomous Verification and Validation

Next-generation unmanned air vehicles (UAVs) will contain highly-complex software, as human ability and judgment is replaced by software systems. The size and complexity of individual software systems increase, as will the complexity of the interactions between those systems. Verification and validation (V&V) approaches to manage this engineering effort must keep pace with both challenges.

Authors: John Van Enk, Don Stewart, Lee Pike
Technologies: Hypervisor, Xen, Zynq UltraScale+ MPSoC

Software Safety and Security Best Practices: A Case Study from AerospaceSoftware Safety and Security Best Practices: A Case Study from Aerospace

 Software    Security 
Software safety and security flaws are costly. Defects found in software systems after they are deployed have always been costly to fix. In this paper we describe the aviation community’s DO-178 processes for safety and how they might be tailored to the land vehicle community.

Author: Paul Skentzos
Technologies: ARINC 653, DO-178, Xen Hypervisor

Safety-Critical Software Standards and PracticesSafety-Critical Software Standards and Practices

 Software    Security 
This presentation walks through common themes in safety-critical standards, as well as specific rules from aviation, automotive, medical, industrial, and even nuclear requirements.

Authors: Steve VanderLeest, Andy Staats, Timothy Skutt
Technologies: Software Development, Verification & Validation

The open source, formally-proven seL4 microkernel: Considerations for use in avionicsThe Open Source, Formally-Proven seL4 Microkernel: Considerations for Use in Avionics

Mixed criticality functions integrated on a single computing platform require special attention to safety and security. In this paper we analyze the suitability of seL4 for use in digital avionics systems that require high levels of safety and/or security.

Author: Steve VanderLeest
Technologies: seL4, ARINC 653, DO-248

Debugging seL4 Applications with GDBIdentify Errors Easier by Debugging seL4 Applications with GDB

No matter the length and readability of your code, there is always the possibility for bugs. Debug functions allow for easier error identification, however, and this presentation lays out the reasoning behind our preference for the GNU Project Debugger.

Author: Chris Guikema
Technologies: Zynq 7000, seL4, x86, ARM, CAmkES

Xilinx SDSoC - An All In One Solution, Without The HeadacheXilinx SDSoC – An All In One Solution, Without The Headache

FPGA development is very complicated. The Xilinx SDSoC™ development environment aims to reduce the prerequisite expertise needed to take advantage of FPGA capabilities by facilitating the transition from software algorithm to FPGA hardware logic.

Authors: Anthony Boorsma, Jeff VanOss
Technologies: FPGA, AES-128 encryption, ZedBoard Zynq-7000

Streamline Your FPGA Project and Cut Time to MarketStreamline Your FPGA Project and Cut Time to Market

For software engineers familiar with working with a typical embedded microprocessor, it may seem daunting to get started with an FPGA. This series explores methods that will allow you to optimize your heterogeneous embedded system’s performance through FPGA and SDSoC development.

Author: Anthony Boorsma
Technologies: Xilinx Zynq-7000 SoC, Zynq UltraScale+ MPSoC, SDSoC

7 Mistakes Product Managers Make When Choosing an IoT Provider7 Mistakes Product Managers Make When Choosing an IoT Provider

In today’s interconnected world, linking your product to your customer’s digital ecosystem is one of the best ways to differentiate your product from the competition. As you dive in to adding electronics and connectivity to your product, consider this list of pitfalls in selecting an IoT partner.

Authors: Steve Vanderleest, Shawn Isenhoff
Technologies: Internet of Things (IoT)

Secure, Scalable and Successful IoT Product DevelopmentSecure, Scalable and Successful IoT Product Development

This educational series walks through common themes in IoT development, ways you can build robust new products, as well as how you might improve your existing ones. Once finished, you’ll be moving your IoT project toward a more confident launch.

Author: Eric Bigoness
Technologies: Cloud computing, cryptography, MQTT, Bluetooth






Design Services Services & Capabilities 
Aerospace & Defense Capabilities Services & Capabilities 
Medical Solutions Services & Capabilities 
Medical Solutions – Xilinx Services & Capabilities 
Xen Quick Start Virtualization 
Virtuosity® OA Virtualization 
Virtuosity® OA Certified to The Open Group FACETM Technical Standard Virtualization 
Virtuosity® OA FAQ Virtualization 
Virtuosity® OA Quick Start Package Virtualization 
Virtuosity Cloud Virtualization 
Xen Quick Start for Zynq UltraScale+ Virtualization 
Xen Quick Start for NXP i.MX8 Virtualization 
Virtuosity® Add-Ons Virtualization 
Design Services for Embedded Xen Virtualization 
Virtualization Performance Characterization Package Virtualization 
Deterministic Interrupts Virtualization 
Virtuosity Sustainment Services Virtualization 
FPGA Design and IP Solutions FPGA 
Xilinx FPGA Design and IP Solutions FPGA 
Deterministic Ethernet FPGA 
IEEE Standards-Based MAC with Time-Synchronization FPGA 
Video-Specific FPGA Services FPGA 
Time-Critical Ethernet and AVB FPGA 
FPGA Video Demo Flyer FPGA 
FPGA Video Demo Datasheet FPGA 
Encryption IP Core Security 
seL4 Quick Start Security 
App Development Software 
Linux Kernel Sustainment Software 
Yocto Services Software 
IoT Development Services IoT 
Medical IoT Firewall IoT 
Over-The-Air (OTA) Updates IoT 
Hardware Design Services Hardware 

Solution Menus

Aerospace Development Acceleration Menu FPGA 
Automotive and Ground Vehicle Development Acceleration Menu FPGA 
MPSoC/RFSoC Support Menu Menu SOC Specialization 
SOC Support Menu SOC Specialization 
SOC Support Menu for Microchip SOC Specialization