HENSOLDT Cyber réussit la vérification formelle d'un premier composant du système d'exploitation TRENTOS
Jaap Boender, ingénieur en vérification formelle chez HENSOLDT Cyber, réussit la vérification formelle d'un premier composant du système d'exploitation TRENTOS®, le keystore, et établit ainsi une référence.
Taufkirchen/Allemagne, le 18 mars 2021 - HENSOLDT Cyber fait une percée unique dans un domaine peu connu mais très important de la vérification formelle. La vérification formelle est le processus qui consiste à prouver l'exactitude d'un système par rapport à une spécification formelle particulière ou à une propriété en utilisant des méthodes mathématiques formelles.
Jaap Boender, ingénieur en vérification formelle chez HENSOLDT Cyber, est parvenu, après un an et demi de travail exigeant, à vérifier formellement un premier composant du nouveau système d'exploitation de haute sécurité TRENTOS® (Trusted Entity Operating System).
Ce résultat ouvre la voie à la vérification formelle d'autres composants plus importants et plus complexes. Le Dr Jaap Boender, avec le soutien de son collègue Goran Badevic et les conseils scientifiques du professeur Gernot Heiser, responsable scientifique de HENSOLDT Cyber, va maintenant s'attaquer à d'autres composants.
"La vérification formelle à l'échelle industrielle est encore un domaine relativement peu étudié et il est donc spécial que HENSOLDT Cyber fasse de la recherche dans ce domaine. Le micro-noyau seL4 sur lequel est basé notre système d'exploitation TRENTOS a déjà fait l'objet d'une vérification formelle et, à l'avenir, il est envisageable d'automatiser de plus en plus la vérification formelle et de vérifier ainsi des systèmes plus complexes. Le premier projet, cependant, est notre système de stockage de clés", explique M. Boender.
Pour plus d'informations, voir https://hensoldt-cyber.com/2021/03/16/formal-verification-keystore/
À propos de HENSOLDT Cyber
Fondée en 2018, HENSOLDT Cyber GmbH est une start-up allemande basée à Taufkirchen près de Munich qui développe des produits informatiques embarqués répondant aux exigences de sécurité les plus élevées. Ceux-ci intègrent un système d'exploitation hautement sécurisé avec du matériel durci pour la sécurité, créant ainsi une informatique sécurisée à la place de la sécurité informatique pour le marché mondial de l'informatique. L'entreprise combine plus de 50 ans d'expérience dans le domaine de l'électronique de défense et de sécurité du groupe HENSOLDT avec une expertise universitaire de niveau mondial dans le développement de matériel et de logiciels. HENSOLDT Cyber emploie actuellement plus de 50 personnes sur différents sites.
De plus amples informations sur l'entreprise sont disponibles à l'adresse suivante : www.hensoldt-cyber.com
Contact presse
Simone Rudow
Tél : +49 (0) 174 218 8102