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 .

  • Titre traduit

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


  • Pas de résumé disponible.


  • 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.

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.