Model-Driven Design of Embedded Multimedia Applications on SoCs

This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedicated to the Modeling and Analysis of Real-Time Embedded systems. From userdefined models, information are extracted, which serve for the analysis of the models. The adopted analysis technique relies on the synchronous reactive approach, which strongly favors formal validation.

• Type: Conference
• Year: 2009
• Where: DSD
• Authors: Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
• Keywords: Design Abstraction Levels, DSD 2009, Hardware, Standard Marte Profile, Synchronous Reactive Approach