Afficher la notice abrégée

dc.contributor.authorDelamare, Clément
dc.contributor.authorMoreaux, Patrice
dc.date.accessioned2010-01-16T11:22:24Z
dc.date.available2010-01-16T11:22:24Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/2982
dc.description.abstractfrLa conception à base de composants est une méthode bien connue, quoique diverse, pour gérer la complexité toujours croissante des systèmes informatiques et industriels. Cependant, dans le contexte de l’évaluation de performances des systèmes à événements discrets, cette approche reste difficile à appliquer. Dans cet article, nous appliquons les résultats théoriques précédents sur la résolution des réseaux de Petri stochastiques bien formés (RdPSBF) décomposables qui sont un modèle de réseau de Petri stochastique de haut niveau. Nous présentons d’abord une implantation expérimentale de la résolution pour les décompositions synchrones et asynchrones. Nous montrons ensuite que les systèmes répartis, par exemple architecturés dans un cadre CORBA, ainsi que les systèmes manufacturiers séquentiels peuvent être analysés avec nos modèles. Notre implantation nous permet d’analyser à l’équilibre des systèmes de plusieurs millions d’états.en
dc.language.isoenen
dc.subjectCORBAen
dc.subjectDécompositionen
dc.subjectPerformancesen
dc.subjectRéseau de P E T R I stochastique de haut niveauen
dc.subjectSystème manufacturieren
dc.subject.ddc003en
dc.titleAnalyse de performances des systèmes décomposables: exemples et mise en oeuvreen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenComponent based design is a well-known method to cope with the ever increasing complexity of computer and industrial systems. However, in the framework of performance evaluation of Discrete Event Systems, this approach is difficult to apply. In this paper we apply previous theoretical results on solution of decomposable Stochastic Well formed Nets (SWN), a kind of high level stochastic Petri nets. First, we provide an experimental implementation of the solution for those nets both for the synchronous and the asynchronous case. Second, we show that distributed systems, like CORBA based systems, and sequential manufacturing systems may be analysed with our approach. Our implementation allows us to solve systems in steady-state with more than several millions of states.en
dc.relation.isversionofjnlnameTSI : Technique et Science Informatiques
dc.relation.isversionofjnlvol24en
dc.relation.isversionofjnlissue2-3en
dc.relation.isversionofjnldate2005
dc.relation.isversionofjnlpages249 - 277en
dc.relation.isversionofdoihttp://dx.doi.org/10.3166/tsi.24.249-277en
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherLavoisier - Hermesen
dc.subject.ddclabelRecherche opérationnelleen


Fichiers attachés à cette notice

FichiersTailleFormatConsulter

Il n'y a pas de fichiers associés à cette notice.

Ce document fait partie de la (des) collection(s) suivante(s)

Afficher la notice abrégée