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

Pour satisfaire aux contraintes fortes en termes de coût, de surface et de consommation, et répondre aux besoins des utilisateurs, les futurs terminaux mobiles reposeront sur des architectures composées de ressources hétérogènes et flexibles. Pour correctement dimensionner de telles architectures en respectant des délais de conception de plus en plus courts, des évolutions doivent être envisagées afin d'améliorer la productivité des concepteurs. La tendance consiste à favoriser la définition de modèles de haut niveau d'abstraction offrant une précision et des temps de simulation acceptables pour permettre une évaluation rapide et efficace des différentes solutions d'implantation.Les travaux de recherche présentés dans cette thèse visent à tirer des possibilités offertes par le concept de modélisation transactionnelle (TLM) et par des langages tels que Systeme C. Notre travail a porté sur la définition d'une démarche permettant de guider l'architecte système pour la création de modèles exécutables de niveau transactionnel. Des techniques de modélisation ont été proposées afin de faciliter la description des propriétés nécessaires à l'analyse des performances pouvant être obtenues pour différentes solutions de réalisation. L'intérêt de notre approche est illustré à travers deux expérimentations représentatives du domaine des radiocommunications mobiles. La première consiste à dimensionner les ressources requises pour réaliser les traitements de la couche physique du standard LTE. La deuxième est relative au dimensionnement d'un terminal mobile multistandard présentant des capacités d'adaptation et de reconfiguration dynamique.NANTES-BU Sciences (441092104) / SudocSudocFranceF