Model-Driven Design of Embedded Multimedia Applications on SoCs

@article{Abdallah2009ModelDrivenDO,
  title={Model-Driven Design of Embedded Multimedia Applications on SoCs},
  author={Adolf Samir Abdallah and Abdoulay{\'e} Gamatie and Jean-Luc Dekeyser},
  journal={2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools},
  year={2009},
  pages={207-210}
}
This paper addresses the design issue of System-onChip by elevating 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.