masateruk https://blog.hatena.ne.jp/masateruk/ masateruk’s blog https://masateruk.hatenablog.com/ 形式手法 CSP 前回までは通信路に歪みがないことを仮定してましたが、今回から通信路に歪みを考慮に入れます。つまり、送信した値と異なる値が相手に届くことがあると状況をつくります。 チャネルのモデリング これまではSyncStitchのチャネルをそのまま使用していましたが、歪みを入れられるように自分でモデル化します。最初は歪みのないチャネルをモデル化して、今までと同じ検証結果が得られるか確認します。受信者用のチャネルは以下のように定義します。send_to_r.0 と send_to_r.1 はそれぞれ受信者への 0, 1 を送信を要求するイベントです。send_to_r.0 の後、受信者が実際に受信するチャネル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmasateruk.hatenablog.com%2Fentry%2F20130831%2F1377954671" title="SyncStitchを使ったAlternating bit protocol (ABP) の設計（3）〜歪みに対応する〜 - masateruk’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/masateruk/20130824/20130824230404.png Hatena Blog https://hatena.blog 2013-08-31 22:11:11 rich https://masateruk.hatenablog.com/entry/20130831/1377954671 1.0 100%