Les actualités Systematic

[ACTU MEMBRE] Prove & Run vainqueur des trophées Embedded World 2017

Notre membre et éditeur de logiciel Prove and Run remporte le trophées Embedded World 2017 pour son système d'exploitation ProvenCore-M !

Les organisateurs du salon Embedded World 2017 ont décerné leurs traditionnels trophées (13e édition) qui mettent en valeur trois solutions ou produits innovants dans les domaines respectifs ...des architectures matérielles, du logiciel et des outils.

Dans la catégorie Logiciel, c’est l’éditeur français Prove & Run qui a eu les honneurs du jury, avec son système d’exploitation ProvenCore-M sûr et sécurisé par conception grâce à des méthodes de preuves formelles basées sur des expressions mathématiques. Cette nouvelle version de l'OS de Prove & Run s’exécute sur une architecture ARMv8-M, en particulier les coeurs de microcontrôleurs ARM Cortex-M23 et M33, et tire parti de l’architecture de sécurité TrustZone implantée sur ces circuits pour fournir un environnement d’exécution extrêmement sécurisé (TEE, Trusted Execution Environment), résistant aux attaques malveillantes et assurant une stricte séparation de toutes les applications mises en oeuvre sur le processeur afin de garantir l’intégrité et la confidentialité des données.

 

En savoir plus sur Prove & Run >>>

TAGS:

Actu membreARMv8Mcybersécuritéembedded worldlogicielprove & run