The timed communicating state machine (TCSM) for communication protocols

Chung Ming Huang; Shiun Wei Lee; Jeng Muh Hsu

doi:10.1109/EURMIC.1994.390368

The timed communicating state machine (TCSM) for communication protocols

Chung Ming Huang, Shiun Wei Lee, Jeng Muh Hsu

Department of Computer Science and Information Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
Pages	470-477
Number of pages	8
DOIs	https://doi.org/10.1109/EURMIC.1994.390368
Publication status	Published - 1994 Dec 1
Event	20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994 - Liverpool, United Kingdom Duration: 1994 Sep 8 → 1994 Sep 8

Publication series

Name	Conference Proceedings of the EUROMICRO
ISSN (Print)	1089-6503

Other

Other	20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994
Country	United Kingdom
City	Liverpool
Period	94-09-08 → 94-09-08

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Hardware and Architecture

Access to Document

10.1109/EURMIC.1994.390368

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

@inproceedings{c04132c48ddc41e18641e633f061bfd3,

title = "The timed communicating state machine (TCSM) for communication protocols",

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.",

author = "Huang, {Chung Ming} and Lee, {Shiun Wei} and Hsu, {Jeng Muh}",

year = "1994",

month = dec,

day = "1",

doi = "10.1109/EURMIC.1994.390368",

language = "English",

isbn = "0818664304",

series = "Conference Proceedings of the EUROMICRO",

pages = "470--477",

booktitle = "Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994",

note = "20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994 ; Conference date: 08-09-1994 Through 08-09-1994",

}

Huang, CM, Lee, SW & Hsu, JM 1994, The timed communicating state machine (TCSM) for communication protocols. in Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994., 390368, Conference Proceedings of the EUROMICRO, pp. 470-477, 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994, Liverpool, United Kingdom, 94-09-08. https://doi.org/10.1109/EURMIC.1994.390368

The timed communicating state machine (TCSM) for communication protocols. / Huang, Chung Ming; Lee, Shiun Wei; Hsu, Jeng Muh.

Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994. 1994. p. 470-477 390368 (Conference Proceedings of the EUROMICRO).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The timed communicating state machine (TCSM) for communication protocols

AU - Huang, Chung Ming

AU - Lee, Shiun Wei

AU - Hsu, Jeng Muh

PY - 1994/12/1

Y1 - 1994/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84889056170&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84889056170&partnerID=8YFLogxK

U2 - 10.1109/EURMIC.1994.390368

DO - 10.1109/EURMIC.1994.390368

M3 - Conference contribution

AN - SCOPUS:84889056170

SN - 0818664304

SN - 9780818664304

T3 - Conference Proceedings of the EUROMICRO

SP - 470

EP - 477

BT - Proceedings of the 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994

T2 - 20th EUROMICRO Conference on System Architecture and Integration, EUROMICRO 1994

Y2 - 8 September 1994 through 8 September 1994

ER -