JPEG encoding on the intel MXP5800: A platform-based design case study

Abhijit Davare; Qi Zhu; John Moondanos; Alberto Sangiovanni-Vincentelli

doi:10.1109/ESTMED.2005.1518081

JPEG encoding on the intel MXP5800: A platform-based design case study

Abhijit Davare^*, Qi Zhu, John Moondanos, Alberto Sangiovanni-Vincentelli

^*Corresponding author for this work

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
Pages	89-94
Number of pages	6
DOIs	https://doi.org/10.1109/ESTMED.2005.1518081
State	Published - 2005
Event	2005 3rd Workshop on Embedded Systems for Real-Time Multimedia - New York, NY, United States Duration: Sep 22 2005 → Sep 23 2005

Publication series

Name	Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
Volume	2005

Other

Other	2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
Country/Territory	United States
City	New York, NY
Period	9/22/05 → 9/23/05

ASJC Scopus subject areas

General Engineering

Access to Document

10.1109/ESTMED.2005.1518081

Cite this

Davare, A., Zhu, Q., Moondanos, J., & Sangiovanni-Vincentelli, A. (2005). JPEG encoding on the intel MXP5800: A platform-based design case study. In Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia (pp. 89-94). Article 1518081 (Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia; Vol. 2005). https://doi.org/10.1109/ESTMED.2005.1518081

@inproceedings{4e9c2e99caa7434cb4a2c4261853822d,

title = "JPEG encoding on the intel MXP5800: A platform-based design case study",

abstract = "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.",

author = "Abhijit Davare and Qi Zhu and John Moondanos and Alberto Sangiovanni-Vincentelli",

year = "2005",

doi = "10.1109/ESTMED.2005.1518081",

language = "English (US)",

isbn = "0780393473",

series = "Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia",

pages = "89--94",

booktitle = "Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia",

note = "2005 3rd Workshop on Embedded Systems for Real-Time Multimedia ; Conference date: 22-09-2005 Through 23-09-2005",

}

Davare, A, Zhu, Q, Moondanos, J & Sangiovanni-Vincentelli, A 2005, JPEG encoding on the intel MXP5800: A platform-based design case study. in Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia., 1518081, Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, vol. 2005, pp. 89-94, 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, New York, NY, United States, 9/22/05. https://doi.org/10.1109/ESTMED.2005.1518081

JPEG encoding on the intel MXP5800: A platform-based design case study. / Davare, Abhijit; Zhu, Qi; Moondanos, John et al.
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia. 2005. p. 89-94 1518081 (Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 -

JPEG encoding on the intel MXP5800: A platform-based design case study

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this