BOUKALA Mohand Cherif

Enseignant Chercheur au Département Informatique

Faculté d'Electronique et Informatique

Laboratoire des Systèmes Informatiques. LSI

email : mboukala@usthb.dz

adresse : BP 32 Bab Ezzouar Alger

Tel/Fax + 213 (0) 21 24 76 07




Activité de recherche

Je m'intéresse à la vérification distribuée comme approche afin de pallier au problème de l'explosion combinatoire dont souffre la vérification formelle des propriétés. En effet, à cause de la taille trés grande de l'espace d'état, souvent les systèmes de taille réelle ne peuvent pas être analysés. La mémoire d'une seule machine ne suffit pas pour générer tous l'espace d'états de ces systèmes. L'utilisation de plusieurs machines, qui coopèrent pour la vérification de propriétés s'avère être l'une des solutions à ce problème. Ansi, l'espace d'états est réparti sur l'ensemble des machines participant à cette vérification en utilisant une fonction de répartition (fonction de hashage). Les algorithmes de vérification doivent donc être adaptés à ce nouveau contexte.
Je me suis particulièrement interessé à la vérification distribué de propriétés dite générales: atteignabilité, vivacité, état d'accueil, ...
Je me suis aussi interessé au model-checking distribué de CTL et LTL.
et enfin à la vérification distribuée basée sur la mùodularité.
De plus, l'utilisation de structures de données dites compactes, telles que les BDD, permettent d'améliorer encore les performances de algorithmes distribués.



Participation à des projets de recherche

Actuellement je participe à deux projets nationaux: CNEPRU et PNR.



Communications et Publications :


Activité Pédagogique



Responsabilités antérieures



Responsabilité Actuelle