openPR Logo
Press release

The Simple, Reliable Solution For Configuring Secure Hypervisors: DornerWorks VM Composer enables high-assurance system development at reduced SWAP and cost.

12-20-2021 11:00 AM CET | IT, New Media & Software

Press release from: DornerWorks, Ltd.

DornerWorks VM Composer enables developers to integrate advanced security into embedded systems in ground vehicles and beyond.

DornerWorks VM Composer enables developers to integrate advanced security into embedded systems in ground vehicles and beyond.

It can be challenging to build a secure system from the ground up, but high-assurance system integrators now have a solution that can save significant time and resources, while implementing mathematically-proven security.

Security complexity, simplified

DornerWorks Virtual Machine (VM) Composer is a configuration tool that makes it easy to develop and deploy virtualized high-assurance systems using a drag-and-drop interface, without a single line of code.

Modern software systems built for the US Warfighter demand ease of use, portability and modularity, and the seL4® microkernel is an ideal technology to meet this demand while enabling robust security due to its formal verification. seL4’s virtual machine manager (VMM) functionality can be used to host virtual machines (VM) supporting AMP, SMP, or a mix of both, on a multi-core processor, enabling richer software architectures using different operating systems.

However, it can be challenging to build a system hosting VMs from scratch with the tools that are currently available. A number of complex tools and related development expertise are required to configure and build an seL4-based CAmkES-ARM-VM solution with Linux VMs on the Zynq UltraScale+ MPSoC.

DornerWorks VM Composer eliminates the seL4 learning curve and enables developers to integrate these benefits into embedded systems in ground vehicles, aircraft, or other environments where SWaP and costs must be minimized.

Own your innovation with open source seL4

The seL4 microkernel is the first product of its kind, free of vendor-lock, which enables accelerated innovation and higher assurance systems leveraging seL4’s formal mathematical proof. DornerWorks VM Composer delivers streamlined access to the benefits of the seL4 microkernel, enabling organizations to quickly reconfigure platforms to operational requirements.

Multiple aerospace and defense OEMs are currently evaluating the VM Composer for use by their product development teams.

DornerWorks VM Composer offers ease of use and freedom from vendor lock that DoD organizations are eager to adopt. Combined with the robust layers of security seL4 enables, as backed up by a mathematical proof, the VM Composer is truly unique in its capability set.

DornerWorks engineers secure platforms from the ground up

DornerWorks engineers have become leaders in seL4 development, having worked, for the last several years, to expand the seL4 ecosystem with the team who originally developed the microkernel, as well as organizations in the seL4 Foundation, whose DornerWorks is an inaugural member of, and the Trusted Computing Center of Excellence (TCCoE), whose DornerWorks is a member of.

Find more information on the VM Composer, as well as a walkthrough of using the tool at https://DornerWorks.com/vm-composer

3445 Lake Eastbrook Blvd. SE
Grand Rapids, MI 49506

PR Contact:
Matthew Russell
DornerWorks, Ltd.
Marketing Specialist
Matthew.Russell@DornerWorks.com
(616) 245-8369

DornerWorks provides technology engineering so you can focus on your customers. With embedded electronics, FPGA, and software engineering expertise, we accelerate your product development and lower risk for adopting advanced technologies. One of our specialties is virtualizing embedded platforms using the Virtuosity hypervisor and seL4 secure microkernel-based solutions. For more information, visit DornerWorks.com.

This release was published on openPR.

Permanent link to this press release:

Copy
Please set a link in the press area of your homepage to this press release on openPR. openPR disclaims liability for any content contained in this release.

You can edit or delete your press release The Simple, Reliable Solution For Configuring Secure Hypervisors: DornerWorks VM Composer enables high-assurance system development at reduced SWAP and cost. here

News-ID: 2503773 • Views:

More Releases from DornerWorks, Ltd.

DornerWorks Owner and Founder David K. Dorner Announces Transition, Welcomes New President Shawn Isenhoff
DornerWorks Owner and Founder David K. Dorner Announces Transition, Welcomes New …
GRAND RAPIDS, MI, June 30, 2021 – After 21 years of serving as the owner, founder, and president of DornerWorks, Ltd., David K. Dorner is passing on the president role and title to DornerWorks former executive vice president, Shawn Isenhoff. Dorner started the company in 2000 as an engineering consultancy business. The first full-time employees were hired in 2002 and Jeff Dorner joined the company in 2004 as Vice President
Xilinx and DornerWorks Collaborate to Enable Next-Gen Machine Learning Solutions on Xilinx Kria SOM
Xilinx and DornerWorks Collaborate to Enable Next-Gen Machine Learning Solutions …
Not too long ago, the path from algorithm to fielded machine learning (ML) model was a long and complex undertaking. Those with access to a ML expert with a working knowledge of neural network deployment might have options, but they were time consuming to develop. Xilinx has shortened that path with the Vitis unified software platform and the recent release of the Kria™ System-on-Module (SOM). DornerWorks is a Kria SOM ecosystem

More Releases for DornerWorks

Headlight Control Module Market 2022 Latest Insights, Growth Rate, Future Trends …
𝐆𝐥𝐨𝐛𝐚𝐥 𝐇𝐞𝐚𝐝𝐥𝐢𝐠𝐡𝐭 𝐂𝐨𝐧𝐭𝐫𝐨𝐥 𝐌𝐨𝐝𝐮𝐥𝐞 𝐌𝐚𝐫𝐤𝐞𝐭 𝐒𝐜𝐨𝐩𝐞: The world class Headlight Control Module market document focuses on market taxonomy, regional analysis, opportunity assessment, and vendor analysis to help with comprehensive evaluation of the global market. This market research study will help market participants to get a good understanding of future development of the market and QMI industry. The key findings and recommendations of this report emphasizes crucial progressive industry trends in the
DornerWorks Owner and Founder David K. Dorner Announces Transition, Welcomes New …
GRAND RAPIDS, MI, June 30, 2021 – After 21 years of serving as the owner, founder, and president of DornerWorks, Ltd., David K. Dorner is passing on the president role and title to DornerWorks former executive vice president, Shawn Isenhoff. Dorner started the company in 2000 as an engineering consultancy business. The first full-time employees were hired in 2002 and Jeff Dorner joined the company in 2004 as Vice President
Xilinx and DornerWorks Collaborate to Enable Next-Gen Machine Learning Solutions …
Not too long ago, the path from algorithm to fielded machine learning (ML) model was a long and complex undertaking. Those with access to a ML expert with a working knowledge of neural network deployment might have options, but they were time consuming to develop. Xilinx has shortened that path with the Vitis unified software platform and the recent release of the Kria™ System-on-Module (SOM). DornerWorks is a Kria SOM ecosystem
An Accelerated and Configurable Path to Launching Products Connected through App …
HomeKitLights improves on Apple's HomeKit user experience for IoT-enabled devices and demonstrates expertise companies can use to reach Apple MFi certification. GRAND RAPIDS, MI, April 20 - Innovators that want to better their customers lives by connecting their products through a mobile app can tap into a rapidly growing market by integrating their products with popular management apps like Apple HomeKit. But the path to that market can be challenging, especially
Embedded System Security Solutions Expanded with New Commits To Open Source seL4 …
A robust data security solution is worth all you can’t afford to lose. Leading developers in aerospace, defense, medical, and industrial markets are launching innovative and secure new products leveraging cost-effective open source solutions. They know there is an alternative to costly proprietary systems, and they are protecting their IP and reputation with engineering guidance from DornerWorks. The seL4 microkernel is a cost-effective, open source option that delivers software security backed by
Army CMS SW Runs on Sierra Nevada Corp. Ruggedized Tablet Enabled by Virtuosity …
On the front lines of battle, it's important to know who's on your side. One of the most powerful weapons modern warfighters have today is information, and Sierra Nevada Corporation's ultra-wideband wireless network is helping modern warfighters make safer, better-informed decisions. They're doing it all with the help of DornerWorks Virtuosity® OA (Open Architecture) OSS, a cost-effective virtualized development platform. Virtuosity OA is certified to the Open Group FACETM Technical Standard, making