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, 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: 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 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 – AMD  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 
AMD 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 DSP Services  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 – Microchip  Security 
seL4 – AMD  Security 
VM Composer flyer  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