Contribution à l'analyse des systèmes pilotés par calculateur : extraction de scénarios redoutés et vérification de contraintes temporelles

par Malika Medjoudi

Thèse de doctorat en Systèmes industriels

Sous la direction de Hamid Demmou et de Robert Valette.

Soutenue en 2005

à Toulouse 3 .


  • Résumé

    Mes travaux de thèse sont placés dans le cadre de la fiabilité dynamique. L'objectif est de réaliser une analyse qualitative de la sûreté de fonctionnement des systèmes pilotés par calculateurs pour extraire des scénarios menant à des états redoutés. Il s'agit de caractériser ces scénarios au plus tôt dans la phase de conception, ce qui permet d'évaluer leurs probabilités d'occurrence pour valider l'architecture du système. Nous proposons une approche basée sur la logique linéaire et les Réseaux de Petri Prédicats Transitions Différentiels Stochastiques. Cette approche tient partiellement compte de l'aspect continu du système. Cela permet de déterminer plus précisément les conditions exactes de l'occurrence de l'événement redouté. L'originalité est que l'ordre d'occurrence des événements est pris en compte et les scénarios incohérents vis-à-vis de la dynamique continue sont éliminés. Notre approche automatisée dans l'outil ESA_PetriNet est orientée vers la vérification de propriétés.

  • Titre traduit

    Contribution to the analysis of computer-controlled systems : extraction of feared scenarios and checking of temporal constraints


  • Résumé

    Our research work is placed within the framework of dynamic reliability. The objective is to carry out a qualitative analysis of the reliability of computer-based systems to extract the scenarios leading to feared states. This is a question of characterizing these scenarios as soon as possible in the design phase, which makes it possible to evaluate their probabilities of occurrence in order to validate the architecture of the system. We propose an approach based on linear logic and Predicates Transitions Differential Stochastic Petri Nets model. This approach takes into account the continuous aspect of the system. This approach determines more precisely the exact conditions of the occurrence of the feared event. The originality is that the order of occurrence of the events is taken into account, and impossible scenarios with respect to continuous dynamics of the system are eliminated. Our approach automated in the ESA_PetriNet tool directed towards the checking of certain properties.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( 159 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 143-151

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2006TOU30026
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.