Bounded Retransmission in Event-B∥CSP: a Case Study
نویسندگان
چکیده
منابع مشابه
Bounded Retransmission in Event-B∥CSP: a Case Study
Event-B‖CSP is a combination of Event-B and CSP in which CSP controllers are used in conjunction with Event-B machines to allow a more explicit approach to control flow. Recent results have provided an approach to stepwise refinement of such combinations. This paper presents a simplified Bounded Retransmission Protocol case study, inspired by Abrial’s treatment of this example, to illustrate se...
متن کاملBounded Retransmission Protocol
The model considered in this case study represents an implementation of the Bounded Retransmission Protocol (BRP) [4]. BRP is a data link protocol for transmitting partitioned files over unreliable channels. Each part, in the following referred to as chunk, is bounded in the number of permitted retransmissions. The underlying concept is similiar to the Alternating Bit Protocol. Each chunk conta...
متن کاملA Bounded Retransmission Protocol for Large Data
This note describes a protocol for the transmission of data packets that are too large to be transferred in their entirety. Therefore, the protocol splits the data packets and broadcasts it in parts. It is assumed that in case of failure of transmission through data channels, only a limited number of retries are allowed (bounded retransmission). If repeated failure occurs, the protocol stops tr...
متن کاملModeling and Verifying a Bounded Retransmission Protocol
This paper concerns the transfer of les via a lossy communication channel. It formally speciies this le transfer service in a property-oriented way and investigates|using two diierent techniques| whether a given bounded retransmission protocol conforms to this service. This protocol is based on the well-known alternating bit protocol but allows for a bounded number of retransmission of a frame,...
متن کاملA Bounded Retransmission Protocol for Large Data Packets A Case Study in Computer Checked Algebraic Veri cation
A protocol is described for the transmission of large data packets over unreliable channels. The protocol splits each data packet and broadcasts it in parts. In case of failure of transmission, only a limited number of retries are allowed (bounded retransmission), hence the protocol may give up the delivery of a part of the packet. Both the sending and the receiving client are informed adequate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2011
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.11.019