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 -