Analyse de performances des systèmes basés composants

Univ Europeenne - EAN : 9786131567803

Nabila Salmi

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9786131567803

Paru le : 27 mars 2011

89,00 € 84,36 €

Epuisé

Pour connaître votre prix et commander, identifiez-vous

Manquant sans date

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9786131567803
Réf. éditeur : 4697686
Editeur : Univ Europeenne
Date Parution : 27 mars 2011
Disponibilite : Manque sans date
Barème de remise : NS
Nombre de pages : 308
Format : H:220 mm L:150 mm
Poids : 455gr
Interdit de retour : Retour interdit

Résumé

Résumé : L'industrie du logiciel et du matériel s'oriente de plus en plus vers la conception de systèmes sous la forme d'assemblage de composants. La vérification de la correction d'un tel système reste importante, du point de vue qualitatif que quantitatif. Dans cette optique, nous développons ici une méthode d'analyse qualitative et quantitative (performances) d'un système construit par assemblage de composants (CBS), concentrée sur les performances. L'intérêt de la méthode réside dans le fait de tirer parti de l'architecture compositionnelle de ces systèmes pour réduire la complexité d'analyse en termes de temps de calcul et d'occupation mémoire, et de permettre ainsi d'analyser des systèmes à espace d'états important. Nous partons de l'architecture à composants et nous modélisons systèmatiquement et adéquatement un CBS pour appliquer après une méthode structurée pour l'analyse des performances du système global. Les composants sont modélisés en utilisant un modéle de haut niveau, les Réseaux de Petri Stochastiques bien formés (Stochastic Well-formed Net), largement utilisés pour l'évaluation de performances des systèmes complexes partiellement ou totalement symétriques.
Biographie : Nabila Salmi est Maître de Conférences à l'Université desSciences et Technologie de Houari Boumediene (USTHB), à Alger,Algérie. Elle y exerce l'enseignement depuis 1999 et s'intéresseen parallèle à contribuer à la recherche scientifique dans ledomaine de l'évaluation des performances des systèmes, enparticulier les systèmes basés composant.