状态を持った系 自动贩卖机の设计.ppt

《状态を持った系 自动贩卖机の设计.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、システム工学概論第９回状態構造を持っ系の設計2004.12.2第９回概要１．自動販売機２．外部仕様３．振舞い４．設計手順５．仕様記述自動販売機I(Input)P(Process)O(Output)図InputProcessOutputIPO（InputProcessOutput）図実時間ｸﾛｯｸ時計時計盤面仕様の表記IPO実時間ｸﾛｯｸ時計盤面時計記号による表記IPO１秒ｸﾛｯｸ時計盤面時刻をえる時刻時刻表示をえる時刻表示表示する時計HIPO（HierarchicalInputProcessOutput）図ﾃﾞｰﾀﾌﾛｰ図による表記IPO実時間ｸﾛｯｸ時計盤面時計時刻をえるIP　O時刻

2、をえるIP　O表示するIP　O自動販売機の仕様夫々は，如何なる条件があるだろうか？自動販売機の条件入力に対する条件外部入力仕様書出力に対する条件外部出力仕様書本体に対する条件外部~機能仕様書外部仕様類外部入力仕様書外部出力仕様書外部~機能仕様書?外部出力仕様外部入力仕様システム仕様参考：成績集計システム１．試験結果を読込む２．学籍番号順に並べる３．クラス平均値を求める４．各人の順位を決める５．成績一覧表を出力する６．個人毎成績表を出力する如何に仕様を記述するか？１．投入金を入れる２．投入金と過去の投入金の合計を求め，表示する３．合計金額で買える物があれば，販売可能商品を表示する４．販売

3、可能でない商品を販売指定しても無視する５．販売可能な商品を指定すると，商品を出力する６．投入金額合計から，商品の価格を差引き表示する(７．釣銭出力を指定すると，返戻金/釣銭を出力する)これで完全であろうか？状態を持つ系は，成績集計のようには記述出来ない自動販売機の振舞い合計金額販売可能待機中S0投入金あり販売不可S1販売可能S2投入金投入金投入金購入(商品)指定購入指定購入指定状態遷移ﾙｰﾄの抜けﾁｪｯｸ合計金額販売可能待機中S0投入金あり販売不可S1販売可能S2釣銭出力e2投入金e0購入指定e1待機中S0投入金あり販売不可S1販売可能S2投入金T00T00T10投入金T10T21購入

4、(商品)指定T21T01購入指定T01T11購入指定T11T20投入金T20釣銭出力が抜けている状態遷移原因表は，漏れなく状態遷移を洗出すのに効果的な手段である各種の遷移ルート釣銭出力e2投入金e0購入指定e1待機中S0投入金あり販売不可S1販売可能S2T10T20T21T22T02T01T11T00T12出力を記入する下記を記入する状態，状態遷移，遷移ﾙｰﾄ状態遷移原因出力完備した外部仕様外部入力仕様書外部出力仕様書外部機能仕様書外観図完全な仕様記述外部機能仕様書状態遷移図を併用する記述有限状態(抽象)機械モデルFiniteStateMachine,FSMﾓﾃﾞﾙ殆どの着目対象(Ob

5、ject)を記述可能である（従来技法では，ﾃﾞｰﾀの変換関係のみ記述）状態遷移＋遷移ﾙｰﾄ（ﾌﾟﾛｸﾞﾗﾑ）で構成する従来のﾌﾟﾛｸﾞﾗﾑ以上の存在状態遷移実行機構により，平明な設計が可能状態遷移原因表により，漏れが防止できる通常の正常な動作は，全体の一部に過ぎない場合により，状態数が爆発的に増える幾つかの抽象機械に分解すれば良い釣銭出力e2投入金e0購入指定e1待機中S0投入金あり販売不可S1販売可能S2T10T20T21T22T02T01T11T00T12状態遷移原因表システムの構成（簡単な系）自動販売機待機注販売可能投入金あり販売不可投入金指定商品販売プロセス商品指定入力I(In

6、put)出力O(Output)処理P,機能F現金収受部ｽﾄｯｶｰ部自動販売機ﾏｲｺﾝﾎﾞｰﾄﾞソフトハ｜ド101000名称/定義名称/定義システムの構成（複雑な系）自動販売機待機注販売可能投入金あり販売不可投入金指定商品販売プロセス商品指定投入金0投入金＞0投入金投入金現金収受プロセス自動倉庫プロセス入力I(Input)出力O(Output)処理P,機能Fマイコン制御現金収受装置マイコン制御自動倉庫自動販売機本体装置ソフトウエアハ｜ドウエアシステムの構成（複雑な系）自動販売機待機注販売可能投入金あり販売不可投入金指定商品販売プロセス商品指定自動倉庫プロセスホットドリンクユニット現金収受

7、部投入金0投入金＞0投入金投入金現金収受プロセスコールドドリンクユニットパン・麺ユニットお総菜ユニット通信ﾌﾟﾛｾｽPHSコ｜ラ在庫少数組込システム・外から見ると，ﾊｰﾄﾞ装置であるが，実は計算機/ｿﾌﾄを内蔵するシステム．計算機制御の技術が使われている．これから伸びる分野．VTR,携帯電話，GPS．．．．・特殊性　ﾊｰﾄﾞ並の高い信頼度が求められるｿﾌﾄは，殆どが状態構造を持っているﾊｰﾄﾞ並のキチンとした信頼度と原価等の管理量産をベースにし