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

　第９回概要１．自動販売機２．外部仕様３．振舞い４．設計手順５．仕様記述 自動販売機 I(Input)P(Process)O(Output)図 自動販売機の仕様 自動販売機の条件 外部仕様類 外部出力仕様 外部入力仕様 システム仕様 自動販売機の振舞い 状態遷移???の抜け???? 各種の遷移ルート 出力を記入する 完備した外部仕様 完全な仕様記述 システムの構成（簡単な系） システムの構成（複雑な系） システムの構成（複雑な系） 組込システム システム設計上の要件 ???????設計上の要件 自動販売機中の????????の例 1 同　例 2 状態遷移の実行の為の配慮 状態遷移の実行 纏め 分析：初期段階 分析：初期段階纏め 分析：後期段階 分析：後期段階 分析の纏め 最大抽象点は何処か？ ???????図 * システム工学概論第９回状態構造を持っ系の設計 2004. 12. 2 Input Process Output IPO（Input Process Output）図 実時間 ???? 時計 時計 盤面 仕様の 表記 I P O 実時間 ???? 時計 盤面 時計 記号に よる表記 I P O １秒 ???? 時計 盤面 時刻をえる 時刻 時刻表示 をえる 時刻 表示 表示する 時計 HIPO（Hierarchical Input Process Output）図 ???????図 による表記 I P O 実時間 ???? 時計 盤面 時計 時刻をえる I P 　O 時刻をえる I P 　O 表示する I P 　O 夫々は，如何なる条件があるだろうか？ 入力に対する条件 外部入力仕様書 出力に対する条件 外部出力仕様書 本体に対する条件 外部~機能仕様書 外部入力仕様書 外部出力仕様書 外部~機能仕様書 ? 参考：成績集計システム 　　　１．試験結果を読込む 　　　２．学籍番号順に並べる 　　　３．クラス平均値を求める 　　　４．各人の順位を決める 　　　５．成績一覧表を出力する 　　　６．個人毎成績表を出力する 如何に仕様を記述するか？ １．投入金を入れる ２．投入金と過去の投入金の合計を求め，表示する ３．合計金額で買える物があれば，販売可能商品を 　　表示する ４．販売可能でない商品を販売指定しても無視する ５．販売可能な商品を指定すると，商品を出力する ６．投入金額合計から，商品の価格を差引き表示する (７．釣銭出力を指定すると，返戻金/釣銭を出力する) これで完全であろうか？ 状態を持つ系は，成績集計のようには記述出来ない 合計金額 販売 可能 待機中S0 投入金あり販売不可S1 販売可能S2 投入金 投入金 投入金 購入(商品)指定 購入指定 購入指定 合計金額 販売 可能 待機中S0 投入金あり販売不可S1 販売可能S2 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 投入金 T00 T00 T10 投入金 T10 T21 購入(商品)指定 T21 T01 購入指定 T01 T11 購入指定 T11 T20 投入金 T20 釣銭 出力 が 抜けて いる 状態遷移原因表は， 漏れなく状態遷移を 洗出すのに効果的な 手段である 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T10 T20 T21 T22 T02 T01 T11 T00 T12 下記を記入する 状態， 状態遷移，遷移??? 状態遷移原因 出力 外部入力仕様書 外部出力仕様書 外部機能仕様書 外観図 外部機能仕様書 状態遷移図を併用する記述 　有限状態(抽象 )機械モデル 　　Finite State Machine, FSM???? 殆どの着目対象(Object)を記述可能である 　（従来技法では，????の変換関係のみ記述） 状態遷移＋遷移???（???????）で構成する 　従来の???????以上の存在 　状態遷移実行機構により，平明な設計が可能 状態遷移原因表により，漏れが防止できる 　　　通常の正常な動作は，全体の一部に過ぎない 場合により，状態数が爆発的に増える 　　幾つかの抽象機械に分解すれば良い 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T10 T20 T21 T22 T02 T01 T11 T00 T12 状態遷移原因表 自動販売機 待機注 販売可能 投入金あり 販売不可 投入金 指定 商品 販売プロセス 　 商品 指定 入力 I (Input) 出力 O (Output)