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.