ICカード式自動販売機これはICカード式自動販売機の仕様書である。ICカード式自動販売機は、本体ユニットと、空き容器回収ユニットから構成される。両ユニットは通信ケーブルで接続されている。通信ケーブルは簡単に切断できないような強度でなければならない。本体ユニットのユーザーインターフェースは、商品選択ボタン、取り消しレバー、ICカード読み取り部である。商品選択ボタンは、商品1品目につき1個のプッシュボタンから構成される。取り消しレバーは、ユーザーが押し下げることができる。ユーザーがICカード読み取り部にICカードを近づけると、ICカードとICカード読み取り部との間で通信が行われる。また、本体ユニットは物理的な装置として、在庫商品を保管する機構と、商品を取り出し口に落とす機構を持つ。 ICカードにはチャージ金額が記録されている。本体ユニットは、商品の金額をICカードから引き落とし、かわりに、商品を取り出し口に落とす。空き容器回収ユニットは独自のユーザーインターフェースを持たない。本体ユニットの取り消しレバーとICカード読み取り部をユーザーインターフェースとして利用する。また、空き容器回収ユニットは物理的な装置として、空き容器を保管する貯蔵部、空き容器の投入を検知する「空き容器投入センサー」、空き容器の投入を妨げる「空き容器投入口ストッパー」を持つ。「ICカード式自動販売機-タイマーあり.slp」からの変更点: 1. 商品を選択している状態で商品のボタンを押したとき、選択している商品が切り替わるようにした。 2. 容器デポジット料金を課金する機能と払い戻す機能を追加した。

自動販売機の初期状態を設定せよICカード式自動販売機の状態が待機状態ならば待機状態のとき、ユーザーの操作に反応せよ商品が選択されている状態ならば商品が選択されているときの自動販売機の動作空き容器が投入されている状態ならば単位機能「空き容器が投入されたら容器デポジット料金を払い戻せ」で対応する。他に状態は存在しないはず。空き容器が投入されたら容器デポジット料金を払い戻せ

自動販売機の初期状態を設定せよ初期状態では、いずれの商品も選択されていない。また、アイドルタイマーは停止している。初期状態では、空き容器投入口ストッパーは開いている。

ICカード式自動販売機の状態の初期値を待機状態にせよアイドルタイマーの状態の初期値を停止にせよアイドルタイマーの経過時間の初期値を0秒にせよ空き容器投入口ストッパーの初期状態を開にせよ

待機状態のとき、ユーザーの操作に反応せよ商品が選択されていないとき、（正確には、なおかつ、デポジット料金の払い戻しを待っていないとき）ユーザーが商品のボタンを押すと、そのボタンに対応する商品が選択される。ただし、売り切れの商品を選択しようとしても、何も起きない。商品が選択された時点からアイドルタイマーのカウントを始める。商品が選択されたら空き容器投入口ストッパーを閉じる。商品の購入とデポジット料金の払い戻しを同時にできないようにする（同時にできるようにすると複雑すぎる）ため。

ユーザーの操作が商品のボタンを押したならばユーザーが選択した商品が売り切れであるならば売り切れの商品のボタンを押しても、自動販売機の状態は変わらない。ICカード式自動販売機の状態を商品が選択されている状態にせよアイドルタイマーの状態を作動にせよ空き容器投入口ストッパーを閉にせよ「ユーザーの操作」は状態ではなくイベントなので、elseは考えなくてよい。

商品が選択されているときの自動販売機の動作いずれかの商品が選択されている状態で、ユーザーがICカードを読み取り部にかざすと、ICカードの残高が引き落とされ、商品が取り出し口に落ちる。ICカードの残高が不足しているときは、Function欄に記載した方法で対処する。ユーザーが取り消しレバーを下げたときは、商品が選択されていない状態に戻る。また、アイドルタイマーが30秒に達すると、商品が選択されていない状態に戻る。（このとき、空き容器投入口ストッパーを開く。）

アイドルタイマーの経過時間が30秒を超えたときICカード式自動販売機の状態を待機状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよアイドルタイマーのタイムアップは状態ではなくイベントなので、elseは考えなくてよい。商品が選択されているとき、ユーザーの操作に反応せよ

商品が選択されているとき、ユーザーの操作に反応せよ商品が選択されていない状態に戻るとき（商取引が完了したとき、または取り消しレバーが下げられたとき）は、アイドルタイマーを停止する。また、ユーザーがICカードを読み取り部にかざしたが、商取引が実行されなかったとき（ICカードの残高が足りなかったとき）は、アイドルタイマーを0秒に戻す。（再び30秒経過したら、商品を選択していない状態に戻る。）「ICカード式自動販売機-タイマーあり.slp」からの変更点: すでに商品が選択されている状態で、別の商品のボタンを押すと、そのボタンに対応する商品が新たに選択される。

