Modélisation Et Évaluation de Performances d'Architectures Matérielles » książka
Modélisation Et Évaluation de Performances d'Architectures Matérielles
ISBN-13: 9786131560736 / Francuski / Miękka / 2018 / 192 str.
SEP est une mA(c)thode incrA(c)mentale orientA(c)e-composant de Simulation A A(c)vA]nements discrets et d'Evaluation de Performances adaptA(c) A la conception d'architectures matA(c)rielles numA(c)riques. Dans une premiA]re partie, nous dA(c)finissons un modA]le gA(c)nA(c)rique dA(c)crit en UML (Unified Modeling Language) dA(c)diA(c) aux architectures de type DSP visA(c)es. Le comportement des composants A(c)lA(c)mentaires est construit par une spA(c)cification assistA(c)e A partir de mA(c)thodes Java. L'utilisation de l'approche par composants autonomes rend possible la mise en place de nombreux mA(c)canismes intA(c)ressants pour amA(c)liorer la rA(c)utilisation et la lisibilitA(c) des modA]les, pour modA(c)liser le jeu d'instructions, pour intA(c)grer des modA]les synchrones (Esterel). Dans une deuxiA]me partie, nous intA(c)grons dans notre environnement de conception des techniques de validation. Un mA(c)canisme de liaison dynamique A(c)voluA(c) est mis en place pour la validation fonctionnelle des modA]les. Dans une derniA]re partie, nous utilisons l'environnement construit pour valider la mA(c)thode sur plusieurs applications issues de projets industriels.
SEP est une méthode incrémentale orientée-composant de Simulation à évènements discrets et dEvaluation de Performances adapté à la conception darchitectures matérielles numériques. Dans une première partie, nous définissons un modèle générique décrit en UML (Unified Modeling Language) dédié aux architectures de type DSP visées. Le comportement des composants élémentaires est construit par une spécification assistée à partir de méthodes Java. Lutilisation de lapproche par composants autonomes rend possible la mise en place de nombreux mécanismes intéressants pour améliorer la réutilisation et la lisibilité des modèles, pour modéliser le jeu dinstructions, pour intégrer des modèles synchrones (Esterel). Dans une deuxième partie, nous intégrons dans notre environnement de conception des techniques de validation. Un mécanisme de liaison dynamique évolué est mis en place pour la validation fonctionnelle des modèles. Dans une dernière partie, nous utilisons lenvironnement construit pour valider la méthode sur plusieurs applications issues de projets industriels.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
