練習問題
by
takeuchi
—
last modified
2008-11-23 18:28
第二回チュートリアルのまとめの問題です．ぜひ解いてみてください．
1
以下の LTS 図を表す FSP を答えなさい．
1.1
1.2
1.2は Guarded Action を使ってください．
2
タンクの水の量を測るセンサーがある．計測できるのは0..9までの単位である．2より小さいならば low シグナルを出力，8より大きいならば high シグナル，それ以外なら normal シグナルを出力する．FSP として SENSOR プロセスをモデル化しなさい．
