MARTE-based Design of a Multimedia Application and Formal Analysis

Adolf Abdallah 1, 2 Abdoulaye Gamatié 1, 2 Jean-Luc Dekeyser 1, 2
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound quality. Moreover, broadcasters can send several programming choices, called multicasting. DTV consists of a high-performance system combining both control and intensive data processing. In this paper, we first show how the OMG MARTE profile can serve to model such a system. Then, we use the synchronous approach to formally check some temporal properties of the expected system implementation for validation purpose.
Type de document :
Communication dans un congrès
FDL 2008, Sep 2008, Stuttgart, Germany. IEEE Xplore, pp.6, 2008
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00567972
Contributeur : Adolf Abdallah <>
Soumis le : mercredi 23 février 2011 - 14:58:26
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : mardi 24 mai 2011 - 03:07:29

Fichier

fdl08_AGD.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00567972, version 1

Collections

Citation

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008, Sep 2008, Stuttgart, Germany. IEEE Xplore, pp.6, 2008. 〈inria-00567972〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

129