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

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抜粋

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

All Science Journal Classification (ASJC) codes

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

フィンガープリント ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    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. : 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