システム工学概論 第９回 状態構造を持っ系の設計

Presentation on theme: "システム工学概論 第９回 状態構造を持っ系の設計"— Presentation transcript:

1 システム工学概論 第９回 状態構造を持っ系の設計
システム工学概論 第９回 状態構造を持っ系の設計

2 第９回概要 １．自動販売機 ２．外部仕様 ３．振舞い ４．設計手順 ５．仕様記述
　第９回概要 １．自動販売機 ２．外部仕様 ３．振舞い ４．設計手順 ５．仕様記述

3 自動販売機

4 I(Input)P(Process)O(Output)図
IPO（Input Process Output）図 I P O １秒 ｸﾛｯｸ 時計 盤面 時刻をえる 時刻 時刻表示 をえる 表示 表示する Input Process Output 実時間 ｸﾛｯｸ 時計 盤面 仕様の 表記 時刻をえる I P 　O I P O 実時間 ｸﾛｯｸ 時計 盤面 記号に よる表記 時刻をえる I P 　O 表示する I P 　O ﾃﾞｰﾀﾌﾛｰ図 による表記 I P O 実時間 ｸﾛｯｸ 時計 盤面 HIPO（Hierarchical Input Process Output）図

5 自動販売機の仕様 夫々は，如何なる条件があるだろうか？

6 自動販売機の条件 入力に対する条件 外部入力仕様書 出力に対する条件 外部出力仕様書 本体に対する条件 外部~機能仕様書

7 外部仕様類 外部入力仕様書 外部出力仕様書 外部~機能仕様書 ?

8 外部出力仕様

9 外部入力仕様

10 システム仕様 如何に仕様を記述するか？ １．投入金を入れる ２．投入金と過去の投入金の合計を求め，表示する
３．合計金額で買える物があれば，販売可能商品を 　　表示する 参考：成績集計システム 　　　１．試験結果を読込む 　　　２．学籍番号順に並べる 　　　３．クラス平均値を求める 　　　４．各人の順位を決める 　　　５．成績一覧表を出力する 　　　６．個人毎成績表を出力する ４．販売可能でない商品を販売指定しても無視する ５．販売可能な商品を指定すると，商品を出力する ６．投入金額合計から，商品の価格を差引き表示する (７．釣銭出力を指定すると，返戻金/釣銭を出力する) これで完全であろうか？ 状態を持つ系は，成績集計のようには記述出来ない

11 自動販売機の振舞い 販売 可能 合計金額 待機中S0 投入金あり販売不可S1 販売可能S2 購入指定 投入金 購入(商品)指定 投入金

12 状態遷移ﾙｰﾄの抜けﾁｪｯｸ 釣銭 出力 が 抜けて いる 状態遷移原因表は， 漏れなく状態遷移を 洗出すのに効果的な 手段である T01
購入指定 T01 購入(商品)指定 T21 釣銭 出力 が 抜けて いる 投入金 T00 販売 可能 合計金額 待機中S0 投入金 T10 投入金 T20 投入金あり販売不可S1 販売可能S2 購入指定 T11 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T00 T01 状態遷移原因表は， 漏れなく状態遷移を 洗出すのに効果的な 手段である T10 T11 T20 T21

13 各種の 遷移 ルート T02 T12 T22 T01 T21 T11 T10 T20 T00 釣銭出力e2 投入金e0 購入指定e1
待機中S0 投入金あり販売不可S1 販売可能S2 T00

14 出力を記入する 下記を記入する 状態， 状態遷移，遷移ﾙｰﾄ 状態遷移原因 出力

15 完備した外部仕様 外観図 外部入力仕様書 外部出力仕様書 外部機能仕様書

16 完全な仕様記述 状態遷移図を併用する記述 有限状態(抽象 )機械モデル Finite State Machine, FSMﾓﾃﾞﾙ
外部機能仕様書 状態遷移図を併用する記述 　有限状態(抽象 )機械モデル 　　Finite State Machine, FSMﾓﾃﾞﾙ 殆どの着目対象(Object)を記述可能である 　（従来技法では，ﾃﾞｰﾀの変換関係のみ記述） 状態遷移＋遷移ﾙｰﾄ（ﾌﾟﾛｸﾞﾗﾑ）で構成する 　従来のﾌﾟﾛｸﾞﾗﾑ以上の存在 　状態遷移実行機構により，平明な設計が可能 状態遷移原因表により，漏れが防止できる 　　　通常の正常な動作は，全体の一部に過ぎない 場合により，状態数が爆発的に増える 　　幾つかの抽象機械に分解すれば良い 状態遷移原因表 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T10 T20 T21 T22 T02 T01 T11 T00 T12

17 システムの構成（簡単な系） ソフト ハ｜ド 出力 O 入力 I 処理 P, 機能 F (Output) (Input) 自動販売機
販売プロセス ソフト 待機注 販売可能 投入金あり 販売不可 指定 商品 投入金 商品 指定 名称 　/ 定義 名称 　/ 定義 ハ｜ド 自動販売機 ﾏｲｺﾝﾎﾞｰﾄﾞ 10 ｽﾄｯｶｰ部 現金 収受部 1000

