Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2011

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone

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.
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.

Dates and versions

inria-00637009 , version 1 (28-10-2011)

Identifiers

Cite

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. ⟨10.3166/tsi.30.1089-1113⟩. ⟨inria-00637009⟩
186 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More