industry news
Subscribe Now

Hex Five Adds MultiZone™ Security to the AdaCore Software Ecosystem, Providing Ada Developers with a Robust Execution Environment for RISC-V Processors

NEW YORK and REDWOOD SHORES, Calif., May 28, 2019 (GLOBE NEWSWIRE) — Hex Five Security Inc., creator of MultiZone™, the first trusted execution environment for RISC-V, today joined AdaCore’s Partner Program to enable the secure execution of Ada applications on RISC-V processors. As part of the initiative, Hex Five has developed an Ada version of the MultiZone™ SDK and published a reference application showing how to securely run Ada software in MultiZone™ containers. This deployment scenario is especially useful in safety-critical domains, such as transportation, defense, and aerospace. With MultiZone™ Security, developers can rapidly configure open source libraries, third-party binaries, and legacy code to coexist with Ada applications, thus achieving unprecedented levels of safety and security.

“AdaCore has brought the Ada and SPARK programming languages to RISC-V developers, offering a state-of-the-art environment for safety/security-critical application development,” says Quentin Ochem, lead of Business Development at AdaCore. “By partnering with Hex Five Security we empower our customers to take advantage of third-party applications running alongside highly reliable Ada applications.”

“Ada sets the gold standard for developing safety-critical applications,” says Cesare Garlati, Founder of Hex Five. “However, the complex requirements of modern embedded systems are increasingly met with the integration of readily available 3rd party libraries – typically not written in Ada. MultiZone™ Security provides a robust and cost-effective mechanism to isolate untrusted 3rd party software, making it a perfect complement to Ada components.”

MultiZone™ SDK for Ada will be officially presented to the general public at the RISC-V Workshop in Zurich, June 12-14, 2019. It is freely available for download at https://github.com/hex-five/multizone-ada.

About Hex Five Security

Hex Five is the creator of MultiZone™ Security, the first trusted execution environment for RISC-V. Hex Five’s patent pending technology provides policy-based hardware-enforced separation for an unlimited number of security domains, with full control over data, code, interrupts and peripherals. Contrary to traditional solutions, MultiZone™ Security requires no additional hardware, dedicated cores or clunky programming models. Open source libraries, third party binaries and legacy code can be configured in minutes to achieve unprecedented levels of safety and security. For more information visit https://hex-five.com/

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see https://www.adacore.com/industries for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. https://www.adacore.com

Leave a Reply

featured blogs
Jun 17, 2019
eSilicon used the Tessent family of DFT solutions to solve their toughest challenges of testing a large 2.5D/3D deep learning device. Hear all about it in this 15 minute video. With over 300 tapeouts, there is no doubt that eSilicon has tons of experience getting designs don...
Jun 17, 2019
The IC6.1.8 ISR4 and ICADVM18.1 ISR4 production releases are now available for download at Cadence Downloads . IC6.1.8 ISR4 ICADVM18.1 ISR4 For information on supported platforms, compatibility with... [[ Click on the title to access the full blog on the Cadence Community si...
Jun 17, 2019
One topic that garnered much interest at the Samtec booth at the International Microwave Symposium was a dynamic stress test of Samtec’s microwave cable. This demonstration proves that our low-loss, microwave cable withstands high flex cycles and still maintains signal ...
Jan 25, 2019
Let'€™s face it: We'€™re addicted to SRAM. It'€™s big, it'€™s power-hungry, but it'€™s fast. And no matter how much we complain about it, we still use it. Because we don'€™t have anything better in the mainstream yet. We'€™ve looked at attempts to improve conven...