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

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

抄録

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
国/地域日本
CityMatsue, Shimane
Period9/28/169/30/16

!!!All Science Journal Classification (ASJC) codes

  • コンピュータ ネットワークおよび通信
  • ハードウェアとアーキテクチャ
  • モデリングとシミュレーション

フィンガープリント

「ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル