Integrating timed automata into tabu algorithm for HW-SW partitioning

Geguang Pu; Zhang Chong; Zongyan Qiu; Jifeng He; Wang Yi

doi:10.1109/ICECCS.2006.1690362

Integrating timed automata into tabu algorithm for HW-SW partitioning

Geguang Pu^*, Zhang Chong, Zongyan Qiu, Jifeng He, Wang Yi

^*Corresponding author for this work

Software Engineering Institute

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

3 Scopus citations

Abstract

Hardware/software (HW-SW) partitioning is a key problem in codesign of embedded systems, studied extensively in the past. This paper describes a new approach to hardware/software partitioning for synchronous model. We formalize the partitioning problem using timed automata, which captures the key elements of the partitioning. Then the tabu algorithm is applied to timed automata model to search for the solution efficiently. An industrial experiment is conducted to show our approach can handle large applications with hundreds of nodes in task graph effectively.

Original language	English
Title of host publication	Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	131-138
Number of pages	8
ISBN (Print)	9780769525303
DOIs	https://doi.org/10.1109/ICECCS.2006.1690362
State	Published - 2006
Event	11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006 - Stanford, CA, United States Duration: 15 Aug 2006 → 17 Aug 2006

Publication series

Name	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
ISSN (Print)	2770-8527
ISSN (Electronic)	2770-8535

Conference

Conference	11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006
Country/Territory	United States
City	Stanford, CA
Period	15/08/06 → 17/08/06

Access to Document

10.1109/ICECCS.2006.1690362

Cite this

Pu, G., Chong, Z., Qiu, Z., He, J., & Yi, W. (2006). Integrating timed automata into tabu algorithm for HW-SW partitioning. In Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006 (pp. 131-138). Article 1690362 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICECCS.2006.1690362

Pu, Geguang ; Chong, Zhang ; Qiu, Zongyan et al. / Integrating timed automata into tabu algorithm for HW-SW partitioning. Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. Institute of Electrical and Electronics Engineers Inc., 2006. pp. 131-138 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

@inproceedings{11cf483a2cfd40d49758c5c2dbac4a67,

title = "Integrating timed automata into tabu algorithm for HW-SW partitioning",

abstract = "Hardware/software (HW-SW) partitioning is a key problem in codesign of embedded systems, studied extensively in the past. This paper describes a new approach to hardware/software partitioning for synchronous model. We formalize the partitioning problem using timed automata, which captures the key elements of the partitioning. Then the tabu algorithm is applied to timed automata model to search for the solution efficiently. An industrial experiment is conducted to show our approach can handle large applications with hundreds of nodes in task graph effectively.",

author = "Geguang Pu and Zhang Chong and Zongyan Qiu and Jifeng He and Wang Yi",

year = "2006",

doi = "10.1109/ICECCS.2006.1690362",

language = "英语",

isbn = "9780769525303",

series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "131--138",

booktitle = "Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006",

address = "美国",

note = "11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006 ; Conference date: 15-08-2006 Through 17-08-2006",

}

Pu, G, Chong, Z, Qiu, Z, He, J & Yi, W 2006, Integrating timed automata into tabu algorithm for HW-SW partitioning. in Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006., 1690362, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Institute of Electrical and Electronics Engineers Inc., pp. 131-138, 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006, Stanford, CA, United States, 15/08/06. https://doi.org/10.1109/ICECCS.2006.1690362

Integrating timed automata into tabu algorithm for HW-SW partitioning. / Pu, Geguang; Chong, Zhang; Qiu, Zongyan et al.
Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. Institute of Electrical and Electronics Engineers Inc., 2006. p. 131-138 1690362 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

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

TY - GEN

T1 - Integrating timed automata into tabu algorithm for HW-SW partitioning

AU - Pu, Geguang

AU - Chong, Zhang

AU - Qiu, Zongyan

AU - He, Jifeng

AU - Yi, Wang

PY - 2006

Y1 - 2006

N2 - Hardware/software (HW-SW) partitioning is a key problem in codesign of embedded systems, studied extensively in the past. This paper describes a new approach to hardware/software partitioning for synchronous model. We formalize the partitioning problem using timed automata, which captures the key elements of the partitioning. Then the tabu algorithm is applied to timed automata model to search for the solution efficiently. An industrial experiment is conducted to show our approach can handle large applications with hundreds of nodes in task graph effectively.

AB - Hardware/software (HW-SW) partitioning is a key problem in codesign of embedded systems, studied extensively in the past. This paper describes a new approach to hardware/software partitioning for synchronous model. We formalize the partitioning problem using timed automata, which captures the key elements of the partitioning. Then the tabu algorithm is applied to timed automata model to search for the solution efficiently. An industrial experiment is conducted to show our approach can handle large applications with hundreds of nodes in task graph effectively.

UR - https://www.scopus.com/pages/publications/40949088624

U2 - 10.1109/ICECCS.2006.1690362

DO - 10.1109/ICECCS.2006.1690362

M3 - 会议稿件

AN - SCOPUS:40949088624

SN - 9780769525303

T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

SP - 131

EP - 138

BT - Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006

Y2 - 15 August 2006 through 17 August 2006

ER -

Pu G, Chong Z, Qiu Z, He J , Yi W. Integrating timed automata into tabu algorithm for HW-SW partitioning. In Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. Institute of Electrical and Electronics Engineers Inc. 2006. p. 131-138. 1690362. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS). doi: 10.1109/ICECCS.2006.1690362

Integrating timed automata into tabu algorithm for HW-SW partitioning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this