Mail Messagerie    Facebook         Twitter     English    عربي    
Mail
Accueil > Recherche > Laboratoire de Recherche

Laboratoire de Recherche

Laboratoire Modelisation, Validation Evaluation de Performances


Les objectifs de recherche s’articuleront non seulement autour des programmes nationaux de recherche, tels que les CNEPRU, PNR, mais aussi internationaux (Tassili). Ils s’orienteront vers le développement de méthodes, techniques et outils (mathématiques et informatiques), pour la modélisation, spécification et la validation qualitative et quantitative de systèmes. La tendance actuelle de conception des systèmes s’oriente de plus en plus vers une conception sous forme d’un ensemble de composants interagissant eux eux via des protocoles de communication. Ces systèmes présentent de nombreux avantages (produire des applications de qualité, réduction des coûts et temps de développement, fiabilité, maintenabilité et mise à niveau facile). Cependant, la complexité de ces systèmes rend indispensable de s’assurer de la correction de ces systèmes, de vérifier leurs propriétés comportementales et de s’assurer que les objectifs demandés par les utilisateurs en termes de performances sont atteints.
Plusieurs applications seront envisagées, dans des domaines importants, tels que les réseaux mobiles, capteurs, l’avionique, le transport, les systèmes embarqués, les services web, les systèmes basés composants, les systèmes complexes globalement ... .

Directeur : Pr. BOUKALA MALIKA
Adresse : USTHB, BP32 EL ALIA, BAB EZZOUAR, ALGER, ALGERIE.
Tel :
Fax :
Mail : mioualalen@usthb.dz
Site du laboratoire : http://www.movep.usthb.dz/

Retour

Université des Sciences et de la Technologie Houari Boumediene, BP 32 EL ALIA 16111 BAB EZZOUAR ALGER.

Téléphone:+213 21 24 79 50 à 60 Fax: +213 21 24 79 04. - Email: webmaster@usthb.dz  -  © CRI-USTHB 2012

.