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.

• Type: Conference
• Year: 2008
• Where: FDL
• Authors: Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
• Keywords: Advanced Broadcasting Technology, FDL 2008, Intensive Data Processing, Natural Language Processing, OMG MARTE Profile