Sciweavers

FDL
2008
IEEE

MARTE-based Design of a Multimedia Application and Formal Analysis

13 years 3 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
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.
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc
Added 07 Dec 2010
Updated 07 Dec 2010
Type Conference
Year 2008
Where FDL
Authors Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
Comments (0)