（1）本文中のaに入れる、適切なコーヒーマシンの動作を答えよ。

（2）開閉センサーの出力を読み出す周期を、周波数32kHzのカウントダウンタイマー（以下、タイマーという）を用いて計っている。このタイマーは、あらかじめ設定された初期値からカウントダウンを行い、カウント値が0になったら、次のカウントダウンまでの間に初期値をリロードして動作を継続する。タイマーに設定する初期値は幾つか、整数で求めよ。ここで、1k=10³とする。

（1）カップ判定タスクは、メインタスク及びドアタスクよりも優先度を低くしている。その理由を30字以内で答えよ。

（2）メインタスクが抽出タスクに「抽出」を通知する際のパラメータとして、必要な情報を答えよ。

（3）開閉センサーの出力と、ドアタスクの動作タイミングの例を図3に示す。図3中の、アの時点でドアタスクが保持しているドアの開閉状態が開閉態であるとき、ドアタスクがメインタスクに「ドア開」及び「ドア閉」を通知するタイミングを、それぞれ、ア～テの記号で答えよ。

（1）メインタスクがドアタスクに通知を行うのは、何のメッセージを受けたときか。図4中のメッセージ名で全て答えよ。

（2）図4中のbに入れる適切なメッセージ名を、表3中の字句で答えよ。