Ismail Assayad and Sergio Yovine
A model-based software implementation tool for multiprocessor embedded systems (2005)
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.
