Conception de soc à base d horloges abstraites » książka
Conception de soc à base d horloges abstraites
ISBN-13: 9786131579646 / Francuski / Miękka / 2018 / 208 str.
Les applications embarquees hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. L'augmentation des performances des puces monoprocesseur n'est plus une solution adaptee. Nous proposons l'utilisation du profil MARTE pour la modelisation de systemes. Ce profil est suffisamment expressif pour decrire des applications hautes performances et des architectures paralleles. Nous abstrayons ensuite ces modeles via des horloges. Ces dernieres representent l'activite des processeurs durant l'execution de fonctionnalites. Une technique d'analyse permet de verifier des contraintes temporelles telles que l'ordre d'execution de taches, et d'analyser des contraintes non fonctionnelles telles que les temps d'execution. Ces proprietes sont liees au nombre de processeurs impliques dans l'execution ainsi qu'a leurs frequences. La contribution de cette these est la definition d'un cadre de travail, a base d'horloges, qui facilite l'exploration de l'espace de conception a haut niveau d'abstraction. Le travail a ete mene dans un environnement, Gaspard2, dedie a la conception de systemes embarques hautes performances.
Les applications embarquées hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. Laugmentation des performances des puces monoprocesseur nest plus une solution adaptée. Nous proposons lutilisation du profil MARTE pour la modélisation de systèmes. Ce profil est suffisamment expressif pour décrire des applications hautes performances et des architectures parallèles. Nous abstrayons ensuite ces modèles via des horloges. Ces dernières représentent lactivité des processeurs durant lexécution de fonctionnalités. Une technique danalyse permet de vérifier des contraintes temporelles telles que lordre dexécution de tâches, et danalyser des contraintes non fonctionnelles telles que les temps dexécution. Ces propriétés sont liées au nombre de processeurs impliqués dans lexécution ainsi quà leurs fréquences. La contribution de cette thèse est la définition dun cadre de travail, à base dhorloges, qui facilite lexploration de lespace de conception à haut niveau dabstraction. Le travail a été mené dans un environnement, Gaspard2, dédié à la conception de systèmes embarqués hautes performances.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
