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 many hours of 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.

Whitepapers and Presentations

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.

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.

Technologies: Hypervisor, Xen, Zynq UltraScale+ MPSoC

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.

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.

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.

Technologies: Zynq 7000, seL4, x86, ARM, CAmkES

Build A Trusted Software Foundation With the seL4 MicrokernelBuild A Trusted Software Foundation With the seL4 Microkernel

Learn how seL4 can being advanced levels of security to hardware and software in this free development series before you start developing seL4 apps on your own.

Technologies: seL4 Microkernel, Xilinx Zynq Ultrascale+ MPSoC

Hardware Accelerated Development StrategiesHardware Accelerated Development Strategies

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 and accelerate your algorithm with FPGAs.

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.

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.

Technologies: Cloud computing, cryptography, MQTT, Bluetooth

Grow Your Business with Connected Product DevelopmentGrow Your Business with Connected Product Development

How does an idea for a connected product become a revenue generator for your business? In this series, you will learn how companies that have launched IoT platforms and products have maintained an upward trajectory, scaled their systems, and grown stronger along the way.

Technologies: Internet of Things (IoT)

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.

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.

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.

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.

Technologies: ARINC 653, Hypervisor

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.

Technologies: ARINC 653, Hypervisor

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.

Technologies: Virtualization, Hypervisor, SoC

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.

Technologies: MPSoC, SoC, Hypervisor, FPGA







VM Composer DornerWorks IP 
AVB IP DornerWorks IP 
TSN IP DornerWorks IP 
1Gbps MAC IP for Microchip FPGAs DornerWorks IP 
1Gbps Managed Ethernet Space Switch IP for Microchip FPGAs DornerWorks IP 
Design Services Services & Capabilities 
Aerospace & Defense Capabilities Services & Capabilities 
Space Capabilities Services & Capabilities 
Medical Solutions Services & Capabilities 
Medical Solutions – Xilinx Services & Capabilities 
Virtuosity Quick Start Virtualization 
Virtuosity and Support 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 
Microchip 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 
Multi-Stream Display Port Demo Flyer FPGA 
RFSoC Engineering Flyer FPGA 
RF & Comms Engineering FPGA 
Space Qualified Multi-Layer Ethernet Switch FPGA 
Space Conformant Gigabit Ethernet Switch Dev Kit FPGA 
ML/AI Engineering Services FPGA 
AES Encryption IP Core Security 
seL4 Quick Start Security 
seL4 Quick Start – Microchip Security 
seL4 Quick Start – Xilinx Security 
VM Composer flyer Security 
VM Composer datasheet Security 
App Development Software 
Linux Kernel Sustainment Software 
Yocto Services Software 
IoT Development Services IoT 
IoT Development Services – Microchip IoT 
IoT Development Services – NXP IoT 
IoT Rapid Prototyping Board IoT 
Medical IoT Firewall IoT 
Over-The-Air (OTA) Updates IoT 
Multimedia Management System IoT 
Hardware Design Services Hardware 

Solution Menus

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

Cybersecurity Resources and Training

Global IP traffic first exceeded one zettabyte in 2016, and in 2020 alone, the world had approximately 44 zettabytes of data.

That is a lot of data and protecting any of it is a colossal task, especially while the sophisticated hackers and nation states searching for valuable data in cyberspace will hesitate at nothing to gain access to it.

At DornerWorks, we take these threats very seriously. We undergo Penetration tests to ensure our network is secure, and work with industry partners to ensure we follow best practices.

Our Compliance Standards include:
  • AS9100
  • ISO 13485
  • ITAR registered
  • NIST 800-171
  • CMMC Level 3

The integrity of our customers data is vital to us, and we’ve put together the following resources to help you implement stronger cybersecurity into your products and organization:

Security Highlight podcast

Subscribe to our podcast feed or find episodes below.

Cybersecurity Blogs
Medical device security resources