Diagnostic de systèmes complexes: accessibilité arrière
Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière
Le développement rapide des systèmes embarqués et les exigences croissantes auxquelles ils sont soumis créent un besoin de techniques innovantes en terme de conception et de V&V.
Les méthodes formelles fournissent des approches intéressantes à la conception de ces systèmes.
Le formalisme choisi dans ce travail est basé sur les Réseaux de Petri Colorés (RdPC).
L'avantage de ces modèles, en plus d'être très expressifs et formels, est qu'ils permettent d'exprimer le double caractère des systèmes étudiés: statique et dynamique.
Le défi relevé par cette thèse est d'utiliser des modèles établis, décrivant l'architecture et/ou le comportement de systèmes, pour en extraire des informations de SdF et de diagnostic de défaillances.L'approche proposée est une analyse structurelle par accessibilité arrière.
Elle peut être décomposée en deux parties.
La première consiste en la proposition d'un outil pour réaliser cette analyse: le RdPC inverse.
Il est obtenu par l'application de transformations structurelles sur le RdPC original.
La seconde partie est la mise en oeuvre de l'analyse.
Cette partie requiert des mécanismes complémentaires dont le plus important est l'enrichissement du marquage.
Ingénieur en systèmes informatiques, Master et docteur en technologies de l''information et des systèmes, Mohamed BOUALI s''est spécialise dans le design et l''architecture des systèmes complexes dans des domaines de pointe comme les véhicules électriques et les architectures avioniques de nouvelle génération.
Fiche technique
- Auteur
- MOHAMED BOUALI
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Année
- Pays
- Tunisie
30 autres produits dans la même catégorie :
Voir toutRENFORCEMENT DES CHAUSSÉES SOUPLES PAR LES GÉOSYNTHÉTIQUES
- Nouveau
Fromage frais double crème à l'Allium roseum et au Genévrier
- Nouveau
DIMENSIONNEMENT D'UN RESEAU D'ACCES 4G-LTE A L'AIDE DE L'OUTIL ATOOL
- Nouveau
PLANIFICATION D'UN RESEAU HAUT DEBIT PAR FIBRE OPTIQUE EN AFRIQUE
- Nouveau
CONTROLE ET MONITORING DES STATIONS DE PESAGE POUR L'AFRIQUE
- Nouveau
Les tableaux de bord mesure de la performance d’une chaine logistique
- Nouveau
Perception de la dégradation de l'environnement à Owando
- Nouveau
Optimisation de la maintenance par la conception robuste modulaire
- Nouveau
Modélisation de la variation du niveau de stock en eau souterraine
- Nouveau
Impact de l’intégration des ER au réseau électrique de distribution
- Nouveau
La commercialisation Électronique via un paiement mobile en RDC
- Nouveau
Détermination du niveau de la pollution d’origine routière
- Nouveau
Impact environnemental et social des activités Minières en ITURI/RDC
- Nouveau
Applications de l'intelligence artificielle dans la flottation
- Nouveau
Commande prédictive d’un moteur asynchrone à double alimentation
- Nouveau
RÉDUCTION DU RISQUE D’INONDATION DANS LA COMMUNE D’ABOBO (Abidjan)
- Nouveau
Une modélisation des discontinuités géométriques et/ou matérielles
- Nouveau
Les Energies durables, le gage d’un monde écoresponsable
- Nouveau