ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/9 - 2011  - pp.1089-1113  - doi:10.3166/tsi.30.1089-1113
TITRE
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l’approche synchrone. Vers l’exploration à haut niveau de l’architecture

TITLE
UML/MARTE SoC modeling and temporal analysis based on the synchronous approach. Towards high level architecture exploration

RÉSUMÉ
Les systèmes embarqués sur puce (ou system-on-chip, SoC) sont de plus en plus sophistiqués. Ils exigent beaucoup de ressources (processeurs, mémoires, etc.) pour améliorer les performances d’exécution en termes de temps d’exécution et de consommation d’énergie. Le développement de ces systèmes pose donc un véritable défi à cause de leur complexité. Cet article s’intéresse à la conception abstraite de ces systèmes par le biais d’une approche dirigée par les modèles. Nous utilisons le profil UML/MARTE dédié à la modélisation et à l’analyse des systèmes embarqués temps réel. Ainsi, à partir de modèles définis par un utilisateur, des informations sont extraites pour analyser les propriétés temporelles du système. Nous nous appuyons sur l’approche synchrone qui permet la validation formelle.


ABSTRACT
System-on-Chip (Soc) are becoming very sophisticated. They require a huge amount of resources (processors, memories, etc.) to improve their execution performances in terms of execution time and energy. SoC development leads to a real challenge due to their complexity. This paper focuses on a high level design of these systems through a model-driven approach. We use the UML/MARTE profile dedicated to the Modelling and Analysis of Real Time Embedded systems. From user-defined models, temporal information are extracted for analyzing the system temporal properties. We consider the synchronous approach that favors formal validation.


AUTEUR(S)
Adolf ABDALLAH, Abdoulaye GAMATIÉ, Jean-Luc DEKEYSER

MOTS-CLÉS
système embarqué, parallélisme, modélisation, approche synchrone, Gaspard2.

KEYWORDS
embedded systems, parallelism, modeling, synchronous approach, Gaspard2.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (2,0 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier