NEW YORK et REDWOOD SHORES, Californie, 28 mai 2019 (GLOBE NEWSWIRE) — Hex Five Security Inc., créateur de MultiZone™, le premier environnement d’exécution de confiance pour RISC-V, a rejoint aujourd’hui le programme de partenariat d’AdaCore pour permettre l’exécution sécurisée des applications Ada sur les processeurs RISC-V. Dans le cadre de cette initiative, Hex Five a développé une version Ada du SDK MultiZone™ et publié une application de référence montrant comment exécuter en toute sécurité le logiciel Ada dans des conteneurs MultiZone™. Ce scénario de déploiement est particulièrement utile dans des domaines critiques pour la sécurité, tels que les transports, la défense et l’aérospatiale. Grâce à MultiZone™ Security, les développeurs peuvent rapidement configurer des bibliothèques open source, des binaires tiers et du code hérité afin qu’ils coexistent avec les applications Ada, atteignant ainsi des niveaux de sécurité sans précédent.
« AdaCore a mis les langages de programmation Ada et SPARK à la portée des développeurs RISC-V, offrant un environnement de pointe pour le développement d’applications critiques en matière de sécurité », déclare Quentin Ochem, responsable du développement commercial chez AdaCore. « En nous associant à Hex Five Security, nous donnons à nos clients les moyens de tirer parti des applications tierces exécutées parallèlement à des applications Ada extrêmement fiables ».
« Ada est la référence en matière de développement d’applications critiques pour la sécurité », explique Cesare Garlati, fondateur de Hex Five. « Cependant, les exigences complexes des systèmes intégrés modernes nécessitent de plus en plus l’intégration de bibliothèques tierces facilement disponibles, et généralement non écrites en Ada. MultiZone™ Security fournit un mécanisme robuste et économique pour isoler les logiciels tiers non fiables, ce qui en fait un complément parfait aux composants Ada ».
Le SDK MultiZone™ pour Ada sera officiellement présenté au grand public lors de l’atelier RISC-V organisé à Zurich du 12 au 14 juin 2019. Il est téléchargeable gratuitement sur https://github.com/hex-five/multizone-ada.
À propos de Hex Five Security
Hex Five est le créateur de MultiZone™ Security, le premier environnement d’exécution de confiance pour RISC-V. Cette technologie Hex Five en attente de l’obtention d’un brevet propose une séparation matérielle basée sur des règles pour un nombre illimité de domaines de sécurité, avec un contrôle total des données, du code, des interruptions et des périphériques. Contrairement aux solutions traditionnelles, MultiZone™ Security ne nécessite aucun matériel supplémentaire, cœurs dédiés ou modèles de programmation encombrants. Les bibliothèques open source, les fichiers binaires tiers et le code hérité peuvent être configurés en quelques minutes pour atteindre des niveaux de sécurité sans précédent. Pour tout complément d’information, veuillez visiter le site https://hex-five.com/
À propos de AdaCore
Fondé en 1994, AdaCore fournit des outils de développement et de vérification de logiciels destinés aux systèmes critiques pour la mission et critiques pour la sécurité. Au fil des ans, les clients ont utilisé les produits AdaCore pour déployer et gérer une vaste gamme d’applications critiques dans des domaines tels que l’avionique commerciale, l’automobile, le ferroviaire, l’espace, les systèmes militaires, la gestion et le contrôle du trafic aérien, les appareils médicaux et les services financiers. AdaCore dispose d’une vaste clientèle qui ne cesse de croître à travers le monde entier ; visitez le site https://www.adacore.com/industries pour de plus amples informations.
Les produits AdaCore sont open source et sont accompagnés d'un support en ligne expert fourni par les développeurs eux-mêmes. Le siège social nord-américain de la société se trouve à New York, et son siège européen à Paris. https://www.adacore.com
Contacts pour les médias
Kat Hsu
Hex Five Security
info@hex-five.com
press-info@adacore.com
https://www.adacore.com
https://twitter.com/AdaCoreCompany
USA :
Jessie Glockner
Représentant des relations publiques chez AdaCore
+1-646-532-2723
UE :
Pamela Trevino
Spécialiste marketing chez AdaCore
+33 1 49 70 87 93
