MARTE-based Design of a Multimedia Application and Formal Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

MARTE-based Design of a Multimedia Application and Formal Analysis

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.
Fichier principal
Vignette du fichier
fdl08_AGD.pdf (608.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00567972 , version 1 (23-02-2011)

Identifiers

  • HAL Id : inria-00567972 , version 1

Cite

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008, Sep 2008, Stuttgart, Germany. pp.6. ⟨inria-00567972⟩
115 View
175 Download

Share

Gmail Facebook X LinkedIn More