RESEND MECHANISM FOR RELIABLE DATAGRAM PROTOCOL

Most of graphic-arts studios and graphic designers use many 3D application in their work flow. Data exchange between those applications and users is the bottleneck of the process. Our aim is to design and implement a network protocol for real-time exchange of 3D data. Consequently, many users could share their data with others using network and it would remove necessity of exchanging data files among application. These principles could be also used for teaching graphics applications, creating distributed virtual reality etc. The effective way of 3D data sharing requires new datagram network protocol design with some elements of reliability. For example, receiving data in proper order in the way similar to TCP protocol is not required but considerable requirements are imposed on low latency. The protocol itself will use UDP on transport layer and it will have it's own resend mechanism implemented on application layer. This paper is focused on design and validation of resend mechanism using PROMELA programming language and Spin.