Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
KLOUCHE-DJEDID, Afaf
Directeur de thèse
BENHAMAMOUCH D. (Professeur)
Co-directeur
BOURENANE Malika (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Systèmes temporisés, Spécifications et vérifications : Optimisation du coût de la vérification
Mots clés
Systèmes temporisés; Automates temporisés; Algèbre de processus; ATP; Logique temporelle; TCTL; Model-checking; Systèmes de transitions étiquetés;ACP; Processus; Temps réel; Systèmes distribués.
Résumé
On propose de spécifier et vérifier les systèmes distribués temporels. Pour ceci on étudie deux formalismes: les automates temporisés et l’algebre des procesus ATP.Sachant que l’on peut translater une expression ATP en ATP en graphe temporisé.
Date de soutenance
2008
Cote
TH2691
Pagination
111F.
Format
31 cm
Notes
ANNEXE 92-111F.BIBLIOG.RESUME ET MOTS CLES.
Statut
Soutenue