ユーザーの操作がICカードを読み取り部にかざしたならばアイドルタイマーの経過時間を0秒にせよICカードの残高がユーザーが選択した商品の価格以上であるならば商取引を実行せよICカード式自動販売機の状態を待機状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよスピーカーが「ICカードの残高が足りません」と発声せよアイドルタイマーの経過時間を0秒にせよ取り消しレバーを下げたならばICカード式自動販売機の状態を待機状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよ商品のボタンを押したならばアイドルタイマーの経過時間を0秒にせよユーザーが選択した商品が売り切れであるならばこれまで選択されていた商品は選択を解除せよユーザーが選択した商品を選択状態にせよ「ユーザーの操作」は状態ではなくイベントなので、elswは考えなくてよい。

商取引を実行せよ商品を購入するときは、商品の代金に加えて、容器デポジット料金を課金する。

ICカードの残高からユーザーが選択した商品の価格分だけ引き落とせICカードの残高から容器デポジット料金を引き落とせICカードの容器デポジット料金払い戻し限度額に容器デポジット料金分を加算せよユーザーが選択した商品を取り出し口に落とせ

空き容器が投入されたら容器デポジット料金を払い戻せ容器デポジットとは、空き容器を回収したとき、デポジット料金を払い戻す制度である。容器デポジットの目的は、空き容器のポイ捨てを防止することである。ユーザーは以下の操作で、容器デポジット料金の払い戻しを受けられる。 1. 空き容器回収ユニットに空き容器を投入する。 2. ICカード読み取り部にICカードを近づける。ただし、容器デポジット料金の払い戻しを受けられるのは、容器デポジット対応の自動販売機で商品を購入した人のみである。これは、どこかから空き容器を持ち込んでデポジット料金を得るのを防止するためである。このために、デポジット料金を負担したユーザーのICカードに「容器デポジット料金払い戻し限度額」を記録する。課題：投入された空き容器が満杯になったらどうしよう？

ICカード式自動販売機の状態が待機状態ならば空き容器投入センサーが反応したときスピーカーが「容器デポジット料金を払い戻します。ICカードを読み取り部にかざしてください」と発声せよICカード式自動販売機の状態を空き容器が投入されている状態にせよアイドルタイマーの状態を作動にせよ空き容器投入口ストッパーを閉にせよ商品が選択されている状態ならば空き容器投入口ストッパーが閉じているため、空き容器デポジットに関する動作はしなくてよい。空き容器が投入されている状態ならば空き容器が投入されているとき、ユーザーの操作に反応せよアイドルタイマーの経過時間が30秒を超えたときICカード式自動販売機の状態を待機状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよ他に状態は存在しないはず。

空き容器が投入されているとき、ユーザーの操作に反応せよガイドメッセージ1の内容：このICカードに容器デポジット料金を払い戻すことはできません。容器デポジット対応の自動販売機で商品を購入したICカードを読み取り部にかざしてください。容器デポジット料金の払い戻しを受けない場合は、取り消しレバーを下げてください。ガイドメッセージ2の内容：容器デポジット料金は払い戻しされませんでした。空き容器の回収にご協力ありがとうございました。 ICカード読み取り部と取り消しレバーは、本体ユニットと空き容器回収ユニットで共用である。空き容器が投入されてから、デポジット料金が払い戻されるまでの間（Function欄の表記では「空き容器が投入されている」状態）は、空き容器投入口ストッパーが閉じ、アイドルタイマーが作動する。「空き容器が投入されている」状態で、アイドルタイマーがタイムアップしたとき、または、取り消しレバーが下げられたときは、待機状態に戻る。このとき、空き容器は空き容器回収ユニットに飲み込まれるが、デポジット料金は払い戻されない。他の人が放置した空き容器を別の人が空き容器回収ユニットに投入したときなどに、デポジット料金の払い戻しを行わずに空き容器を回収するためである。

ユーザーの操作がICカードを読み取り部にかざしたならばICカードの容器デポジット料金払い戻し限度額が容器デポジット料金以上であるならばICカードの残高に容器デポジット料金を払い戻せICカードの容器デポジット料金払い戻し限度額は容器デポジット料金分を減額せよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよスピーカーがガイドメッセージ1を発声せよアイドルタイマーの経過時間を0秒にせよ取り消しレバーを下げたならばICカード式自動販売機の状態を待機状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ空き容器投入口ストッパーを開にせよスピーカーがガイドメッセージ2を発声せよＭＳゴシックＭＳゴシックFnifelseendifDoswitchcaseelswendswDo Nothing(:loopendlpexitlpFS

機能安全

セキュリティ

となったになったに変わったであるであったＭＳゴシックＭＳゴシックＭＳゴシック我思うグループ1グループ2グループ3グループ4考え中迷ってるもっと調べよ意見を聞けひとまず保留定義し直せレビューせよ属性8属性9属性10属性11属性12属性13属性14属性15工数1工数2工数3工数4工数5工数6工数7工数8工数9工数10工数11工数12工数13工数14工数15工数16原要求項目要求仕様確定システム設計単体設計実装単体テスト統合テスト妥当性確認(:もし次のことを繰り返す、かつ:)ならばここまでを繰り返しとするまたは繰り返しから抜けるを行うをせよ何もしない、がでないが。それら以外