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

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

• Auteur / Autrice : Malika Medjoudi
• Direction : Hamid Demmou, Robert Valette
• Type : Thèse de doctorat
• Discipline(s) : Systèmes industriels
• Date : Soutenance en 2005
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Temps entre défaillances, Analyse des

Analyse des systèmes

Petri, Réseaux de

Fiabilité

Mots clés libres

Sûreté de fonctionnement

Systèmes pilotés par calculateurs

Fiabilité dynamique

Vérification de propriétés

Systèmes dynamique hybride

Réseau de Petri

Logique Linéaire

Reliability

Computer-based systems

Dynamic reliability

Properties checking

Hybrid and dynamic systems

Extended Petri Nets for safety

Linear Logic

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.

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.