Towards resource-certified software: A formal cost model for time and its application to an image-processing example

Armelle Bonenfant; Zezhi Chen; Kevin Hammond; Greg Michaelson; Andy Wallace; Iain Wallace

doi:10.1145/1244002.1244285

Towards resource-certified software: A formal cost model for time and its application to an image-processing example

Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, Iain Wallace

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

5 Citations (Scopus)

Abstract

Visual tracking requires sophisticated algorithms working in real-time, and often space-limited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compositional performance metrics. This enables the combination of independently developed program components into coherent software architecture, with certified resource use guarantee. Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language Hume. Copyright 2007 ACM.

Original language	English
Title of host publication	Proceedings of the 2007 ACM Symposium on Applied Computing
Pages	1307-1314
Number of pages	8
DOIs	https://doi.org/10.1145/1244002.1244285
Publication status	Published - 2007
Event	2007 ACM Symposium on Applied Computing - Seoul, Korea, Republic of Duration: 11 Mar 2007 → 15 Mar 2007

Conference

Conference	2007 ACM Symposium on Applied Computing
Country/Territory	Korea, Republic of
City	Seoul
Period	11/03/07 → 15/03/07

Keywords

Embedded systems
Functional programming
Motion tracking
Resource bounds

Access to Document

10.1145/1244002.1244285

Cite this

@inproceedings{4b5b10e3d0ae4e579c1448d4537c5afe,

title = "Towards resource-certified software: A formal cost model for time and its application to an image-processing example",

abstract = "Visual tracking requires sophisticated algorithms working in real-time, and often space-limited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compositional performance metrics. This enables the combination of independently developed program components into coherent software architecture, with certified resource use guarantee. Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language Hume. Copyright 2007 ACM.",

keywords = "Embedded systems, Functional programming, Motion tracking, Resource bounds",

author = "Armelle Bonenfant and Zezhi Chen and Kevin Hammond and Greg Michaelson and Andy Wallace and Iain Wallace",

year = "2007",

doi = "10.1145/1244002.1244285",

language = "English",

pages = "1307--1314",

booktitle = "Proceedings of the 2007 ACM Symposium on Applied Computing",

note = "2007 ACM Symposium on Applied Computing ; Conference date: 11-03-2007 Through 15-03-2007",

}

Bonenfant, A, Chen, Z, Hammond, K, Michaelson, G , Wallace, A & Wallace, I 2007, Towards resource-certified software: A formal cost model for time and its application to an image-processing example. in Proceedings of the 2007 ACM Symposium on Applied Computing. pp. 1307-1314, 2007 ACM Symposium on Applied Computing, Seoul, Korea, Republic of, 11/03/07. https://doi.org/10.1145/1244002.1244285

TY - GEN

T1 - Towards resource-certified software

T2 - 2007 ACM Symposium on Applied Computing

AU - Bonenfant, Armelle

AU - Chen, Zezhi

AU - Hammond, Kevin

AU - Michaelson, Greg

AU - Wallace, Andy

AU - Wallace, Iain

PY - 2007

Y1 - 2007

N2 - Visual tracking requires sophisticated algorithms working in real-time, and often space-limited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compositional performance metrics. This enables the combination of independently developed program components into coherent software architecture, with certified resource use guarantee. Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language Hume. Copyright 2007 ACM.

AB - Visual tracking requires sophisticated algorithms working in real-time, and often space-limited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compositional performance metrics. This enables the combination of independently developed program components into coherent software architecture, with certified resource use guarantee. Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language Hume. Copyright 2007 ACM.

KW - Embedded systems

KW - Functional programming

KW - Motion tracking

KW - Resource bounds

U2 - 10.1145/1244002.1244285

DO - 10.1145/1244002.1244285

M3 - Conference contribution

SP - 1307

EP - 1314

BT - Proceedings of the 2007 ACM Symposium on Applied Computing

Y2 - 11 March 2007 through 15 March 2007

ER -

Towards resource-certified software: A formal cost model for time and its application to an image-processing example

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this