Verimag

Technical Reports

Ismail Assayad and Sergio Yovine
A model-based software implementation tool for multiprocessor embedded systems (2005)

TR-2005-14.pdf


Keywords:

Abstract: We apply a formal, automated model-based design tool for synthesizing correct-by-construction parallel implementations of an MPEG-4 video encoder. The tool allows for early prototyping, verification and simulation of embedded applications. The generated software implementations are multi-threaded and customized for system on-chip multi-processor architectures. We consider two HW platforms: a custom industrial video-encoding board currently under development, and Intel's IXP2800 network processor.

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 914749