Electronique Mag - Le journal de l'électronique.

Un CESTI est un laboratoire d’évaluation sécuritaire accrédité en matière d’évaluations de sécurité selon le standard Critères Communs. Le produit a été développé par un groupe leader mondial en électronique de défense et de sécurité. L’évaluation a conduit à l’obtention d’un CSPN (Certification de Sécurité de Premier Niveau) délivré par l’ANSSI (Agence Nationale de la Sécurité des Systèmes d’Information).

Ce certificat est une première mais importante étape dans le processus de certification de PikeOS pour les plus hauts niveaux de sécurité qu’a démarré SYSGO depuis plusieurs années. Les activités en cours comprennent la vérification de code formelle du micro-noyau PikeOS dans l’optique d’une certification Critères Communs EAL 7, la création d’artefacts liée à une certification Critères Communs EAL 5+, ainsi que la participation à quelques projets industriels exigeant les plus hauts niveaux de sécurité.