Laboratoire des Systèmes Informatiques

Le Laboratoire des Systèmes Informatiques (L.S.I) du département informatique de l’Université des Sciences et de la Technologie Houari Boumédiène (USTHB) d’Alger a été créé en juillet 2000. Le laboratoire est composé de six équipes de recherche :
* Equipe Genie Logiciel (GL).
* Equipe Ingénierie des Systèmes d’Informations (I.S.I).
* Equipe Modélisation Evaluation of Performance and Quality of Service (MEPQOS).
* Equipe Modélisation et Vérification des Systèmes parallèles (M.O.V.E.S).
* Equipe Application Multimedia, Sécurité Informatique et Systèmes Formels (VAAL).
* Equipe Mobilité.

Le programme des recherches en cours traitent :
    * Le développement d’outils de spécification et de validation pour les systèmes parallèles utilisant les modèles basés sur les réseaux de Pétri temporisés ou les graphes temporisés.
* Le développement de concepts de modélisation et d’évolution de procédés logiciels.
    * Le développement d’un environnement de mise en œuvre d’applications réparties sur des réseaux informatiques avec des sites mobiles.
* L’Environnement de développement de systèmes d’information coopératifs basé sur la modélisation objet.
    * Le développement d’un noyau relationnel supportant un environnement de programmation validé par des preuves de programmes et une inférence de type.

Directeur : AHMED NACER Mohamed
Adresse : USTHB, BP32 EL ALIA, BAB EZZOUAR, ALGER, ALGERIE.
Tel : (+213)021247917
Fax : (+213)021247917
Mail : lsi@lsi-usthb.dz
Site du laboratoire :  http://www.lsi.usthb.dz