English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Two way buffer system is a system that exhibitstransfer of data using two buffers concurrently. It includes processesthat synchronize to exchange data with each other alongwith executing certain delays between these synchronizations.In existing Tiny Two Way Buffer System, both generators producepackets in half duplex manner in no time, deterministictime, and non deterministic time. Analysis of the model forabove time options leads the model in deadlock. The model canbe out of the deadlock if timings in the model is incorporatedin alternative fashion. The generators produce packets after adelay of 10 seconds. However, generator one has an initial shiftof 5 seconds after which it begins sending a packet every 10 seconds.Hence, initial delay for generator one is 15 seconds andfor generator two it is 10 seconds. Due to this initial shift, bothgenerators produce packets alternatively and is deadlock free asthe packets do not meet at the same time instant. Moreover, theexisting system model is not concurrent and hence takes moretime for packet transfer in every iteration. In this paper we haveproposed a model of buffer system using an additional dummybuffer for transfer of data packets, we thus checking the modelwith various time models as no time, deterministic time and nondeterministic time. The results of proposed model under abovetime models are in deadlock. We achieve deadlock free situationby introducing appropriate delay in various buffers of the proposedsystem, the delay timing is nondeterministic time. Thenew approach speeds up the transfer of packets, as a result thetransfer of data becomes concurrent, deadlock free and hencethe model proposed is time efficient. To model and simulatethe proposed system we have used UPPAAL as a model checkingtool environment for modeling, validation and verificationof real-time systems modeled as networks of timed automata.Simulation results shows that the proposed two way buffer systemis fully concurrent and time efficient as compared to theexisting buffer system

Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata