UMR CNRS 7253 : Heuristique et Diagnostic des Systèmes Complexes
        English






Catalogue



Méthodes formelles et semi-formelles pour l’analyse et le diagnostic de systèmes complexes

Cette thématique concerne la modélisation de systèmes logiciel-matériel complexes. Notre approche se base sur le développement d’un modèle du système complet en y incluant les possibilités de défaillance. Elle permet de répondre à deux questions importantes : un état défaillant peut-il être atteint à partir d’un état initial donné du système et, dans ce cas, le chemin vers la défaillance contient-il au moins une défaillance élémentaire identifiée ? Cette dernière question confirme la pertinence des études préliminaires de la sûreté de fonctionnement et concerne, notamment, l’exhaustivité de défaillances élémentaires identifiées. La méthode se base sur l’analyse directe d’un modèle de réseaux de Petri colorés (CPN). Elle permet, dans un cadre formel, de déterminer l’occurrence d’une défaillance dans une partie d’un système distribué et son influence sur le comportement global du système. La principale nouveauté dans cette approche consiste en l’inversion d’un modèle de haut niveau et l’exploitation de ce modèle inversé. Les applications traitées concernent des systèmes de transports ferroviaires mais la méthode peut être étendue à de nombreux autres domaines, tels que les analyses de protocole de communication.


Applications



Projets



Partenaires



Personnels