Unified Functional Safety Assessment of Industrial Automation Systems

Résumé : La norme IEC 61499 apporte une méthode de conception basée sur les modèles pour construire des systèmes d'automatisation industriels complexes. Cependant, le ux de conception existant ne permet pas de traiter de façon adéquate la question importante de la sûreté fonctionnelle. Jusqu'à présent, l'analyse de la sûreté fonctionnelle était traitée en dehors du ux de conception, par les normes telles que IEC 61508, qui fournissent des lignes directrices pour l'évaluation de la sûreté en utilisant des techniques quantitatives et qualitatives. Dans cet article, nous proposons une approche globale et uni ante pour e ectuer l'évaluation de la sûreté fonctionnelle quantitative et qualitative de systèmes IEC 61499, telle que prescrite par la norme IEC 61508. L'approche proposée utilise la véri cation probabiliste pour l'analyse uni ée des aspects tant qualitatifs que quantitatifs des systèmes. Notre approche convertit des systèmes IEC 61499 dans un langage accepté par le model-checker PRISM. Cette traduction est sûre et préserve la sémantique d'exécution du système d'origine, et permet d'utiliser PRISM pour e ectuer l'évaluation de la sûreté fonctionnelle des systèmes IEC 61499. Nous utilisons notre approche pour analyser un exemple tiré du monde réel, et nous montrons que notre technique est adaptée pour l'analyse qualitative et quantitative.
Type de document :
Rapport
[Research Report] RR-8357, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00858218
Contributeur : Roopak Sinha <>
Soumis le : mercredi 4 septembre 2013 - 23:12:16
Dernière modification le : samedi 17 septembre 2016 - 01:36:48

Identifiants

  • HAL Id : hal-00858218, version 1

Collections

Citation

Zeeshan Ejaz Bhatti, Roopak Sinha, Partha Roop. Unified Functional Safety Assessment of Industrial Automation Systems. [Research Report] RR-8357, 2013. <hal-00858218>

Partager

Métriques

Consultations de la notice

437