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’ VirtuosityTM 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 VirtuosityTM 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.
Bluetooth is one of the most ubiquitous and versatile networking platforms available, used all over the world, and in many different fields. It enables functionality for the Internet of Things, connected mobile applications, low energy opportunities, and more.
In this series, you will learn about the advantages and limitations of Bluetooth, and the various ways it can be used as a communication protocol.
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.