DornerWorks


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

 

An Open Source Hypervisor for AerospaceAn Open Source Hypervisor for Aerospace

 Virtualization 
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

 Virtualization 
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

 Virtualization 
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

 Virtualization 
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

 Virtualization 

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

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

 Virtualization 
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.

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

 Virtualization 
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

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

 Software 
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

 Software 
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

 Security 
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

 Security 
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

 Security 
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

 FPGA 
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

 IoT 
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

 IoT 
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

 IoT 
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)


 

 

Title

Topic

Download

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 
MAF Endpoint FPGA IP 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 
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 SOC Specialization 
MPSoC/RFSoC/FPGA/seL4 Support Menu SOC Specialization 
SOC Support Menu SOC Specialization 
SOC Support Menu for Microchip SOC Specialization