x := 1; CheckBounds qa := 5 / znever; IF cond THEN zcond := 0; ELSE zcond := 2; END_IF qb := 5 / zcond; dividend 0 quot gvl.kotel_1_alarms1 := gvl.kotel_1_code_error_1; gvl.kotel_1_alarms2 := gvl.kotel_1_code_error_2; gvl.kotel_1_alarms3 := gvl.kotel_1_code_error_3; gvl.kotel_2_alarms1 := gvl.kotel_2_code_error_1; gvl.kotel_2_alarms2 := gvl.kotel_2_code_error_2; gvl.kotel_2_alarms3 := gvl.kotel_2_code_error_3; gvl.kotel_3_alarms1 := gvl.kotel_3_code_error_1; gvl.kotel_3_alarms2 := gvl.kotel_3_code_error_2; gvl.kotel_3_alarms3 := gvl.kotel_3_code_error_3; gvl.kotel_4_alarms1 := gvl.kotel_4_code_error_1; gvl.kotel_4_alarms2 := gvl.kotel_4_code_error_2; (* БАГ family-gap: блок котла 4 скопирован с котла 3 и не дописан — kotel_4_alarms3 объявлен, но нигде не заполняется *) gvl.kotel_3_alarms3 := gvl.kotel_3_code_error_3; (* НЕГАТИВНЫЙ КОНТРОЛЬ: у насоса 3 нет частотника, поле freq у него и НЕ ОБЪЯВЛЕНО — разный состав оборудования, а не пропуск. Правило обязано молчать. *) gvl.nasos_1_flow := TRUE; gvl.nasos_2_flow := TRUE; gvl.nasos_3_flow := TRUE; gvl.nasos_1_freq := 50; gvl.nasos_2_freq := 50; (* Перестроение каскада: котёл выводится в резерв — его позицию занимает сосед. Двенадцать однотипных строк, в одной индекс приёмника не перенумерован. *) IF gvl.stop_K1 THEN gvl.w_cascadK1 := gvl.r_cascadK2; END_IF IF gvl.stop_K1 THEN gvl.w_cascadK1 := gvl.r_cascadK3; END_IF IF gvl.stop_K1 THEN gvl.w_cascadK1 := gvl.r_cascadK4; END_IF IF gvl.stop_K2 THEN gvl.w_cascadK2 := gvl.r_cascadK1; END_IF IF gvl.stop_K2 THEN gvl.w_cascadK2 := gvl.r_cascadK3; END_IF IF gvl.stop_K2 THEN gvl.w_cascadK2 := gvl.r_cascadK4; END_IF IF gvl.stop_K3 THEN gvl.w_cascadK3 := gvl.r_cascadK1; END_IF IF gvl.stop_K3 THEN gvl.w_cascadK3 := gvl.r_cascadK2; END_IF IF gvl.stop_K4 THEN gvl.w_cascadK4 := gvl.r_cascadK1; END_IF IF gvl.stop_K4 THEN gvl.w_cascadK4 := gvl.r_cascadK2; END_IF IF gvl.stop_K4 THEN gvl.w_cascadK4 := gvl.r_cascadK3; END_IF (* БАГ index-mismatch: ветка K3 скопирована из K4 — пишем не в свой канал. Должно быть gvl.w_cascadK3 := gvl.r_cascadK4 *) IF gvl.stop_K3 THEN gvl.w_cascadK4 := gvl.r_cascadK4; END_IF (* НЕГАТИВНЫЙ КОНТРОЛЬ (грабля Г2): номер котла и номер блока аварий — разные измерения, их совпадение случайно и дефектом не является *) gvl.kotel_1_alarms1 := 1; gvl.kotel_1_alarms2 := 1; gvl.kotel_2_alarms1 := 1; gvl.kotel_2_alarms3 := 1; (* БАГ param-channel-mismatch: bPump2_Fault получает аварию насоса 1 — аварийный насос 2 считается исправным и выбирается для тестового прогона *) fbSeize(bPump1_Idle := gvl.idle_nasos_CO1, bPump1_Fault := gvl.alarm_nasos_CO1, bPump2_Idle := gvl.idle_nasos_CO2, bPump2_Fault := gvl.alarm_nasos_CO1, bPump3_Idle := gvl.idle_nasos_CO3, bPump3_Fault := gvl.alarm_nasos_CO3); (* НЕГАТИВНЫЙ КОНТРОЛЬ: нумерация каналов НЕ доказана — согласованных пар меньше двух, значит имя параметра и имя сигнала нумеруются по-разному (обычное дело) *) fbOther(bLine1_Cmd := gvl.valve_ГВС_7, bLine2_Cmd := gvl.valve_ГВС_9); arr[5] := 1; d := d / 0; iq := iSum / 10; t1(IN := c, PT := T#0S); y := gvl.Missing; x := x; IF c THEN END_IF CASE x OF 1: x := 1; END_CASE WHILE TRUE DO x := x + 1; END_WHILE