Skip to Main content Skip to Navigation
Theses

Extraction de modèles pour la conception de systèmes sur puce

Jean-François Le Tallec 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The design of System on Chip mostly relies SstemC/C++. This language allows architectural and behavioural descriptions at different abstraction levels. Others approaches consider automated assembly of components into actual or virtual platforms (IP-Xact format). Using Model Driven Engineering techniques is a new trend, which may benefit form UML profiles (especially MARTE). In this thesis, we study the modelling power of these approaches and the possible bridges between them. SystemC provides a great deal of examples while MARTE offers facilities in system modelling at different levels. So, we try to export SystemC design to MARTE models. Beyond the mere conversion between formats, we propose an abstraction mechanism from SystemC code to models in IP-Xact formats. The IP-Xact description is then transformed into MARTE models with existing tools. We review related works and propose our solution leading to a dedicated tool called SCiPX (standing for SystemC to IP-Xact). In the second part of this thesis we apply the UML profile MARTE, its time model, and the associated language for specification of temporal constraints (CCSL° to specify interactions among components. A special attention is paid to protocol refinement. This study reveals a lack of CCSL for capturing the concept of priority. An improvement in the CCSL constraint solver is proposed to overcome this limitation.
Document type :
Theses
Complete list of metadatas

Cited literature [52 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00767040
Contributor : Team Kairos <>
Submitted on : Wednesday, December 19, 2012 - 1:51:21 PM
Last modification on : Wednesday, October 14, 2020 - 4:23:51 AM
Long-term archiving on: : Sunday, December 18, 2016 - 5:54:50 AM

Identifiers

  • HAL Id : tel-00767040, version 1

Collections

Citation

Jean-François Le Tallec. Extraction de modèles pour la conception de systèmes sur puce. Systèmes embarqués. Université Nice Sophia Antipolis, 2012. Français. ⟨tel-00767040⟩

Share

Metrics

Record views

453

Files downloads

847