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

All Science Journal Classification (ASJC) codes

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

Fingerprint Dive into the research topics of 'ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC'. Together they form a unique fingerprint.

Cite this