Analyse de sécurité par réseau de Petri
EL KOURSI ; OZELLO
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
EL KOURSI ; OZELLO
Résumé / Abstract
LA CERTIFICATION EST UN ACTE TECHNIQUE QUI VISE A VERIFIER LA CONFORMITE DU SYSTEME AUX OBJECTIFS DE SURETE ALLOUES. DANS CETTE OPTIQUE, LES EXPERTS DE CERTIFICATION SE SONT DOTES D'UNE METHODE DE SPECIFICATION ET D'ANALYSE DE SECURITE FONDEE SUR LES RESEAUX DE PETRI. CET ARTICLE DECRIT COMMENT EST UTILISE L'OUTIL RESEAU DE PETRI POUR L'ANALYSE DE SECURITE EN S'APPUYANT SUR UN EXEMPLE DES AUTOMATISMES DU SYSTEME VAL
Source
RTS : Recherche transports sécurité, p11-22 p.
Editeur
Institut National de Recherche sur les Transports et Leur Sécurité - INRETS