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 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.
Unmanned 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.
Safety-Critical Software Standards and Practices
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 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.
Identify 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.
Hardware 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 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.
Secure, 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 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.
An 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.
Xen 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.
Taming 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.
Benefits 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.
Designing 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.
Port 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.
MPSoC Hypervisor: The Safe & Secure Future of Avionics
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.
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:
- 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.
- How to Keep Medical Software Secure from Intrusion and Data Breaches
- How seL4 can Protect Against Massive Data Breaches
- How Microchip’s Authentication Chip Makes IoT Devices More Secure
- Enable the Security Potential and Versatility of seL4 in Medical Device Development
- Practical Cryptography for the Internet of Things
- An Introduction To Building Secure Systems with the seL4 Microkernel
- Over-The-Air Updates Will Help You Reduce Risk and Win Customers for Life
- 3 Areas You Need to Be Familiar with to Understand MQTT Security Fundamentals
- The Top 3 Ways to Build a Secure IoT Device
Medical device security resources
- Postmarket Management of Cybersecurity in Medical Devices
- All Cybersecurity Guidances (2005, 2014, 2016, 2018)
- MedTech moving from the facility to the home
- Increasing incidence of attacks on hospitals
- Hospitals on heightened alert
- AHA Advisory
- 2019 lawsuit alleging death of a baby
- FDA Warning URGENT/11
- Software Bill of Materials (SBOM)