Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Adolf Abdallah Connect in order to contact the contributor
Submitted on : Wednesday, February 23, 2011 - 2:58:26 PM
Last modification on : Friday, February 4, 2022 - 3:11:24 AM
Long-term archiving on: : Tuesday, May 24, 2011 - 3:07:29 AM


Files produced by the author(s)


  • HAL Id : inria-00567972, version 1


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⟩



Record views


Files downloads