Assessment and certification of vital computer DIGISAFE
EL KOURSI ; GULKER ; PICARD
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
EL KOURSI ; GULKER ; PICARD
Résumé / Abstract
Cet article présente la démarche adoptée pour la certification du calculateur de sécurité appelé DIGISAFE. Il décrit le processus et les résultats obtenus pour la certification par rapport aux normes européennes CENELEC 50129 et 50126.
