Design of a test suite for the jumpstart just-in-time signaling protocol

• Autorzy: Zaim A. H.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

optical burst switching (OBS); just-in-time (JIT) signaling; optical communication

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Optica Applicata
• Rocznik: 2005
• Tom: Vol. 35, nr 2
• Strony: 333--345
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Zaim A. H.

• Istanbul University, Faculty of Engineering, Department of Computer Engineering, Avcilar, Istanbul, Turkey,

Bibliografia

• [1] Nail K., Sarikaya B., Testing communication protocols, IEEE Software 9(1), 1992, pp. 27-37.
• [2] Ates A.F., Sarikaya B., Test sequence generation and timed testing, Computer Networks and ISDN Systems 29(1), 1996, pp. 107-31.
• [3] Lai R., A survey of communication protocol testing, Journal of Systems and Software 62(1), 2002, pp. 21-46.
• [4] SiDHU D.P., Leung T.-K., Formal methods for protocol testing: a detailed study, IEEE Transactions on Software Engineering 15(4), 1989, pp. 413-26.
• [5] King P.W., Formalization of protocol engineering concepts, IEEE Transactions on Computers 40(4), 1991, pp. 387-403.
• [6] Hansson H., Jonsson B., Orava F., Pehrson B., Form^al design of communication protocols, International Switching Symposium 1990, pp. 99-104.
• [7] Holzmann G.J., Protocol design: redefining the state of the art, IEEE Software 9(1), 1992, pp. 17-22.
• [8] Turner K.J., The Use of Formal Methods in Communications Standards, IEE Colloquium on "Formal Methods for Protocols", 1991, pp. 1/1-3.
• [9] Baldine I., Rouskas G.N., Perros H.G., Stevenson D., Jumpstart: a just-in-time signaling architecture for WDM burst-switched networks, IEEE Communications Magazine 40(2), 2002, pp. 82-9.
• [10] Wei J.Y., McFarland R.I., Just-in-time Signaling for WDM Optical Burst Switching Networks, Journal of Lightwave Technology 18(12), 2000, pp. 2019-37.
• [11] Yoo M., Qiao C.,Dixit S., QoS performance of optical burst switching in IP-over-WDM networks, IEEE Journal on Selected Areas in Communications 18(10), 2000, pp. 2062-71.
• [12] Turner J.S., Terabit burst switching, Journal of High Speed Networks 8(1), 1999, pp. 3-16.
• [13] Qiao C., Yoo M., Optical burst switching (OBS) - a new paradigm for an Optical Internet, Journal of High Speed Networks 8(1), 1999, pp. 69-84.
• [14] Yoo M., Qiao C., Just-enough-time (JET): A high speed protocol for bursty traffic in optical netwoorks, IEEE/LEOS LEOS Summer Topical Meeting 1997, pp. 26-27.
• [15] Bowman H., Blair G.S., Blair L., Chetwynd A.G., Formal description of distributed multimedia systems: an assessment of potential techniques, Computer Communicationsv 18(12), 1995, pp. 964-77.
• [16] Zaim ah., Baldine I., Cassada M., Rouskas GN., Perros, HG., Stevenson D., Jumpstart just in time signaling protocol: a formal description using EFSM, optical Engineering 42(2), 2003, pp. 568-85,