|
Résumé :
|
Depuis plusieurs annees EDF mene une etude sur un ensemble de bases de connaissances et d'algorithmes pour l'automatisation de l'evaluation de la fiabilite de systemes complexes.Dans cet environnement,en plus des puissants logiciels de traitement qualitatif et quantitatif,le fiabiliste dispose de divers moyens pour generer automatiquement les entrees de ces outils au moyen de l'acquisition de donnees graphiques.Le developpement de ces outils est base sur le langage de modelisation de systemes FIGARO dont le role d'homogeneisation est primordial.Divers compilateurs et traducteurs transforment un modele FIGARO en modeles fiabilistes classiques:arbres de defaillance,chaines de MARKOV,reseaux de Petri.Dans cette note nous exposons les principales caracteristiques du langage FIGARO illustrees par des exemples.
|
