Input / Output Automata

1. Some activities must be completed within a specific time period. The software https://www.timeanddate.com/timer/ can be used to start the exam at a specific time instance and completing with a designated time period is a timer.

1. Specify the input, output, and state of a single timer according to the Synchronous Reactive Component abstraction (Timer=I,O,S,Init,React ). ). Complete the input, output, and state elements of the Timer (i.e., complete the tables below). The numbers of the input, outputs, and state variables are to be determined as part of the solution. Exclude the pause functionality. Exclude all User-Interface related information such as 2D layout of the Start and Reset buttons.

Inputs of the Timer
Name	Range of values	Initial value	Unit	Type

Outputs of the Timer
Name	Range of values	Initial value	Unit	Type

States of the Timer
Name	Range of values	Initial value	Unit	Type

1. Specify the [Init] element of the Timer .

2. Provide a visual notation for the Timer in part (a) as in the Delay SRC specification Specify the [Init] for the timer.

3. Specify the update scheme that is necessary to update the time on the Timer . Provide an example of the update scheme.

4. Identify and specify a suitable type of state machine for the Timer

2. Extend the specification of the Timer in Problem 1 to allow more than one timer. Restrict the specification to the input, output, and state variables (i.e., revise any of the input, output, and state variable specifications as needed).

3. Suppose the pause functionality is to be added to the Timer SRC (Synchronous Reactive Component) specification from Problem #1.

1. Identify what kind of SRC (Synchronous Reactive Component) is suitable and justify your answer.

2. Revise any of the input, output, and state variable specifications in part (a) as needed.