Softwarefunctional redundancy We consider a function inc1uded in the regulation system of a freezer.

This function can only be called when the freezer is in astate 'freezing' . It receives two temperature values Min and Max, and returns an intermediate value obtained by an algorithm which is not considered here.

Criticize the following solution in terms of on-line detection of faults.

function Intermediate (Min, Max : in integer)

return integer is I : integer;

begin return I;

calculation of I end Intermediatei Propose a better version.