拡張階層化状態遷移表設計手法Ver.2.0

渡辺政彦

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

「組み込みの世界」が変わろうとしています。SOC、IP、Co-Sim、EC++、Java、WindowsCE、これらを上手に活用するためには、従来の設計手法では無理です。新技術に浮き足立つ前に腰を落ち着け、「組み込みの世界」に必須である『状態遷移』を身につけてください。本書は『状態遷移表』を拡張して階層化した設計手法の技術解説書です。『状態遷移表』において、「並列状態」「割込み」「階層化」「駆動型」「遷移型」などを、どのように表記し、どのように解釈されるかが定義されています。設計に『状態遷移表』を適用しようと考えておられる技術者や、すでに『状態遷移図』で設計をされている技術者の方々に一読をお勧めします。

• カテゴリ: ビジネス・実用
• ジャンル: IT・コンピュータ / 言語・プログラミング
• 出版社: 東銀座出版社
• ページ数: 172ページ
• 電子版発売日: 2013年12月27日
• コンテンツ形式: EPUB
• サイズ(目安): 20MB

[ブクログ · ★★★★★]

組込み系ソフトウェアの中には、状態遷移が厄介なものがあります。

たとえば、ビデオの再生、停止、一時停止、早送り、、、といったボタンなどです。
単純な処理に思えますが、ビデオが流れている状態として{通常再生, 早送り再生, 巻き戻し再生}の3つがあったとします（実際はもっとあるわけですが）。

それぞれの状態の時に[一時停止]ボタンを押して画面を一時停止したとします。もう一度、[一時停止ボタン]を押したときに、ビデオが流れている状態に戻るわけですが、早送り再生中なら、早送り再生に戻るべきでしょうか？　それとも通常再生？？

早送り再生に戻るためには、「早送り再生中に、一時停止ボタンが押された」ことを覚えておかなければなりません。

また、中にはデフォルト状態に戻る必要があるパターン（テープを入れ替えるイベントとか）もあります。色々と条件分岐が複雑で厄介です。

★★★

このような状態遷移を分かりやすく表現する方法が本書で述べている「拡張階層化状態遷移表設計手法」です。そして、それをサポートするCASEツールがZIPCというもので、拡張階層化状態遷移表をCのプログラムに変換してくれます。

したがって、ZIPCを使う人はこの表記方法をマスターする必要があります。
そして、使わない人でも状態遷移について考える良い本です。

★★★

テストするには、プッシュダウンオートマトンでモデリングしてから、状態遷移パスを作成することになるのでしょうね。
今度、古川先生に聞いてみようっと。