Connect with us

message duplicatoin in promela

Discussion in 'Electronic Design' started by Phil Newman, Dec 19, 2003.

Scroll to continue with content
  1. Phil Newman

    Phil Newman Guest

    how can I implement message duplication in promela?

    A duplicate message is recognized by the fact that the received flag was set
    to true before. There are two possible reasons for the arrival of a
    duplicate message:

    The message was received, but not yet acknowledged.

    The message was received and acknowledged, but the acknowledgment somehow
    did not reach the sender.

    I know that you essentially just have to reuse messages in the sender
    process when you send, give it a choice to send an old one or a new one, but
    how can I implement this in promela?

    I can do message loss easily enough, but not sure about message duplication.


Ask a Question
Want to reply to this thread or ask your own question?
You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.
Electronics Point Logo
Continue to site
Quote of the day