The timed communicating state machine (TCSM) for communication protocols

Chung Ming Huang, Shiun Wei Lee, Jeng Muh Hsu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
Pages470-477
Number of pages8
DOIs
Publication statusPublished - 1994 Dec 1
Event20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994 - Liverpool, United Kingdom
Duration: 1994 Sep 81994 Sep 8

Publication series

NameConference Proceedings of the EUROMICRO
ISSN (Print)1089-6503

Other

Other20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
CountryUnited Kingdom
CityLiverpool
Period94-09-0894-09-08

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'The timed communicating state machine (TCSM) for communication protocols'. Together they form a unique fingerprint.

  • Cite this

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