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
Volume	2005
DOIs	https://doi.org/10.1109/ESTMED.2005.1518081
State	Published - Dec 1 2005
Event	2005 3rd Workshop on Embedded Systems for Real-Time Multimedia - New York, NY, United States Duration: Sep 22 2005 → Sep 23 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

Engineering(all)

Access to Document

10.1109/ESTMED.2005.1518081

Cite this

@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",

month = dec,

day = "1",

doi = "10.1109/ESTMED.2005.1518081",

language = "English (US)",

isbn = "0780393473",

volume = "2005",

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. vol. 2005, 1518081, 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

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/12/1

Y1 - 2005/12/1

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

VL - 2005

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

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this