Techniques de modélisation transactionnelle pour le dimensionnement des futurs systèmes de radiocommunication mobiles - Université de Rennes Accéder directement au contenu
Thèse Année : 2010

Transaction-level modeling techniques for radio communication systems architecting

Techniques de modélisation transactionnelle pour le dimensionnement des futurs systèmes de radiocommunication mobiles

Résumé

Future mobile phones will be implemented by heterogeneous multi-core architectures in order to fully meet power consumption and costs constraints. In order to maintain the increasing design complexity, a great challenge corresponds to enhancement of the designer productivity. The current trend is to encourage the use of models offering an acceptable level of accuracy and simulation time to allow an effective design space exploration. This thesis aims at exploiting the benefits offered by the paradigm of Transaction-Level Modeling and system level design languages such as SystemC. Our work therefore focused on defining an approach to guide the systems architect for the creation of executable transaction-level models. Modeling techniques have been proposed to consider functional and non-functional properties required for the performance analysis of different architectural solutions. The interest of our approach is illustrated through two case studies. The first relates to the design space exploration of LTE physical layer. The second relates to the study of a multi-standard system with adaptation and reconfiguration capabilities.
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.
Fichier principal
Vignette du fichier
These_AnthonyBarreteau.pdf (2.02 Mo) Télécharger le fichier
SoutenanceThese_AnthonyBarreteau.pdf (885.15 Ko) Télécharger le fichier
Format : Autre

Dates et versions

tel-00563223 , version 1 (04-02-2011)

Identifiants

  • HAL Id : tel-00563223 , version 1

Citer

Anthony Barreteau. Techniques de modélisation transactionnelle pour le dimensionnement des futurs systèmes de radiocommunication mobiles. Modélisation et simulation. Université de Nantes, 2010. Français. ⟨NNT : ⟩. ⟨tel-00563223⟩
796 Consultations
1297 Téléchargements

Partager

Gmail Facebook X LinkedIn More