L'embarqué > Prove & Run

Prove & Run

Sécurité : le français Prove & Run obtient la certification EAL7 pour son noyau sur un coeur Arm Cortex-A

Publié le 17 septembre 2019 à 09:58 par François Gauthier        

Prove & Run, spécialiste des technologies reposant sur les méthodes formelles et mises en œuvre pour développer des composants logiciels certifiables à un très haut niveau de sécurité, annonce l'obtention de la certification Critères communs (CC) EAL7 pour son produit phare, le système d’exploitation ProvenCore, ...

Partager
Lire

Prove & Run partenaire sécurité de l’initiative EPI qui vise à concevoir un processeur européen ultrapuissant

Publié le 23 mai 2019 à 12:37 par François Gauthier        

[EDITION ABONNES] Le français Prove & Run, spécialiste des technologies reposant sur les méthodes formelles et utilisées pour développer des composants logiciels certifiables à un très haut niveau de sécurité, a été sélectionné comme partenaire technologique du projet EPI (European Processor Initiative), ...

Réservé aux abonnés Partager
Lire