TY - GEN
T1 - JPEG encoding on the intel MXP5800
T2 - 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
AU - Davare, Abhijit
AU - Zhu, Qi
AU - Moondanos, John
AU - Sangiovanni-Vincentelli, Alberto
PY - 2005
Y1 - 2005
N2 - Multimedia systems are becoming increasingly complex and concurrent. The Platform-based design (PBD) methodology [8] tackles these issues by recommending the use of formal models, carefully defined abstraction layers and the separation of concerns. Models of computation [10] (MoCs) can be used within this methodology to enable specialized synthesis and verification techniques. In this paper, these concepts are leveraged in an industrial case study: the JPEG encoder application deployed on the Intel MXP5800 imaging processor. The modeling is carried out in the Metropolis [4] design framework. We show that the systemlevel model using our chosen model of computation allows performance estimation within 5% of the actual implementation. Moreover, the chosen MoC is amenable to automation, which enables future synthesis techniques.
AB - Multimedia systems are becoming increasingly complex and concurrent. The Platform-based design (PBD) methodology [8] tackles these issues by recommending the use of formal models, carefully defined abstraction layers and the separation of concerns. Models of computation [10] (MoCs) can be used within this methodology to enable specialized synthesis and verification techniques. In this paper, these concepts are leveraged in an industrial case study: the JPEG encoder application deployed on the Intel MXP5800 imaging processor. The modeling is carried out in the Metropolis [4] design framework. We show that the systemlevel model using our chosen model of computation allows performance estimation within 5% of the actual implementation. Moreover, the chosen MoC is amenable to automation, which enables future synthesis techniques.
UR - http://www.scopus.com/inward/record.url?scp=33747398294&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33747398294&partnerID=8YFLogxK
U2 - 10.1109/ESTMED.2005.1518081
DO - 10.1109/ESTMED.2005.1518081
M3 - Conference contribution
AN - SCOPUS:33747398294
SN - 0780393473
SN - 9780780393479
T3 - Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
SP - 89
EP - 94
BT - Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
Y2 - 22 September 2005 through 23 September 2005
ER -