18 システムの構成（複雑な系） ソフトウエア ハ｜ドウエア 入力 I (Input) 出力 O (Output) 処理 P,機能 F
自動倉庫 プロセス 現金収受 プロセス 自動販売機 ソフトウエア 販売プロセス 投入金0 待機注 販売可能 投入金あり 販売不可 指定 商品 投入金 投入金 投入金 ＞ 0 商品 指定 投入金 ハ｜ドウエア マイコン制御 現金収受装置 自動販売機 本体装置 マイコン制御 自動倉庫

19 システムの構成（複雑な系） コ｜ラ在庫少数 通信 ﾌﾟﾛｾｽ PHS お総菜ユニット パン・麺ユニット コールド ドリンク ユニット
自動販売機 待機注 販売可能 投入金あり 販売不可 投入金 指定 商品 販売プロセス 自動 倉庫 プロ セス ホットドリンクユニット 現金収受部 投入金0 投入金 ＞ 0 現金収受 プロセス

20 組込システム ・外から見ると，ﾊｰﾄﾞ装置であるが，実は計算機/ｿﾌﾄを 内蔵するシステム．計算機制御の技術が使われている．
　内蔵するシステム．計算機制御の技術が使われている． 　これから伸びる分野．VTR, 携帯電話，GPS．．．． ・特殊性　ﾊｰﾄﾞ並の高い信頼度が求められる 　　　　　ｿﾌﾄは，殆どが状態構造を持っている 　　　　　ﾊｰﾄﾞ並のキチンとした信頼度と原価等の管理 　　　　　　　量産をベースにした考え方 　　　　　　　各種の使われ方〜機種を統合する標準化　 　　　　　　　　単純/複雑/大規模自販機 　　　　　　　　たばこからｺｰﾋｰ，拉麺等を一本化 　　　　　　　　　表示位置と商品対応，商品価格　ﾃﾞｰﾀ ・有利な就職先として，諸君に推奨する

21 システム設計上の要件 商品はどの場所に置ける 商品名はｿﾌﾄに関係させない 場所（指定釦番号）で見る 価格は，変更できる
商品はどの場所に置ける　 　商品名はｿﾌﾄに関係させない　 　　場所（指定釦番号）で見る 価格は，変更できる　 　　ﾒﾓﾘのある領域に定価表を持つ ｲﾍﾞﾝﾄを標準化する 　・遷移原因となるもの 　・伴う情報 例：投入金　＋　金額(¥50) 自動販売機 待機注 販売可能 投入金あり 販売不可 投入金 指定 商品 販売プロセス 投入金0 投入金 ＞ 0 現金収受 プロセス 自動倉庫 出力/メッセージ 　・外部指令/ﾒｯｾｰｼﾞ名となるもの 　・伴う情報 例：釣銭出力　＋　釣銭金額 複数ﾌﾟﾛｾｽの場合には，下記を加える 　宛先ﾌﾟﾛｾｽ番号　＋　送元ﾌﾟﾛｾｽ番号

