六方安全公司(Hex Five 安全 Inc.)是MultiZone的创建者,它是RISC-V的第一个受信任执行环境,今天加入AdaCore的合作伙伴计划,以确保在RISC-V处理器上安全执行Ada应用程序。作为该计划的一部分,十六进制五开发了MultiZone SDK的Ada版本,并发布了参考应用程序,显示了如何在MultiZone容器中安全运行Ada软件。此部署方案在安全至关重要的领域(例如运输,国防和航空航天)特别有用。使用多区域™安全性方面,开发人员可以快速配置开源库,第三方二进制文件和旧代码以与Ada应用程序共存,从而实现前所未有的安全性级别。
“ AdaCore为RISC-V开发人员带来了Ada和SPARK编程语言,为安全/关键性应用程序开发提供了最先进的环境,” AdaCore业务开发负责人Quentin Ochem说。 “通过与Hex Five 安全 合作,我们使客户能够利用与高度可靠的Ada应用程序一起运行的第三方应用程序。”
“ Ada为开发安全关键型应用设定了黄金标准,”十六进制五的创始人Cesare Garlati说。 “但是,通过集成现成的第三方库(通常不是用Ada编写的),日益满足了现代嵌入式系统的复杂要求。 MultiZone 安全 提供了强大且经济高效的机制来隔离不受信任的3 rd 派对软件,使其成为Ada组件的完美补充。”
适用于Ada的MultiZone SDK将在2019年6月12日至14日在苏黎世举行的RISC-V研讨会上正式向公众展示。可从以下地址免费下载: //github.com/hex-five/multizone-ada.
发表评论