Design of a test suite for the jumpstart just-in-time signaling protocol
OPTICA APPLICATA, cilt.35, sa.2, ss.333-345, 2005 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 35 Sayı: 2
- Basım Tarihi: 2005
- Dergi Adı: OPTICA APPLICATA
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.333-345
- İstanbul Üniversitesi Adresli: Hayır
Özet
We present a two step design of the just-in-time (JIT) signaling scheme running over a core. dWDM network which utilizes optical burst switches (OBS). In the first step, we apply an eight-tuple extended finite state machine (EFSM) model to formally specify the protocol. Using the EFSM model, we define the communication between a source client node and a destination client node through an ingress and an intermediate switch. The communication between the EFSMs is handled through messages. In the second step, we generate unique input-output sequences. We work on on-the-fly unicast connection over a prototype testbed.