An approach to hardware/software partitioning for multiple hardware devices model

Pu Geguang; Zhao Xiangpeng; Wang Shuling; Qiu Zongyan; He Jifeng; Wang Yi

An approach to hardware/software partitioning for multiple hardware devices model

Pu Geguang^*, Zhao Xiangpeng, Wang Shuling, Qiu Zongyan, He Jifeng, Wang Yi

^*Corresponding author for this work

Software Engineering Institute

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

1 Scopus citations

Abstract

Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for multiple hardware-devices model. The partitioning is transformed into a reachability problem of timed automata, and the optimal solution can be obtained by means of an optimal reachibility algorithm. To relax the initial condition of partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.

Original language	English
Title of host publication	Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004
Editors	J.R. Cuellar, Z. Liu
Pages	376-385
Number of pages	10
State	Published - 2004
Event	Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004 - Beijing, China Duration: 28 Sep 2004 → 30 Sep 2004

Publication series

Name	Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Conference

Conference	Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004
Country/Territory	China
City	Beijing
Period	28/09/04 → 30/09/04

Cite this

Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q., Jifeng, H., & Yi, W. (2004). An approach to hardware/software partitioning for multiple hardware devices model. In J. R. Cuellar, & Z. Liu (Eds.), Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004 (pp. 376-385). (Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004).

Geguang, Pu ; Xiangpeng, Zhao ; Shuling, Wang et al. / An approach to hardware/software partitioning for multiple hardware devices model. Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004. editor / J.R. Cuellar ; Z. Liu. 2004. pp. 376-385 (Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004).

@inproceedings{f0f069bf4e2843f3822edab16de6ad75,

title = "An approach to hardware/software partitioning for multiple hardware devices model",

abstract = "Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for multiple hardware-devices model. The partitioning is transformed into a reachability problem of timed automata, and the optimal solution can be obtained by means of an optimal reachibility algorithm. To relax the initial condition of partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.",

author = "Pu Geguang and Zhao Xiangpeng and Wang Shuling and Qiu Zongyan and He Jifeng and Wang Yi",

year = "2004",

language = "英语",

isbn = "076952222X",

series = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004",

pages = "376--385",

editor = "J.R. Cuellar and Z. Liu",

booktitle = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004",

note = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004 ; Conference date: 28-09-2004 Through 30-09-2004",

}

Geguang, P, Xiangpeng, Z, Shuling, W, Zongyan, Q, Jifeng, H & Yi, W 2004, An approach to hardware/software partitioning for multiple hardware devices model. in JR Cuellar & Z Liu (eds), Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004. Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004, pp. 376-385, Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004, Beijing, China, 28/09/04.

An approach to hardware/software partitioning for multiple hardware devices model. / Geguang, Pu; Xiangpeng, Zhao; Shuling, Wang et al.
Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004. ed. / J.R. Cuellar; Z. Liu. 2004. p. 376-385 (Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004).

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

TY - GEN

T1 - An approach to hardware/software partitioning for multiple hardware devices model

AU - Geguang, Pu

AU - Xiangpeng, Zhao

AU - Shuling, Wang

AU - Zongyan, Qiu

AU - Jifeng, He

AU - Yi, Wang

PY - 2004

Y1 - 2004

N2 - Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for multiple hardware-devices model. The partitioning is transformed into a reachability problem of timed automata, and the optimal solution can be obtained by means of an optimal reachibility algorithm. To relax the initial condition of partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.

AB - Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for multiple hardware-devices model. The partitioning is transformed into a reachability problem of timed automata, and the optimal solution can be obtained by means of an optimal reachibility algorithm. To relax the initial condition of partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.

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

M3 - 会议稿件

AN - SCOPUS:16244390555

SN - 076952222X

SN - 9780769522227

T3 - Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

SP - 376

EP - 385

BT - Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

A2 - Cuellar, J.R.

A2 - Liu, Z.

T2 - Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Y2 - 28 September 2004 through 30 September 2004

ER -

Geguang P, Xiangpeng Z, Shuling W, Zongyan Q, Jifeng H , Yi W. An approach to hardware/software partitioning for multiple hardware devices model. In Cuellar JR, Liu Z, editors, Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004. 2004. p. 376-385. (Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004).

An approach to hardware/software partitioning for multiple hardware devices model

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this