masateruk https://blog.hatena.ne.jp/masateruk/ masateruk’s blog https://masateruk.hatenablog.com/ 形式手法 CSP 以前いっしょに仕事していた先輩がSyncStitchという設計ツールを開発したので試用してみました。SyncStitchの特徴は、状態遷移図で書いたモデルの振る舞いをシミュレーションしたり検証できたりします。さらに複数の状態遷移図を組み合わせときの振る舞いについても同様にシミュレーションと検証ができます。これによりマルチコアやマルチスレッドで動作するソフトウェアの再現性の低いバグを設計時につぶすことが期待できます。詳細はこちらの紹介文かこちらからダウンロードできるユーザガイドを見てください。今回はこのSyncStitchを使ってAlternating bit protocol (ABP) の設… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmasateruk.hatenablog.com%2Fentry%2F20130813%2F1376398968" title="SyncStitchを使ったAlternating bit protocol (ABP) の設計（1）〜シンプルなモデルの作成とデッドロック検査〜 - 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/20130813/20130813204315.png Hatena Blog https://hatena.blog 2013-08-13 22:02:48 rich https://masateruk.hatenablog.com/entry/20130813/1376398968 1.0 100%