Probabilistic timed protocol verification for the extended state transition model

Chung-Ming Huang, Shiun Wei Lee, Jenq Muh Hsu

研究成果: Conference contribution

2 引文 斯高帕斯(Scopus)

摘要

In this paper, we propose a Timed Communicating State Machine (TCSM), which belongs to the extended state transition model, to formally specify protocols that incorporate timed properties as part of their specifications. Based on the TCSM model, we also propose (1) a timed global state reachability analysis that takes time bounds and predicates into consideration, and (2) a probabilistic timed verification scheme that is based on the occurrence rates of communicating entities' transitions and the occurrence probabilities of channel entities' transitions. In this way, probability-based partial timed verification can be achieved for extended-state-transition-specified timed protocols.

原文English
主出版物標題Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
編輯Lionel M. Ni
發行者IEEE
頁面432-437
頁數6
出版狀態Published - 1994
事件Proceedings of the 1994 International Conference on Parallel and Distributed Systems - Hsinchu, China
持續時間: 1994 十二月 191994 十二月 21

Other

OtherProceedings of the 1994 International Conference on Parallel and Distributed Systems
城市Hsinchu, China
期間94-12-1994-12-21

All Science Journal Classification (ASJC) codes

  • Engineering(all)

指紋 深入研究「Probabilistic timed protocol verification for the extended state transition model」主題。共同形成了獨特的指紋。

引用此