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

Adolf Abdallah 1 Abdoulaye Gamatié 1 Jean-Luc Dekeyser 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
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.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. 〈http://tsi.revuesonline.com/article.jsp?articleId=16828〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00637009
Contributeur : Mister Dart <>
Soumis le : vendredi 28 octobre 2011 - 22:35:14
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00637009, version 1

Collections

Citation

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, Lavoisier, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. 〈http://tsi.revuesonline.com/article.jsp?articleId=16828〉. 〈inria-00637009〉

Partager

Métriques

Consultations de la notice

416