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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings - 2016 International Conference on Agents, ICA 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages154-157
Number of pages4
ISBN (Electronic)9781509039319
DOIs
Publication statusPublished - Jan 10 2017
Event1st IEEE International Conference on Agents, ICA 2016 - Matsue, Shimane, Japan
Duration: Sep 28 2016Sep 30 2016

Publication series

NameProceedings - 2016 International Conference on Agents, ICA 2016

Other

Other1st IEEE International Conference on Agents, ICA 2016
CountryJapan
CityMatsue, Shimane
Period9/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

Cite this

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. In 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; Hisazumi, Kenji; 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kong, W, Hou, G, Hu, X, Arimoto, Y, Watanabe, M, Ando, T, Hisazumi, K & Fukuda, A 2017, ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC. in 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, Japan, 9/28/16. https://doi.org/10.1109/ICA.2016.19
Kong W, Hou G, Hu X, Arimoto Y, Watanabe M, Ando T et al. ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC. In 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 ; Hisazumi, Kenji ; 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 Kenji Hisazumi 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 - Hisazumi, Kenji

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 -