TY - GEN
T1 - ZipPath
T2 - 1st IEEE International Conference on Agents, ICA 2016
AU - Kong, Weiqiang
AU - Hou, Gang
AU - Hu, Xiangpei
AU - Arimoto, Yasuhito
AU - Watanabe, Masahiko
AU - Ando, Takahiro
AU - Hisazumi, Kenji
AU - Fukuda, Akira
N1 - Funding Information:
This research is supported by National Natural Science Foundation of China (Grant No. 61572097, 71531002) and the Fundamental Research Funds for the Central University (Grant No. DUT14RC(3)150).
Publisher Copyright:
© 2016 IEEE.
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.
Y2 - 28 September 2016 through 30 September 2016
ER -