拡張階層化状態遷移表設計手法Ver.2.0
渡辺政彦(著)
/東銀座出版社
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
「組み込みの世界」が変わろうとしています。SOC、IP、Co-Sim、EC++、Java、WindowsCE、これらを上手に活用するためには、従来の設計手法では無理です。新技術に浮き足立つ前に腰を落ち着け、「組み込みの世界」に必須である『状態遷移』を身につけてください。本書は『状態遷移表』を拡張して階層化した設計手法の技術解説書です。『状態遷移表』において、「並列状態」「割込み」「階層化」「駆動型」「遷移型」などを、どのように表記し、どのように解釈されるかが定義されています。設計に『状態遷移表』を適用しようと考えておられる技術者や、すでに『状態遷移図』で設計をされている技術者の方々に一読をお勧めします。
もっとみる
商品情報
- 著者
- 渡辺政彦
- ジャンル
- コンピュータ・情報 - アプリケーション・プログラミング
- 出版社
- 東銀座出版社
- 書籍発売日
- 1998.06.10
- Reader Store発売日
- 2015.05.16
- ファイルサイズ
- 18.8MB
- ページ数
- 172ページ
以下の製品には非対応です
※この商品はタブレットなど大きなディスプレイを備えた機器で読むことに適しています。
文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
この作品のレビュー
平均 5.0 (1件のレビュー)
-
組込み系ソフトウェアの中には、状態遷移が厄介なものがあります。
たとえば、ビデオの再生、停止、一時停止、早送り、、、といったボタンなどです。
単純な処理に思えますが、ビデオが流れている状態として…{通常再生, 早送り再生, 巻き戻し再生}の3つがあったとします(実際はもっとあるわけですが)。
それぞれの状態の時に[一時停止]ボタンを押して画面を一時停止したとします。もう一度、[一時停止ボタン]を押したときに、ビデオが流れている状態に戻るわけですが、早送り再生中なら、早送り再生に戻るべきでしょうか? それとも通常再生??
早送り再生に戻るためには、「早送り再生中に、一時停止ボタンが押された」ことを覚えておかなければなりません。
また、中にはデフォルト状態に戻る必要があるパターン(テープを入れ替えるイベントとか)もあります。色々と条件分岐が複雑で厄介です。
★★★
このような状態遷移を分かりやすく表現する方法が本書で述べている「拡張階層化状態遷移表設計手法」です。そして、それをサポートするCASEツールがZIPCというもので、拡張階層化状態遷移表をCのプログラムに変換してくれます。
したがって、ZIPCを使う人はこの表記方法をマスターする必要があります。
そして、使わない人でも状態遷移について考える良い本です。
★★★
テストするには、プッシュダウンオートマトンでモデリングしてから、状態遷移パスを作成することになるのでしょうね。
今度、古川先生に聞いてみようっと。続きを読む投稿日:2012.04.30
新刊自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
※新刊自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新号を含め、既刊の号は含まれません。ご契約はページ右の「新刊自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される「増刊号」「特別号」等も、自動購入の対象に含まれますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると新刊自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約・新刊自動購入設定」より、随時解約可能です続巻自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
- ・優待ポイントが2倍になるおトクなキャンペーン実施中!
※続巻自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新巻を含め、既刊の巻は含まれません。ご契約はページ右の「続巻自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される特別号等も自動購入の対象に含まれる場合がありますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると続巻自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約自動購入設定」より、随時解約可能ですReader Store BOOK GIFT とは
ご家族、ご友人などに電子書籍をギフトとしてプレゼントすることができる機能です。
贈りたい本を「プレゼントする」のボタンからご購入頂き、お受け取り用のリンクをメールなどでお知らせするだけでOK!
ぜひお誕生日のお祝いや、おすすめしたい本をプレゼントしてみてください。※ギフトのお受け取り期限はご購入後6ヶ月となります。お受け取りされないまま期限を過ぎた場合、お受け取りや払い戻しはできませんのでご注意ください。
※お受け取りになる方がすでに同じ本をお持ちの場合でも払い戻しはできません。
※ギフトのお受け取りにはサインアップ(無料)が必要です。
※ご自身の本棚の本を贈ることはできません。
※ポイント、クーポンの利用はできません。クーポンコード登録
Reader Storeをご利用のお客様へ
ご利用ありがとうございます!
エラー(エラーコード: )
ご協力ありがとうございました
参考にさせていただきます。