パーソナルツール
現在の場所: ホーム → LTS → LTSA チュートリアル → 第二回 → 練習問題
ナビゲーション
 
文書操作

練習問題

作成者 takeuchi 最終変更日時 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 プロセスをモデル化しなさい．