Les prochaines générations de terminaux mobiles devront être capables, de façon autonome, de déterminer au fil des déplacements de l'utilisateur, les standards de communication les plus adaptés pour garantir un niveau de qualité de service satisfaisant pour les applications en cours de fonctionnement. Ces systèmes proposeront de plus une gamme étendue de standards de communication et une offre diversifiée d'applications. Pour intégrer toutes ces fonctionnalités en respectant les contraintes fortes en termes de coût, de consommation et de surface associées à ces systèmes, de nouvelles architectures composées d'un ensemble de ressources hétérogènes et flexibles devront être dimensionnées. Pour correctement dimensionner de telles architectures en respectant des délais de conception de plus en plus courts, des évolutions vont devoir être envisagées afin d'améliorer la productivité des architectes systèmes. La tendance constatée consiste à favoriser la définition de modèles permettant d'évaluer très tôt dans le processus de conception les performances pouvant être obtenues pour différentes solutions d'implantation envisageables. Ces modèles doivent être définis avec un niveau de description permettant une évaluation efficace de l'espace de conception. Le niveau transactionnel intégrant des propriétés temporelles apparaît actuellement comme une solution intéressante pour répondre à ce nouveau besoin. Cependant l'absence de méthodes claires et précises pour la définition de modèles à ce niveau d'abstraction ne facilite pas encore son adoption dans le domaine industriel. Les travaux de recherche présentés dans cette thèse visent donc à tirer parti des possibilités offertes par le concept de modélisation transactionnelle (TLM) pour réaliser le dimensionnement des futurs terminaux mobiles. Notre travail a porté sur la proposition d'une démarche devant guider l'architecte système jusqu'à la définition précise des ressources matérielles et logicielles satisfaisant aux exigences imposées par ces systèmes. Cette démarche repose sur un ensemble d'étapes pour la création de modèles exécutables de niveau transactionnel. L'originalité de ces travaux réside dans la possibilité de pouvoir représenter au sein d'un même modèle de niveau transactionnel les propriétés fonctionnelles et non fonctionnelles d'un système à dimensionner. Un modèle d'exécution générique a été proposé de manière à faciliter la définition d'instances de modèles décrivant les différentes solutions architecturales à évaluer. L'environnement de modélisation proposé par l'outil CoFluent Studio a été utilisé pour capturer ces modèles afin de générer les modèles SystemC associés. En utilisant l'environnement de simulation proposé par cet outil, il est alors possible d'exécuter le modèle obtenu afin d'observer les performances de l'architecture analysée en appliquant différents types de paramétrage possibles. Pour limiter les temps de simulation nécessaires à l'obtention de résultats, une technique de calcul des propriétés non fonctionnelles a aussi été proposée. Elle permet de diminuer le nombre de transactions devant être initiées lors de la simulation du modèle SystemC ce qui entraine une réduction significative des temps de simulation. L'intérêt de nos travaux a été illustré à travers deux expérimentations. La première concernait le dimensionnement des ressources nécessaires à la mise en œuvre des traitements de la couche physique du futur standard de communication LTE. Les modèles obtenus offrent la possibilité d'évaluer les puissances de calcul et les ressources de mémorisation requises par différentes solutions architecturales et ce selon les différents paramétrages possibles de la couche physique. La deuxième expérimentation a été menée dans le cadre du dimensionnement d'un terminal mobile représentatif des nouveaux besoins applicatifs évoqués. Le travail de modélisation effectué a permis de définir dans un premier temps une description exécutable de niveau transactionnel du système permettant d'observer son comportement en fonction des nombreux scénarios de fonctionnement envisageables. Ce modèle a ensuite été utilisé pour dimensionner les ressources nécessaires à la réalisation de la fonction de décodage canal associée aux deux standards de communication supportés.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00563223 |
| Date | 08 December 2010 |
| Creators | Barreteau, Anthony |
| Publisher | Université de Nantes |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.002 seconds