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
Choose a category or browse the entire library
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.
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.
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.
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.
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.
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.
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.
An Agile approach, using iterative development, is recognized as one of the consistent patterns in highly successful projects, particularly in aerospace.
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.
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.
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.
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.
Numerous aerospace custom logic and DO-254 related projects have been successfully launched thanks to DornerWorks and a network of trusted partners. From ASICs to FPGAs, we’ve helped clients implement solutions without operational gaps, working alongside manufacturers, design firms, and other organizations like like Actel, ACAP, Freescale, Microchip, and QNX.