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

研究成果: Conference 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.

本文言語English
ホスト出版物のタイトルProceedings - 2016 International Conference on Agents, ICA 2016
出版社Institute of Electrical and Electronics Engineers Inc.
ページ154-157
ページ数4
ISBN(電子版)9781509039319
DOI
出版ステータスPublished - 2017 1 10
外部発表はい
イベント1st IEEE International Conference on Agents, ICA 2016 - Matsue, Shimane, Japan
継続期間: 2016 9 282016 9 30

出版物シリーズ

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

Conference

Conference1st IEEE International Conference on Agents, ICA 2016
国/地域Japan
CityMatsue, Shimane
Period16/9/2816/9/30

ASJC Scopus subject areas

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

フィンガープリント

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

引用スタイル