The timed communicating state machine (TCSM) for communication protocols

Chung Ming Huang, Shiun Wei Lee, Jeng Muh Hsu

研究成果: Conference contribution

摘要

This paper presents a new model, named Timed Communicating State Machine (TCSM), to specify protocols that incorporate timed properties as part of their specifications. Using the TCSM model, each transition is associated with a head state, a tail state, a predicate, an input event, a time interval, and an action part. In this way, the TCSM model can be directly applied to ISO's Estelle, which is a Formal Description Technique (FDT), for specifying communication protocols. The notations of the TCSM are also based on that of Estelle, so that they are not foreign to users of Estelle. We also present the corresponding formal TCSM-based verification scheme. Bases on the TCSM model and the verification scheme, we are currently developing an Estelle-based timed protocol verification system on SUN SPARC workstations.

原文English
主出版物標題Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
頁面470-477
頁數8
DOIs
出版狀態Published - 1994 十二月 1
事件20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994 - Liverpool, United Kingdom
持續時間: 1994 九月 81994 九月 8

出版系列

名字Conference Proceedings of the EUROMICRO
ISSN(列印)1089-6503

Other

Other20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
國家United Kingdom
城市Liverpool
期間94-09-0894-09-08

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

指紋 深入研究「The timed communicating state machine (TCSM) for communication protocols」主題。共同形成了獨特的指紋。

  • 引用此

    Huang, C. M., Lee, S. W., & Hsu, J. M. (1994). The timed communicating state machine (TCSM) for communication protocols. 於 Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994 (頁 470-477). [390368] (Conference Proceedings of the EUROMICRO). https://doi.org/10.1109/EURMIC.1994.390368