ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Hisazumi Kenji, Akira Fukuda

研究成果: 著書/レポートタイプへの貢献会議での発言

抄録

Assuring functional correctness of smart mobility platforms is a critical task for enhancing reliability and safety. Hierarchical State Transition Matrix (HSTM) is a popular software design language, which can also be used for designing fundamental software of smart mobility platforms. For HSTM designs with complex hierarchical structure, it is often helpful if paths, which lead from the first-time value-change of a variable to subsequent references of the variable, can be easily understood by HSTM designers. In this paper, we describe an automatic tool called ZipPath, which can output such paths, including the shortest one, of an HSTM design. We examine the effectiveness of ZipPath with a running example. Although simple, ZipPath can be practically helpful for designers to develop correct HSTM designs.

元の言語英語
ホスト出版物のタイトルProceedings - 2016 International Conference on Agents, ICA 2016
出版者Institute of Electrical and Electronics Engineers Inc.
ページ154-157
ページ数4
ISBN(電子版)9781509039319
DOI
出版物ステータス出版済み - 1 10 2017
イベント1st IEEE International Conference on Agents, ICA 2016 - Matsue, Shimane, 日本
継続期間: 9 28 20169 30 2016

出版物シリーズ

名前Proceedings - 2016 International Conference on Agents, ICA 2016

その他

その他1st IEEE International Conference on Agents, ICA 2016
日本
Matsue, Shimane
期間9/28/169/30/16

Fingerprint

Transition Matrix
State Transition
Path
Software design
Software Design
Hierarchical Structure
Complex Structure
Correctness
Safety
Design
Software
Output

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Hardware and Architecture
  • Modelling and Simulation

これを引用

Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., ... Fukuda, A. (2017). ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC. : Proceedings - 2016 International Conference on Agents, ICA 2016 (pp. 154-157). [7812997] (Proceedings - 2016 International Conference on Agents, ICA 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICA.2016.19

ZipPath : A simple-but-useful path finder for HSTM designs in ZIPC. / Kong, Weiqiang; Hou, Gang; Hu, Xiangpei; Arimoto, Yasuhito; Watanabe, Masahiko; Ando, Takahiro; Kenji, Hisazumi; Fukuda, Akira.

Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., 2017. p. 154-157 7812997 (Proceedings - 2016 International Conference on Agents, ICA 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Kong, W, Hou, G, Hu, X, Arimoto, Y, Watanabe, M, Ando, T, Kenji, H & Fukuda, A 2017, ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC. : Proceedings - 2016 International Conference on Agents, ICA 2016., 7812997, Proceedings - 2016 International Conference on Agents, ICA 2016, Institute of Electrical and Electronics Engineers Inc., pp. 154-157, 1st IEEE International Conference on Agents, ICA 2016, Matsue, Shimane, 日本, 9/28/16. https://doi.org/10.1109/ICA.2016.19
Kong W, Hou G, Hu X, Arimoto Y, Watanabe M, Ando T その他. ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC. : Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 154-157. 7812997. (Proceedings - 2016 International Conference on Agents, ICA 2016). https://doi.org/10.1109/ICA.2016.19
Kong, Weiqiang ; Hou, Gang ; Hu, Xiangpei ; Arimoto, Yasuhito ; Watanabe, Masahiko ; Ando, Takahiro ; Kenji, Hisazumi ; Fukuda, Akira. / ZipPath : A simple-but-useful path finder for HSTM designs in ZIPC. Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 154-157 (Proceedings - 2016 International Conference on Agents, ICA 2016).
@inproceedings{a958bf6a574946b9856f6967625af06c,
title = "ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC",
abstract = "Assuring functional correctness of smart mobility platforms is a critical task for enhancing reliability and safety. Hierarchical State Transition Matrix (HSTM) is a popular software design language, which can also be used for designing fundamental software of smart mobility platforms. For HSTM designs with complex hierarchical structure, it is often helpful if paths, which lead from the first-time value-change of a variable to subsequent references of the variable, can be easily understood by HSTM designers. In this paper, we describe an automatic tool called ZipPath, which can output such paths, including the shortest one, of an HSTM design. We examine the effectiveness of ZipPath with a running example. Although simple, ZipPath can be practically helpful for designers to develop correct HSTM designs.",
author = "Weiqiang Kong and Gang Hou and Xiangpei Hu and Yasuhito Arimoto and Masahiko Watanabe and Takahiro Ando and Hisazumi Kenji and Akira Fukuda",
year = "2017",
month = "1",
day = "10",
doi = "10.1109/ICA.2016.19",
language = "English",
series = "Proceedings - 2016 International Conference on Agents, ICA 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "154--157",
booktitle = "Proceedings - 2016 International Conference on Agents, ICA 2016",
address = "United States",

}

TY - GEN

T1 - ZipPath

T2 - A simple-but-useful path finder for HSTM designs in ZIPC

AU - Kong, Weiqiang

AU - Hou, Gang

AU - Hu, Xiangpei

AU - Arimoto, Yasuhito

AU - Watanabe, Masahiko

AU - Ando, Takahiro

AU - Kenji, Hisazumi

AU - Fukuda, Akira

PY - 2017/1/10

Y1 - 2017/1/10

N2 - Assuring functional correctness of smart mobility platforms is a critical task for enhancing reliability and safety. Hierarchical State Transition Matrix (HSTM) is a popular software design language, which can also be used for designing fundamental software of smart mobility platforms. For HSTM designs with complex hierarchical structure, it is often helpful if paths, which lead from the first-time value-change of a variable to subsequent references of the variable, can be easily understood by HSTM designers. In this paper, we describe an automatic tool called ZipPath, which can output such paths, including the shortest one, of an HSTM design. We examine the effectiveness of ZipPath with a running example. Although simple, ZipPath can be practically helpful for designers to develop correct HSTM designs.

AB - Assuring functional correctness of smart mobility platforms is a critical task for enhancing reliability and safety. Hierarchical State Transition Matrix (HSTM) is a popular software design language, which can also be used for designing fundamental software of smart mobility platforms. For HSTM designs with complex hierarchical structure, it is often helpful if paths, which lead from the first-time value-change of a variable to subsequent references of the variable, can be easily understood by HSTM designers. In this paper, we describe an automatic tool called ZipPath, which can output such paths, including the shortest one, of an HSTM design. We examine the effectiveness of ZipPath with a running example. Although simple, ZipPath can be practically helpful for designers to develop correct HSTM designs.

UR - http://www.scopus.com/inward/record.url?scp=85013665207&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85013665207&partnerID=8YFLogxK

U2 - 10.1109/ICA.2016.19

DO - 10.1109/ICA.2016.19

M3 - Conference contribution

AN - SCOPUS:85013665207

T3 - Proceedings - 2016 International Conference on Agents, ICA 2016

SP - 154

EP - 157

BT - Proceedings - 2016 International Conference on Agents, ICA 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -