Функциональная модель строится при следующих предположениях [30]:
1. В каждом функциональном элементе модели известны номинальные (допустимые) значения входных и выходных сигналов, их функциональная зависимость, а также способ контроля.
2. Функциональный элемент модели боевого блока считается неисправным, если при номинальных входных сигналах на его выходе появляется сигнал, значения которого отличаются от номинальных (допустимых) значений.
3. При выходе за пределы допустимых значений хотя бы одного из входных сигналов появляется выходной сигнал, отличающийся от номинального.
4. Внешние входные сигналы всегда принимают только номинальные значения.
5. Если выходной сигнал k-го функционального элемента является входным для j-го функционального элемента, то номинальные значения этих сигналов совпадают.
6. Линии связи между функциональными элементами модели абсолютно надежны.
7. Линии связи между первичными функциональными элементами модели должны соответствовать линиям связи структурной схемы боевого блока.