22 ﾌﾟﾛｸﾞﾗﾑ設計上の要件 出力ﾒｯｾｰｼﾞ標準形式 入力ﾒｯｾｰｼﾞ標準形式 ﾊｰﾄﾞ 対応情報 ｿﾌﾄ用 情報 入出力統一ﾌｫｰﾏｯﾄ
場所番号　　　 ｽﾄｯｶｰ番号　　　　 ” ” ” ” ” ” ” ” 在庫ｾﾝｻ番号　　　 ” ” ” ” ” ” ” ”　 (ﾒﾓﾘ内情報） 在庫切れﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 販売可能ﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 商品指定釦番号　 ” ” ” ” ” ” ” ” 商品価格表 　〔ﾒﾓﾘ内情報）　 販売可能商品表　　　　 ﾊｰﾄﾞ 対応情報 ｿﾌﾄ用 情報 110 可/不可 出力ﾒｯｾｰｼﾞ標準形式 入力ﾒｯｾｰｼﾞ標準形式 　種別指定　　　 | 場所指定 例：合計金額 | 例：在庫切ﾗﾝﾌﾟ点 |　群指定 例：ｽﾄｯｶｰ開　　 | 個別指定 例：釣銭出力　　 | 250 　種別指定　　　 | 場所指定 例：在庫切　　　 | 群情報 例：投入金 　　 | 100 例：商品指定　　 | 場所情報 例：釣銭　　　 | 540 種別指定　　 ｜　　伴　う　情　報　 入力/出力　　｜ｺｰﾄﾞ情報 ｜ﾊﾟﾀｰﾝ情報 ＊ 入出力統一ﾌｫｰﾏｯﾄ 種別指定　　 ｜伴う情報　 入力/出力　　｜ｺｰﾄﾞ情報 種別指定　　 ｜伴う情報　 入力/出力　　｜ﾊﾟﾀｰﾝ情報 ＊ 又は

23 自動販売機中のｱﾙｺﾞﾘｽﾞﾑの例 1 Input Process Output 販売可能 な商品を 決める 合計金額 ﾊｰﾄﾞ 対応情報
価格表 販売 可能 群 ﾊｰﾄﾞ 対応情報 ｿﾌﾄ用 情報 場所番号　　　 商品価格表 …………………. 販売可能商品表 Y N Y Y ……………………. 場所番号　　　 ｽﾄｯｶｰ番号　　　 　 ” ” ” ” ” ” ” ” 在庫ｾﾝｻ番号　　 　 ” ” ” ” ” ” ” ” 在庫切れﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 販売可能ﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 商品指定釦番号　 ” ” ” ” ” ” ” ” 商品価格表 〔ﾒﾓﾘ内情報）　 販売可能商品表 ﾊｰﾄﾞ 対応情報 ｿﾌﾄ用 情報

24 同 例 2 指定 指定した商品が，販売可能なら商品(i)を出力する．販売不可なら無視する 商品(i) 入力ﾒｯｾｰｼﾞ標準形式 ﾊｰﾄﾞ
同　例 2 場所番号　　　 販売可能商品表 Y N Y Y ……………………. 指定した商品が，販売可能なら商品(i)を出力する．販売不可なら無視する 指定 商品(i) 販売可能商品表の場所(i)を読む i =Y? 場所(i)のｽﾄｯｶｰを開ける ｽﾄｯｶｰ開　| 場所(i) Y N 出力ﾒｯｾｰｼﾞ標準形式 　種別指定　　　 | 場所指定 例：合計金額 | 例：在庫切ﾗﾝﾌﾟ点 |　群指定 例：ｽﾄｯｶｰ開　　 | 個別指定 例：釣銭出力　　 | 250 例：在庫切　　　 | 群情報 例：投入金 　　 | 100 例：商品指定　　 | 場所情報 例：釣銭　　　 | 540 入力ﾒｯｾｰｼﾞ標準形式 場所番号　　　 ｽﾄｯｶｰ番号　　　 　 ” ” ” ” ” ” ” ” 在庫ｾﾝｻ番号　　 　 ” ” ” ” ” ” ” ” 在庫切れﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 販売可能ﾗﾝﾌﾟ番号 ” ” ” ” ” ” ” ” 商品指定釦番号　 ” ” ” ” ” ” ” ” 商品価格表 〔ﾒﾓﾘ内情報）　 販売可能商品表 ﾊｰﾄﾞ 対応情報 ｿﾌﾄ用 情報

25 状態遷移の実行の為の配慮 ・遷移ルートは関数に対応 　させる ・状態遷移原因表に対応し 　て各関数を実行させる ・終着状態が不明になるの 　で，各関数の実行の最末 　尾に行先状態番号を指定 　する T11 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T10 T20 T21 T22 T02 T00 T12 T01

26 状態遷移の実行 ・遷移原因(ｲﾍﾞﾝﾄ)が到着すると， 記憶している過去からの状態 対 遷移原因 の交点の状態遷移ルート（関数）を実行させる
T00 T01 T02 到着した 遷移原因 e1 記憶した状態 S0 T11 釣銭出力e2 投入金e0 購入指定e1 待機中S0 投入金あり販売不可S1 販売可能S2 T10 T20 T21 T22 T02 T00 T12 T01 ・遷移原因(ｲﾍﾞﾝﾄ)が到着すると， 　　記憶している過去からの状態 対 遷移原因 　の交点の状態遷移ルート（関数）を実行させる ・各状態遷移ルートの最末尾で次状態を規定する

27 纏め １．状態，状態遷移原因，状態遷移により 殆どの対象を振舞いを含め記述できる ２．見かけ上の入力は，下記の２者になる
　　　殆どの対象を振舞いを含め記述できる ２．見かけ上の入力は，下記の２者になる 　　　動作の契機(ｲﾍﾞﾝﾄ)と伴う情報 　　これを考えると，如何なる系でも 　　　状態遷移ﾙｰﾄのﾌﾟﾛｸﾞﾗﾑで統一的に設計可能 ３．状態遷移原因表で漏れなく仕様を決定可能 Object指向設計は，これらの実用的/不完全な実現 　　上記を充分に理解すれば，OO設計に有効

28

29 以下のページは参考

30 分析：初期段階

31 分析：初期段階纏め ﾃﾞｰﾀﾌﾛｰ図 ﾌﾛｰﾁｬｰﾄ 合計金額を求める 合計金額を表示する 合計金額以下の商品を求める 商品有り 商品無し
販売可能商品を表示する 入口１ 出口２ 出口１ ﾌﾛｰﾁｬｰﾄ

32 分析：後期段階 最大抽象点は何処か？ ﾃﾞｰﾀﾌﾛｰ図

33 分析：後期段階 PAD

34 分析の纏め