// === Description ===
// Automatisches Landesystem nach CAT IIIb: fuehrt Anflug, Abfangen
// (Flare) und Ausrollen (Rollout) vollstaendig autonom aus, bis zu
// einer Runway Visual Range von 50 m und ohne Entscheidungshoehe.
// Dreifach-redundante Architektur mit Voter-Logik: 3x Flight Control
// Computer, 3x Autopilot-Kanal, 3x ILS-Empfaenger fuer Localizer und
// Glide Slope, 3x Radar-Hoehenmesser, 3x ADIRU. Ein einzelner Fehler
// darf die automatische Landung nicht unterbrechen (fail-operational).
// Autothrottle zieht am Flare die Leistung zurueck; Spoilers und
// AutoBrake aktivieren sich am Aufsetzen. Sicherheitsziel DAL A nach
// DO-178C / DO-254, Zulassung nach CS-25 Amdt 27 Appendix K (AWO).
// === End Description ===

// FtaDSL Autoland System — CAT IIIb, fail-operational
//
// Author:  Wolfgang Freese, Overath (Germany)
// Date:    April 2026
// Version: 1.0
//
// Safety class: DAL A per DO-178C / DO-254
// Design target: CAT IIIb automatic landing (RVR >= 50 m, no decision height)
//
// References:
//   EASA CS-25 Amendment 27, Subpart F and Appendix K (AWO)
//   FAA Advisory Circular AC 120-28D (CAT III approval criteria)
//   SAE ARP4754A (System Development)
//   SAE ARP4761 (Safety Assessment)
//   RTCA DO-178C (Software), DO-254 (Hardware), DO-160G (Environmental)
//   ICAO Annex 6 (Operations), Annex 10 Vol. I (ILS)
//
// Top Level Event (TLE):
//   HardLandingOrRunwayExcursion — the autoland system fails so that the
//   aircraft touches down outside the acceptable envelope (laterally off
//   centerline, beyond touchdown zone, at excessive sink rate) or departs
//   the runway on rollout. Classified Catastrophic per ARP4761 in CAT IIIb
//   conditions where manual intervention is infeasible.
//
// Redundancy architecture:
//   - Triple FCC with 2oo3 voter and command/monitor lanes
//   - Triple Autopilot channels with 2oo3 voter and engagement logic
//   - Triple ILS receivers (LOC + GS) with consistency monitor
//   - Triple radio altimeters with 2oo3 voter (essential for flare)
//   - Triple ADIRU with air data monitor
//   - Dual autothrottle channels with 2oo2 voter and RETARD logic
//   - Dual yaw damper channels for rollout
//   - Redundant AC / DC power busses including essential and hot battery
//
// Fault modes (reused):
//   Data_Invalid, Data_Frozen, Data_Biased, Data_Drift, Data_Lost
//   LOC_Deviation_Biased, GS_Deviation_Biased
//   RadAlt_UnderReading, RadAlt_OverReading
//   FlareCmd_Late, FlareCmd_Early, FlareCmd_Missing
//   RolloutCmd_Missing, RolloutCmd_Biased
//   ChannelDisagreement, LaneDisagreement
//   Cmd_Missing, Cmd_Biased
//   Power_Lost
//   Bus_Silent, Bus_Stuck


FUNCTION Autoland

    INPUT  LOC_RF_Signal
    INPUT  GS_RF_Signal
    INPUT  RadarReturn_Ground_1
    INPUT  RadarReturn_Ground_2
    INPUT  RadarReturn_Ground_3
    INPUT  IRS_Raw_A
    INPUT  IRS_Raw_B
    INPUT  IRS_Raw_C
    INPUT  AirData_Raw_A
    INPUT  AirData_Raw_B
    INPUT  AirData_Raw_C
    INPUT  FMC_FlightPlan
    INPUT  PilotCommand_APModes
    INPUT  ARINC429_Bus_A
    INPUT  ARINC429_Bus_B
    INPUT  ARINC664_AFDX
    INPUT  GenPower_1
    INPUT  GenPower_2
    INPUT  APU_Gen
    INPUT  HotBattery
    INPUT  WindShear_Detect
    INPUT  WeatherRadar

    OUTPUT ElevatorCmd_Autoland
    OUTPUT AileronCmd_Autoland
    OUTPUT RudderCmd_Autoland
    OUTPUT SpoilerCmd_Autoland
    OUTPUT ThrottleCmd_Autoland
    OUTPUT AutoBrake_Cmd
    OUTPUT FMA_Annunciate_Primary
    OUTPUT FMA_Annunciate_Copilot
    OUTPUT MasterWarning_Out
    OUTPUT Autoland_Engagement_Status


    // ─────────────── Power distribution ───────────────

    FUNCTION PowerBus_AC1
        INPUT  GenIn_1
        OUTPUT AC1_Out
        OIM AC1_Out.Power_Lost.GenIn_1.Power_Lost
    END FUNCTION

    FUNCTION PowerBus_AC2
        INPUT  GenIn_2
        OUTPUT AC2_Out
        OIM AC2_Out.Power_Lost.GenIn_2.Power_Lost
    END FUNCTION

    FUNCTION PowerBus_ACEssential
        INPUT  GenIn_Ess
        INPUT  APUIn_Ess
        OUTPUT ACEss_Out
        OIM ACEss_Out.Power_Lost.AND(GenIn_Ess.Power_Lost; APUIn_Ess.Power_Lost)
    END FUNCTION

    FUNCTION PowerBus_DC1
        INPUT  ACIn_DC1
        OUTPUT DC1_Out
        OIM DC1_Out.Power_Lost.ACIn_DC1.Power_Lost
    END FUNCTION

    FUNCTION PowerBus_DC2
        INPUT  ACIn_DC2
        OUTPUT DC2_Out
        OIM DC2_Out.Power_Lost.ACIn_DC2.Power_Lost
    END FUNCTION

    FUNCTION PowerBus_DC_HotBattery
        INPUT  BatIn_Hot
        OUTPUT DCHot_Out
        OIM DCHot_Out.Power_Lost.BatIn_Hot.Power_Lost
    END FUNCTION


    // ─────────────── Air data / Inertial reference ───────────────

    FUNCTION ADIRU_A
        INPUT  IRSIn_A
        INPUT  ADCIn_A
        INPUT  PwrIn_ADIRU_A
        OUTPUT InertialData_A
        OUTPUT AirData_A
        OIM InertialData_A.Data_Invalid.OR(IRSIn_A.Data_Invalid; IRSIn_A.Data_Lost; PwrIn_ADIRU_A.Power_Lost)
        OIM InertialData_A.Data_Frozen.IRSIn_A.Data_Frozen
        OIM InertialData_A.Data_Biased.IRSIn_A.Data_Biased
        OIM InertialData_A.Data_Drift.IRSIn_A.Data_Drift
        OIM InertialData_A.Data_Lost.OR(IRSIn_A.Data_Lost; PwrIn_ADIRU_A.Power_Lost)
        OIM AirData_A.Data_Invalid.OR(ADCIn_A.Data_Invalid; PwrIn_ADIRU_A.Power_Lost)
        OIM AirData_A.Data_Frozen.ADCIn_A.Data_Frozen
        OIM AirData_A.Data_Biased.ADCIn_A.Data_Biased
        OIM AirData_A.Data_Lost.OR(ADCIn_A.Data_Lost; PwrIn_ADIRU_A.Power_Lost)
    END FUNCTION

    FUNCTION ADIRU_B
        INPUT  IRSIn_B
        INPUT  ADCIn_B
        INPUT  PwrIn_ADIRU_B
        OUTPUT InertialData_B
        OUTPUT AirData_B
        OIM InertialData_B.Data_Invalid.OR(IRSIn_B.Data_Invalid; IRSIn_B.Data_Lost; PwrIn_ADIRU_B.Power_Lost)
        OIM InertialData_B.Data_Frozen.IRSIn_B.Data_Frozen
        OIM InertialData_B.Data_Biased.IRSIn_B.Data_Biased
        OIM InertialData_B.Data_Drift.IRSIn_B.Data_Drift
        OIM InertialData_B.Data_Lost.OR(IRSIn_B.Data_Lost; PwrIn_ADIRU_B.Power_Lost)
        OIM AirData_B.Data_Invalid.OR(ADCIn_B.Data_Invalid; PwrIn_ADIRU_B.Power_Lost)
        OIM AirData_B.Data_Frozen.ADCIn_B.Data_Frozen
        OIM AirData_B.Data_Biased.ADCIn_B.Data_Biased
        OIM AirData_B.Data_Lost.OR(ADCIn_B.Data_Lost; PwrIn_ADIRU_B.Power_Lost)
    END FUNCTION

    FUNCTION ADIRU_C
        INPUT  IRSIn_C
        INPUT  ADCIn_C
        INPUT  PwrIn_ADIRU_C
        OUTPUT InertialData_C
        OUTPUT AirData_C
        OIM InertialData_C.Data_Invalid.OR(IRSIn_C.Data_Invalid; IRSIn_C.Data_Lost; PwrIn_ADIRU_C.Power_Lost)
        OIM InertialData_C.Data_Frozen.IRSIn_C.Data_Frozen
        OIM InertialData_C.Data_Biased.IRSIn_C.Data_Biased
        OIM InertialData_C.Data_Drift.IRSIn_C.Data_Drift
        OIM InertialData_C.Data_Lost.OR(IRSIn_C.Data_Lost; PwrIn_ADIRU_C.Power_Lost)
        OIM AirData_C.Data_Invalid.OR(ADCIn_C.Data_Invalid; PwrIn_ADIRU_C.Power_Lost)
        OIM AirData_C.Data_Frozen.ADCIn_C.Data_Frozen
        OIM AirData_C.Data_Biased.ADCIn_C.Data_Biased
        OIM AirData_C.Data_Lost.OR(ADCIn_C.Data_Lost; PwrIn_ADIRU_C.Power_Lost)
    END FUNCTION

    FUNCTION AirData_Monitor
        INPUT  ADMon_A
        INPUT  ADMon_B
        INPUT  ADMon_C
        OUTPUT AirDataConsistency
        OIM AirDataConsistency.ChannelDisagreement.OR(AND(ADMon_A.Data_Biased; ADMon_B.Data_Biased); AND(ADMon_A.Data_Biased; ADMon_C.Data_Biased); AND(ADMon_B.Data_Biased; ADMon_C.Data_Biased); AND(ADMon_A.Data_Frozen; ADMon_B.Data_Frozen); AND(ADMon_A.Data_Frozen; ADMon_C.Data_Frozen); AND(ADMon_B.Data_Frozen; ADMon_C.Data_Frozen))
    END FUNCTION


    // ─────────────── ILS — Localizer receivers ───────────────

    FUNCTION LOC_Receiver_1
        INPUT  LOCIn_1
        INPUT  PwrIn_LOC_1
        OUTPUT LOC_Deviation_1
        OIM LOC_Deviation_1.LOC_Deviation_Biased.OR(LOCIn_1.Data_Biased; LOCIn_1.Data_Drift; PwrIn_LOC_1.Power_Lost)
        OIM LOC_Deviation_1.Data_Invalid.OR(LOCIn_1.Data_Invalid; PwrIn_LOC_1.Power_Lost)
        OIM LOC_Deviation_1.Data_Lost.OR(LOCIn_1.Data_Lost; PwrIn_LOC_1.Power_Lost)
    END FUNCTION

    FUNCTION LOC_Receiver_2
        INPUT  LOCIn_2
        INPUT  PwrIn_LOC_2
        OUTPUT LOC_Deviation_2
        OIM LOC_Deviation_2.LOC_Deviation_Biased.OR(LOCIn_2.Data_Biased; LOCIn_2.Data_Drift; PwrIn_LOC_2.Power_Lost)
        OIM LOC_Deviation_2.Data_Invalid.OR(LOCIn_2.Data_Invalid; PwrIn_LOC_2.Power_Lost)
        OIM LOC_Deviation_2.Data_Lost.OR(LOCIn_2.Data_Lost; PwrIn_LOC_2.Power_Lost)
    END FUNCTION

    FUNCTION LOC_Receiver_3
        INPUT  LOCIn_3
        INPUT  PwrIn_LOC_3
        OUTPUT LOC_Deviation_3
        OIM LOC_Deviation_3.LOC_Deviation_Biased.OR(LOCIn_3.Data_Biased; LOCIn_3.Data_Drift; PwrIn_LOC_3.Power_Lost)
        OIM LOC_Deviation_3.Data_Invalid.OR(LOCIn_3.Data_Invalid; PwrIn_LOC_3.Power_Lost)
        OIM LOC_Deviation_3.Data_Lost.OR(LOCIn_3.Data_Lost; PwrIn_LOC_3.Power_Lost)
    END FUNCTION


    // ─────────────── ILS — Glide slope receivers ───────────────

    FUNCTION GS_Receiver_1
        INPUT  GSIn_1
        INPUT  PwrIn_GS_1
        OUTPUT GS_Deviation_1
        OIM GS_Deviation_1.GS_Deviation_Biased.OR(GSIn_1.Data_Biased; GSIn_1.Data_Drift; PwrIn_GS_1.Power_Lost)
        OIM GS_Deviation_1.Data_Invalid.OR(GSIn_1.Data_Invalid; PwrIn_GS_1.Power_Lost)
        OIM GS_Deviation_1.Data_Lost.OR(GSIn_1.Data_Lost; PwrIn_GS_1.Power_Lost)
    END FUNCTION

    FUNCTION GS_Receiver_2
        INPUT  GSIn_2
        INPUT  PwrIn_GS_2
        OUTPUT GS_Deviation_2
        OIM GS_Deviation_2.GS_Deviation_Biased.OR(GSIn_2.Data_Biased; GSIn_2.Data_Drift; PwrIn_GS_2.Power_Lost)
        OIM GS_Deviation_2.Data_Invalid.OR(GSIn_2.Data_Invalid; PwrIn_GS_2.Power_Lost)
        OIM GS_Deviation_2.Data_Lost.OR(GSIn_2.Data_Lost; PwrIn_GS_2.Power_Lost)
    END FUNCTION

    FUNCTION GS_Receiver_3
        INPUT  GSIn_3
        INPUT  PwrIn_GS_3
        OUTPUT GS_Deviation_3
        OIM GS_Deviation_3.GS_Deviation_Biased.OR(GSIn_3.Data_Biased; GSIn_3.Data_Drift; PwrIn_GS_3.Power_Lost)
        OIM GS_Deviation_3.Data_Invalid.OR(GSIn_3.Data_Invalid; PwrIn_GS_3.Power_Lost)
        OIM GS_Deviation_3.Data_Lost.OR(GSIn_3.Data_Lost; PwrIn_GS_3.Power_Lost)
    END FUNCTION

    FUNCTION ILS_Consistency_Monitor
        INPUT  MonLOC_1
        INPUT  MonLOC_2
        INPUT  MonLOC_3
        INPUT  MonGS_1
        INPUT  MonGS_2
        INPUT  MonGS_3
        OUTPUT ILS_Consistency_Status
        OIM ILS_Consistency_Status.ChannelDisagreement.OR(AND(MonLOC_1.LOC_Deviation_Biased; MonLOC_2.LOC_Deviation_Biased); AND(MonLOC_1.LOC_Deviation_Biased; MonLOC_3.LOC_Deviation_Biased); AND(MonLOC_2.LOC_Deviation_Biased; MonLOC_3.LOC_Deviation_Biased); AND(MonGS_1.GS_Deviation_Biased; MonGS_2.GS_Deviation_Biased); AND(MonGS_1.GS_Deviation_Biased; MonGS_3.GS_Deviation_Biased); AND(MonGS_2.GS_Deviation_Biased; MonGS_3.GS_Deviation_Biased))
    END FUNCTION


    // ─────────────── Radio altimeters ───────────────

    FUNCTION RadAlt_1
        INPUT  RadIn_1
        INPUT  PwrIn_RadAlt_1
        OUTPUT RadAlt_Height_1
        OIM RadAlt_Height_1.RadAlt_UnderReading.OR(RadIn_1.Data_Biased; PwrIn_RadAlt_1.Power_Lost)
        OIM RadAlt_Height_1.RadAlt_OverReading.RadIn_1.Data_Drift
        OIM RadAlt_Height_1.Data_Invalid.OR(RadIn_1.Data_Invalid; PwrIn_RadAlt_1.Power_Lost)
        OIM RadAlt_Height_1.Data_Lost.OR(RadIn_1.Data_Lost; PwrIn_RadAlt_1.Power_Lost)
    END FUNCTION

    FUNCTION RadAlt_2
        INPUT  RadIn_2
        INPUT  PwrIn_RadAlt_2
        OUTPUT RadAlt_Height_2
        OIM RadAlt_Height_2.RadAlt_UnderReading.OR(RadIn_2.Data_Biased; PwrIn_RadAlt_2.Power_Lost)
        OIM RadAlt_Height_2.RadAlt_OverReading.RadIn_2.Data_Drift
        OIM RadAlt_Height_2.Data_Invalid.OR(RadIn_2.Data_Invalid; PwrIn_RadAlt_2.Power_Lost)
        OIM RadAlt_Height_2.Data_Lost.OR(RadIn_2.Data_Lost; PwrIn_RadAlt_2.Power_Lost)
    END FUNCTION

    FUNCTION RadAlt_3
        INPUT  RadIn_3
        INPUT  PwrIn_RadAlt_3
        OUTPUT RadAlt_Height_3
        OIM RadAlt_Height_3.RadAlt_UnderReading.OR(RadIn_3.Data_Biased; PwrIn_RadAlt_3.Power_Lost)
        OIM RadAlt_Height_3.RadAlt_OverReading.RadIn_3.Data_Drift
        OIM RadAlt_Height_3.Data_Invalid.OR(RadIn_3.Data_Invalid; PwrIn_RadAlt_3.Power_Lost)
        OIM RadAlt_Height_3.Data_Lost.OR(RadIn_3.Data_Lost; PwrIn_RadAlt_3.Power_Lost)
    END FUNCTION

    FUNCTION RadAlt_Voter
        INPUT  RAVin_1
        INPUT  RAVin_2
        INPUT  RAVin_3
        OUTPUT VotedHeight
        OIM VotedHeight.RadAlt_UnderReading.OR(AND(RAVin_1.RadAlt_UnderReading; RAVin_2.RadAlt_UnderReading); AND(RAVin_1.RadAlt_UnderReading; RAVin_3.RadAlt_UnderReading); AND(RAVin_2.RadAlt_UnderReading; RAVin_3.RadAlt_UnderReading))
        OIM VotedHeight.RadAlt_OverReading.OR(AND(RAVin_1.RadAlt_OverReading; RAVin_2.RadAlt_OverReading); AND(RAVin_1.RadAlt_OverReading; RAVin_3.RadAlt_OverReading); AND(RAVin_2.RadAlt_OverReading; RAVin_3.RadAlt_OverReading))
        OIM VotedHeight.Data_Lost.OR(AND(RAVin_1.Data_Lost; RAVin_2.Data_Lost); AND(RAVin_1.Data_Lost; RAVin_3.Data_Lost); AND(RAVin_2.Data_Lost; RAVin_3.Data_Lost))
    END FUNCTION


    // ─────────────── Flight Control Computers (triple) ───────────────

    FUNCTION LaneArchitecture_Command
        INPUT  LACin_Nav
        INPUT  LACin_Air
        INPUT  LACin_Inert
        OUTPUT CommandLane_Out
        OIM CommandLane_Out.Cmd_Biased.OR(LACin_Nav.LOC_Deviation_Biased; LACin_Nav.GS_Deviation_Biased; LACin_Air.Data_Biased; LACin_Inert.Data_Biased; LACin_Inert.Data_Drift)
        OIM CommandLane_Out.Cmd_Missing.OR(LACin_Nav.Data_Lost; LACin_Air.Data_Lost; LACin_Inert.Data_Lost)
    END FUNCTION

    FUNCTION LaneArchitecture_Monitor
        INPUT  LAMin_Nav
        INPUT  LAMin_Air
        INPUT  LAMin_Inert
        OUTPUT MonitorLane_Out
        OIM MonitorLane_Out.LaneDisagreement.OR(LAMin_Nav.LOC_Deviation_Biased; LAMin_Nav.GS_Deviation_Biased; LAMin_Air.Data_Biased; LAMin_Inert.Data_Biased; LAMin_Inert.Data_Drift)
        OIM MonitorLane_Out.Cmd_Missing.OR(LAMin_Nav.Data_Lost; LAMin_Air.Data_Lost; LAMin_Inert.Data_Lost)
    END FUNCTION

    FUNCTION FCC_1
        INPUT  FCC1_Cmd
        INPUT  FCC1_Mon
        INPUT  FCC1_Pwr
        OUTPUT FCC1_Out
        OIM FCC1_Out.Cmd_Biased.OR(FCC1_Cmd.Cmd_Biased; AND(FCC1_Cmd.Cmd_Biased; FCC1_Mon.LaneDisagreement); FCC1_Pwr.Power_Lost)
        OIM FCC1_Out.Cmd_Missing.OR(FCC1_Cmd.Cmd_Missing; FCC1_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION FCC_2
        INPUT  FCC2_Cmd
        INPUT  FCC2_Mon
        INPUT  FCC2_Pwr
        OUTPUT FCC2_Out
        OIM FCC2_Out.Cmd_Biased.OR(FCC2_Cmd.Cmd_Biased; AND(FCC2_Cmd.Cmd_Biased; FCC2_Mon.LaneDisagreement); FCC2_Pwr.Power_Lost)
        OIM FCC2_Out.Cmd_Missing.OR(FCC2_Cmd.Cmd_Missing; FCC2_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION FCC_3
        INPUT  FCC3_Cmd
        INPUT  FCC3_Mon
        INPUT  FCC3_Pwr
        OUTPUT FCC3_Out
        OIM FCC3_Out.Cmd_Biased.OR(FCC3_Cmd.Cmd_Biased; AND(FCC3_Cmd.Cmd_Biased; FCC3_Mon.LaneDisagreement); FCC3_Pwr.Power_Lost)
        OIM FCC3_Out.Cmd_Missing.OR(FCC3_Cmd.Cmd_Missing; FCC3_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION FCC_WatchDog
        INPUT  WDin_1
        INPUT  WDin_2
        INPUT  WDin_3
        INPUT  WDPwr
        OUTPUT WatchDog_Status
        OIM WatchDog_Status.ChannelDisagreement.OR(AND(WDin_1.Cmd_Biased; WDin_2.Cmd_Biased); AND(WDin_1.Cmd_Biased; WDin_3.Cmd_Biased); AND(WDin_2.Cmd_Biased; WDin_3.Cmd_Biased); WDPwr.Power_Lost)
    END FUNCTION

    FUNCTION FCC_Voter
        INPUT  FCCVin_1
        INPUT  FCCVin_2
        INPUT  FCCVin_3
        INPUT  FCCV_WD
        INPUT  FCCV_Pwr
        OUTPUT VotedFCC_Cmd
        OIM VotedFCC_Cmd.Cmd_Biased.OR(AND(FCCVin_1.Cmd_Biased; FCCVin_2.Cmd_Biased); AND(FCCVin_1.Cmd_Biased; FCCVin_3.Cmd_Biased); AND(FCCVin_2.Cmd_Biased; FCCVin_3.Cmd_Biased); FCCV_Pwr.Power_Lost)
        OIM VotedFCC_Cmd.Cmd_Missing.OR(AND(FCCVin_1.Cmd_Missing; FCCVin_2.Cmd_Missing); AND(FCCVin_1.Cmd_Missing; FCCVin_3.Cmd_Missing); AND(FCCVin_2.Cmd_Missing; FCCVin_3.Cmd_Missing); FCCV_Pwr.Power_Lost; FCCV_WD.ChannelDisagreement)
    END FUNCTION


    // ─────────────── Autopilot channels (triple) ───────────────

    FUNCTION Autopilot_Engagement_Logic
        INPUT  APEng_Pilot
        INPUT  APEng_FMC
        INPUT  APEng_Pwr
        OUTPUT APEngage_Cmd
        OIM APEngage_Cmd.Cmd_Missing.OR(APEng_Pilot.Cmd_Missing; APEng_FMC.Data_Lost; APEng_Pwr.Power_Lost)
        OIM APEngage_Cmd.Cmd_Biased.OR(APEng_Pilot.Cmd_Biased; APEng_FMC.Data_Biased)
    END FUNCTION

    FUNCTION AutopilotChannel_1
        INPUT  APCh1_FCC
        INPUT  APCh1_Eng
        INPUT  APCh1_Pwr
        OUTPUT APCh1_Out
        OIM APCh1_Out.Cmd_Missing.OR(APCh1_FCC.Cmd_Missing; APCh1_Eng.Cmd_Missing; APCh1_Pwr.Power_Lost)
        OIM APCh1_Out.Cmd_Biased.OR(APCh1_FCC.Cmd_Biased; APCh1_Eng.Cmd_Biased)
    END FUNCTION

    FUNCTION AutopilotChannel_2
        INPUT  APCh2_FCC
        INPUT  APCh2_Eng
        INPUT  APCh2_Pwr
        OUTPUT APCh2_Out
        OIM APCh2_Out.Cmd_Missing.OR(APCh2_FCC.Cmd_Missing; APCh2_Eng.Cmd_Missing; APCh2_Pwr.Power_Lost)
        OIM APCh2_Out.Cmd_Biased.OR(APCh2_FCC.Cmd_Biased; APCh2_Eng.Cmd_Biased)
    END FUNCTION

    FUNCTION AutopilotChannel_3
        INPUT  APCh3_FCC
        INPUT  APCh3_Eng
        INPUT  APCh3_Pwr
        OUTPUT APCh3_Out
        OIM APCh3_Out.Cmd_Missing.OR(APCh3_FCC.Cmd_Missing; APCh3_Eng.Cmd_Missing; APCh3_Pwr.Power_Lost)
        OIM APCh3_Out.Cmd_Biased.OR(APCh3_FCC.Cmd_Biased; APCh3_Eng.Cmd_Biased)
    END FUNCTION

    FUNCTION Autopilot_Voter
        INPUT  APVin_1
        INPUT  APVin_2
        INPUT  APVin_3
        INPUT  APV_Pwr
        OUTPUT VotedAP_Cmd
        OIM VotedAP_Cmd.Cmd_Missing.OR(AND(APVin_1.Cmd_Missing; APVin_2.Cmd_Missing); AND(APVin_1.Cmd_Missing; APVin_3.Cmd_Missing); AND(APVin_2.Cmd_Missing; APVin_3.Cmd_Missing); APV_Pwr.Power_Lost)
        OIM VotedAP_Cmd.Cmd_Biased.OR(AND(APVin_1.Cmd_Biased; APVin_2.Cmd_Biased); AND(APVin_1.Cmd_Biased; APVin_3.Cmd_Biased); AND(APVin_2.Cmd_Biased; APVin_3.Cmd_Biased))
    END FUNCTION


    // ─────────────── Flare / Rollout / AutoBrake ───────────────

    FUNCTION FlareLaw_Computer
        INPUT  FLCin_Height
        INPUT  FLCin_AP
        INPUT  FLCin_Pwr
        OUTPUT FlareCmd_Out
        OIM FlareCmd_Out.FlareCmd_Late.OR(FLCin_Height.RadAlt_OverReading; FLCin_AP.Cmd_Biased)
        OIM FlareCmd_Out.FlareCmd_Early.OR(FLCin_Height.RadAlt_UnderReading; FLCin_AP.Cmd_Biased)
        OIM FlareCmd_Out.FlareCmd_Missing.OR(FLCin_Height.Data_Lost; FLCin_AP.Cmd_Missing; FLCin_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION RolloutLaw_Computer
        INPUT  RLCin_LOC
        INPUT  RLCin_AP
        INPUT  RLCin_Pwr
        OUTPUT RolloutCmd_Out
        OIM RolloutCmd_Out.RolloutCmd_Biased.OR(RLCin_LOC.LOC_Deviation_Biased; RLCin_AP.Cmd_Biased)
        OIM RolloutCmd_Out.RolloutCmd_Missing.OR(RLCin_LOC.Data_Lost; RLCin_AP.Cmd_Missing; RLCin_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION AutoBrake_Controller
        INPUT  ABin_Rollout
        INPUT  ABin_Pwr
        OUTPUT AutoBrake_Cmd_Out
        OIM AutoBrake_Cmd_Out.Cmd_Missing.OR(ABin_Rollout.RolloutCmd_Missing; ABin_Pwr.Power_Lost)
        OIM AutoBrake_Cmd_Out.Cmd_Biased.ABin_Rollout.RolloutCmd_Biased
    END FUNCTION

    FUNCTION YawDamper_Channel_1
        INPUT  YD1_Inert
        INPUT  YD1_Pwr
        OUTPUT YawDamp_1
        OIM YawDamp_1.Cmd_Missing.OR(YD1_Inert.Data_Lost; YD1_Pwr.Power_Lost)
        OIM YawDamp_1.Cmd_Biased.OR(YD1_Inert.Data_Biased; YD1_Inert.Data_Drift)
    END FUNCTION

    FUNCTION YawDamper_Channel_2
        INPUT  YD2_Inert
        INPUT  YD2_Pwr
        OUTPUT YawDamp_2
        OIM YawDamp_2.Cmd_Missing.OR(YD2_Inert.Data_Lost; YD2_Pwr.Power_Lost)
        OIM YawDamp_2.Cmd_Biased.OR(YD2_Inert.Data_Biased; YD2_Inert.Data_Drift)
    END FUNCTION

    FUNCTION RudderControl_Autoland
        INPUT  RCAin_Rollout
        INPUT  RCAin_YD1
        INPUT  RCAin_YD2
        INPUT  RCAin_Pwr
        OUTPUT RudderCtrl_Out
        OIM RudderCtrl_Out.Cmd_Biased.OR(RCAin_Rollout.RolloutCmd_Biased; AND(RCAin_YD1.Cmd_Biased; RCAin_YD2.Cmd_Biased))
        OIM RudderCtrl_Out.Cmd_Missing.OR(RCAin_Rollout.RolloutCmd_Missing; AND(RCAin_YD1.Cmd_Missing; RCAin_YD2.Cmd_Missing); RCAin_Pwr.Power_Lost)
    END FUNCTION


    // ─────────────── Autothrottle ───────────────

    FUNCTION AutoThrottle_Channel_A
        INPUT  ATAin_Air
        INPUT  ATAin_AP
        INPUT  ATAin_Pwr
        OUTPUT ATA_Out
        OIM ATA_Out.Cmd_Biased.OR(ATAin_Air.Data_Biased; ATAin_AP.Cmd_Biased)
        OIM ATA_Out.Cmd_Missing.OR(ATAin_Air.Data_Lost; ATAin_AP.Cmd_Missing; ATAin_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION AutoThrottle_Channel_B
        INPUT  ATBin_Air
        INPUT  ATBin_AP
        INPUT  ATBin_Pwr
        OUTPUT ATB_Out
        OIM ATB_Out.Cmd_Biased.OR(ATBin_Air.Data_Biased; ATBin_AP.Cmd_Biased)
        OIM ATB_Out.Cmd_Missing.OR(ATBin_Air.Data_Lost; ATBin_AP.Cmd_Missing; ATBin_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION AT_Voter
        INPUT  ATVin_A
        INPUT  ATVin_B
        INPUT  ATV_Pwr
        OUTPUT VotedAT_Cmd
        OIM VotedAT_Cmd.Cmd_Biased.AND(ATVin_A.Cmd_Biased; ATVin_B.Cmd_Biased)
        OIM VotedAT_Cmd.Cmd_Missing.OR(AND(ATVin_A.Cmd_Missing; ATVin_B.Cmd_Missing); ATV_Pwr.Power_Lost)
    END FUNCTION

    FUNCTION RETARD_Logic
        INPUT  RETin_Height
        INPUT  RETin_AT
        INPUT  RETin_Pwr
        OUTPUT RETARD_Cmd
        OIM RETARD_Cmd.Cmd_Missing.OR(RETin_Height.Data_Lost; RETin_AT.Cmd_Missing; RETin_Pwr.Power_Lost)
        OIM RETARD_Cmd.Cmd_Biased.OR(RETin_Height.RadAlt_OverReading; RETin_Height.RadAlt_UnderReading; RETin_AT.Cmd_Biased)
    END FUNCTION


    // ─────────────── Flight control actuation interface ───────────────

    FUNCTION ElevatorCommand_Interface
        INPUT  ECIin_FCC
        INPUT  ECIin_Flare
        INPUT  ECIin_Bus
        OUTPUT ElevCmd_Iface_Out
        OIM ElevCmd_Iface_Out.Cmd_Biased.OR(ECIin_FCC.Cmd_Biased; ECIin_Flare.FlareCmd_Late; ECIin_Flare.FlareCmd_Early; ECIin_Bus.Bus_Stuck)
        OIM ElevCmd_Iface_Out.Cmd_Missing.OR(ECIin_FCC.Cmd_Missing; ECIin_Flare.FlareCmd_Missing; ECIin_Bus.Bus_Silent)
    END FUNCTION

    FUNCTION AileronCommand_Interface
        INPUT  ACIin_FCC
        INPUT  ACIin_Bus
        OUTPUT AilCmd_Iface_Out
        OIM AilCmd_Iface_Out.Cmd_Biased.OR(ACIin_FCC.Cmd_Biased; ACIin_Bus.Bus_Stuck)
        OIM AilCmd_Iface_Out.Cmd_Missing.OR(ACIin_FCC.Cmd_Missing; ACIin_Bus.Bus_Silent)
    END FUNCTION

    FUNCTION RudderCommand_Interface
        INPUT  RCIin_Rudder
        INPUT  RCIin_Bus
        OUTPUT RudCmd_Iface_Out
        OIM RudCmd_Iface_Out.Cmd_Biased.OR(RCIin_Rudder.Cmd_Biased; RCIin_Bus.Bus_Stuck)
        OIM RudCmd_Iface_Out.Cmd_Missing.OR(RCIin_Rudder.Cmd_Missing; RCIin_Bus.Bus_Silent)
    END FUNCTION

    FUNCTION Spoiler_GroundDeploy_Interface
        INPUT  SGDin_Rollout
        INPUT  SGDin_Height
        INPUT  SGDin_Bus
        OUTPUT SplCmd_Iface_Out
        OIM SplCmd_Iface_Out.Cmd_Biased.OR(SGDin_Rollout.RolloutCmd_Biased; SGDin_Height.RadAlt_OverReading; SGDin_Bus.Bus_Stuck)
        OIM SplCmd_Iface_Out.Cmd_Missing.OR(SGDin_Rollout.RolloutCmd_Missing; SGDin_Height.Data_Lost; SGDin_Bus.Bus_Silent)
    END FUNCTION

    FUNCTION Thrust_ReducedGo_Interface
        INPUT  TRGin_AT
        INPUT  TRGin_RET
        INPUT  TRGin_Bus
        OUTPUT ThrCmd_Iface_Out
        OIM ThrCmd_Iface_Out.Cmd_Biased.OR(TRGin_AT.Cmd_Biased; TRGin_RET.Cmd_Biased; TRGin_Bus.Bus_Stuck)
        OIM ThrCmd_Iface_Out.Cmd_Missing.OR(TRGin_AT.Cmd_Missing; TRGin_RET.Cmd_Missing; TRGin_Bus.Bus_Silent)
    END FUNCTION


    // ─────────────── Crew & indication ───────────────

    FUNCTION FMA_Display_Primary
        INPUT  FMAPin_Status
        INPUT  FMAPin_Pwr
        OUTPUT FMA_Prim_Out
        OIM FMA_Prim_Out.Cmd_Missing.OR(FMAPin_Status.Cmd_Missing; FMAPin_Pwr.Power_Lost)
        OIM FMA_Prim_Out.Cmd_Biased.FMAPin_Status.Cmd_Biased
    END FUNCTION

    FUNCTION FMA_Display_Copilot
        INPUT  FMACin_Status
        INPUT  FMACin_Pwr
        OUTPUT FMA_Cop_Out
        OIM FMA_Cop_Out.Cmd_Missing.OR(FMACin_Status.Cmd_Missing; FMACin_Pwr.Power_Lost)
        OIM FMA_Cop_Out.Cmd_Biased.FMACin_Status.Cmd_Biased
    END FUNCTION

    FUNCTION MasterWarning_Interface
        INPUT  MWIin_WD
        INPUT  MWIin_AD
        INPUT  MWIin_ILS
        INPUT  MWIin_Pwr
        OUTPUT MW_Out
        OIM MW_Out.Cmd_Missing.OR(AND(MWIin_WD.ChannelDisagreement; MWIin_AD.ChannelDisagreement); MWIin_Pwr.Power_Lost)
        OIM MW_Out.Cmd_Biased.OR(MWIin_WD.ChannelDisagreement; MWIin_AD.ChannelDisagreement; MWIin_ILS.ChannelDisagreement)
    END FUNCTION

    FUNCTION Autoland_Status_Logic
        INPUT  ASLin_FCC
        INPUT  ASLin_AP
        INPUT  ASLin_WD
        INPUT  ASLin_Pwr
        OUTPUT Autoland_Status_Out
        OIM Autoland_Status_Out.Cmd_Missing.OR(ASLin_FCC.Cmd_Missing; ASLin_AP.Cmd_Missing; ASLin_Pwr.Power_Lost)
        OIM Autoland_Status_Out.Cmd_Biased.OR(ASLin_FCC.Cmd_Biased; ASLin_AP.Cmd_Biased; ASLin_WD.ChannelDisagreement)
    END FUNCTION


    // ─────────────── Signal flow (INT) ───────────────

    // Power distribution
    INT ifGen1_AC1.Autoland.IN.GenPower_1.PowerBus_AC1.IN.GenIn_1
    INT ifGen2_AC2.Autoland.IN.GenPower_2.PowerBus_AC2.IN.GenIn_2
    INT ifGen1_ACEss.Autoland.IN.GenPower_1.PowerBus_ACEssential.IN.GenIn_Ess
    INT ifAPU_ACEss.Autoland.IN.APU_Gen.PowerBus_ACEssential.IN.APUIn_Ess
    INT ifAC1_DC1.PowerBus_AC1.OUT.AC1_Out.PowerBus_DC1.IN.ACIn_DC1
    INT ifAC2_DC2.PowerBus_AC2.OUT.AC2_Out.PowerBus_DC2.IN.ACIn_DC2
    INT ifBat_DCHot.Autoland.IN.HotBattery.PowerBus_DC_HotBattery.IN.BatIn_Hot

    // ADIRU power
    INT ifPwrADIRU_A.PowerBus_AC1.OUT.AC1_Out.ADIRU_A.IN.PwrIn_ADIRU_A
    INT ifPwrADIRU_B.PowerBus_AC2.OUT.AC2_Out.ADIRU_B.IN.PwrIn_ADIRU_B
    INT ifPwrADIRU_C.PowerBus_ACEssential.OUT.ACEss_Out.ADIRU_C.IN.PwrIn_ADIRU_C

    // IRS / ADC raw to ADIRU
    INT ifIRS_A.Autoland.IN.IRS_Raw_A.ADIRU_A.IN.IRSIn_A
    INT ifIRS_B.Autoland.IN.IRS_Raw_B.ADIRU_B.IN.IRSIn_B
    INT ifIRS_C.Autoland.IN.IRS_Raw_C.ADIRU_C.IN.IRSIn_C
    INT ifADC_A.Autoland.IN.AirData_Raw_A.ADIRU_A.IN.ADCIn_A
    INT ifADC_B.Autoland.IN.AirData_Raw_B.ADIRU_B.IN.ADCIn_B
    INT ifADC_C.Autoland.IN.AirData_Raw_C.ADIRU_C.IN.ADCIn_C

    // Air data monitor
    INT ifADMonA.ADIRU_A.OUT.AirData_A.AirData_Monitor.IN.ADMon_A
    INT ifADMonB.ADIRU_B.OUT.AirData_B.AirData_Monitor.IN.ADMon_B
    INT ifADMonC.ADIRU_C.OUT.AirData_C.AirData_Monitor.IN.ADMon_C

    // LOC receivers
    INT ifLOCRaw_1.Autoland.IN.LOC_RF_Signal.LOC_Receiver_1.IN.LOCIn_1
    INT ifLOCRaw_2.Autoland.IN.LOC_RF_Signal.LOC_Receiver_2.IN.LOCIn_2
    INT ifLOCRaw_3.Autoland.IN.LOC_RF_Signal.LOC_Receiver_3.IN.LOCIn_3
    INT ifPwrLOC_1.PowerBus_AC1.OUT.AC1_Out.LOC_Receiver_1.IN.PwrIn_LOC_1
    INT ifPwrLOC_2.PowerBus_AC2.OUT.AC2_Out.LOC_Receiver_2.IN.PwrIn_LOC_2
    INT ifPwrLOC_3.PowerBus_ACEssential.OUT.ACEss_Out.LOC_Receiver_3.IN.PwrIn_LOC_3

    // GS receivers
    INT ifGSRaw_1.Autoland.IN.GS_RF_Signal.GS_Receiver_1.IN.GSIn_1
    INT ifGSRaw_2.Autoland.IN.GS_RF_Signal.GS_Receiver_2.IN.GSIn_2
    INT ifGSRaw_3.Autoland.IN.GS_RF_Signal.GS_Receiver_3.IN.GSIn_3
    INT ifPwrGS_1.PowerBus_AC1.OUT.AC1_Out.GS_Receiver_1.IN.PwrIn_GS_1
    INT ifPwrGS_2.PowerBus_AC2.OUT.AC2_Out.GS_Receiver_2.IN.PwrIn_GS_2
    INT ifPwrGS_3.PowerBus_ACEssential.OUT.ACEss_Out.GS_Receiver_3.IN.PwrIn_GS_3

    // ILS consistency monitor
    INT ifILSMonLOC1.LOC_Receiver_1.OUT.LOC_Deviation_1.ILS_Consistency_Monitor.IN.MonLOC_1
    INT ifILSMonLOC2.LOC_Receiver_2.OUT.LOC_Deviation_2.ILS_Consistency_Monitor.IN.MonLOC_2
    INT ifILSMonLOC3.LOC_Receiver_3.OUT.LOC_Deviation_3.ILS_Consistency_Monitor.IN.MonLOC_3
    INT ifILSMonGS1.GS_Receiver_1.OUT.GS_Deviation_1.ILS_Consistency_Monitor.IN.MonGS_1
    INT ifILSMonGS2.GS_Receiver_2.OUT.GS_Deviation_2.ILS_Consistency_Monitor.IN.MonGS_2
    INT ifILSMonGS3.GS_Receiver_3.OUT.GS_Deviation_3.ILS_Consistency_Monitor.IN.MonGS_3

    // Radio altimeters
    INT ifRadRaw_1.Autoland.IN.RadarReturn_Ground_1.RadAlt_1.IN.RadIn_1
    INT ifRadRaw_2.Autoland.IN.RadarReturn_Ground_2.RadAlt_2.IN.RadIn_2
    INT ifRadRaw_3.Autoland.IN.RadarReturn_Ground_3.RadAlt_3.IN.RadIn_3
    INT ifPwrRadAlt_1.PowerBus_DC1.OUT.DC1_Out.RadAlt_1.IN.PwrIn_RadAlt_1
    INT ifPwrRadAlt_2.PowerBus_DC2.OUT.DC2_Out.RadAlt_2.IN.PwrIn_RadAlt_2
    INT ifPwrRadAlt_3.PowerBus_DC_HotBattery.OUT.DCHot_Out.RadAlt_3.IN.PwrIn_RadAlt_3
    INT ifRAV1.RadAlt_1.OUT.RadAlt_Height_1.RadAlt_Voter.IN.RAVin_1
    INT ifRAV2.RadAlt_2.OUT.RadAlt_Height_2.RadAlt_Voter.IN.RAVin_2
    INT ifRAV3.RadAlt_3.OUT.RadAlt_Height_3.RadAlt_Voter.IN.RAVin_3

    // Lane architecture — fed by ILS + ADIRU
    INT ifLACNav.LOC_Receiver_1.OUT.LOC_Deviation_1.LaneArchitecture_Command.IN.LACin_Nav
    INT ifLACAir.ADIRU_A.OUT.AirData_A.LaneArchitecture_Command.IN.LACin_Air
    INT ifLACInert.ADIRU_A.OUT.InertialData_A.LaneArchitecture_Command.IN.LACin_Inert
    INT ifLAMNav.GS_Receiver_1.OUT.GS_Deviation_1.LaneArchitecture_Monitor.IN.LAMin_Nav
    INT ifLAMAir.ADIRU_B.OUT.AirData_B.LaneArchitecture_Monitor.IN.LAMin_Air
    INT ifLAMInert.ADIRU_B.OUT.InertialData_B.LaneArchitecture_Monitor.IN.LAMin_Inert

    // FCC wiring
    INT ifFCC1_Cmd.LaneArchitecture_Command.OUT.CommandLane_Out.FCC_1.IN.FCC1_Cmd
    INT ifFCC1_Mon.LaneArchitecture_Monitor.OUT.MonitorLane_Out.FCC_1.IN.FCC1_Mon
    INT ifFCC1_Pwr.PowerBus_AC1.OUT.AC1_Out.FCC_1.IN.FCC1_Pwr
    INT ifFCC2_Cmd.LaneArchitecture_Command.OUT.CommandLane_Out.FCC_2.IN.FCC2_Cmd
    INT ifFCC2_Mon.LaneArchitecture_Monitor.OUT.MonitorLane_Out.FCC_2.IN.FCC2_Mon
    INT ifFCC2_Pwr.PowerBus_AC2.OUT.AC2_Out.FCC_2.IN.FCC2_Pwr
    INT ifFCC3_Cmd.LaneArchitecture_Command.OUT.CommandLane_Out.FCC_3.IN.FCC3_Cmd
    INT ifFCC3_Mon.LaneArchitecture_Monitor.OUT.MonitorLane_Out.FCC_3.IN.FCC3_Mon
    INT ifFCC3_Pwr.PowerBus_ACEssential.OUT.ACEss_Out.FCC_3.IN.FCC3_Pwr

    // FCC watchdog + voter
    INT ifWD_1.FCC_1.OUT.FCC1_Out.FCC_WatchDog.IN.WDin_1
    INT ifWD_2.FCC_2.OUT.FCC2_Out.FCC_WatchDog.IN.WDin_2
    INT ifWD_3.FCC_3.OUT.FCC3_Out.FCC_WatchDog.IN.WDin_3
    INT ifWD_Pwr.PowerBus_DC1.OUT.DC1_Out.FCC_WatchDog.IN.WDPwr
    INT ifFCCV_1.FCC_1.OUT.FCC1_Out.FCC_Voter.IN.FCCVin_1
    INT ifFCCV_2.FCC_2.OUT.FCC2_Out.FCC_Voter.IN.FCCVin_2
    INT ifFCCV_3.FCC_3.OUT.FCC3_Out.FCC_Voter.IN.FCCVin_3
    INT ifFCCV_WD.FCC_WatchDog.OUT.WatchDog_Status.FCC_Voter.IN.FCCV_WD
    INT ifFCCV_Pwr.PowerBus_ACEssential.OUT.ACEss_Out.FCC_Voter.IN.FCCV_Pwr

    // Autopilot engagement + channels
    INT ifAPEng_Pilot.Autoland.IN.PilotCommand_APModes.Autopilot_Engagement_Logic.IN.APEng_Pilot
    INT ifAPEng_FMC.Autoland.IN.FMC_FlightPlan.Autopilot_Engagement_Logic.IN.APEng_FMC
    INT ifAPEng_Pwr.PowerBus_DC1.OUT.DC1_Out.Autopilot_Engagement_Logic.IN.APEng_Pwr
    INT ifAPCh1_FCC.FCC_Voter.OUT.VotedFCC_Cmd.AutopilotChannel_1.IN.APCh1_FCC
    INT ifAPCh1_Eng.Autopilot_Engagement_Logic.OUT.APEngage_Cmd.AutopilotChannel_1.IN.APCh1_Eng
    INT ifAPCh1_Pwr.PowerBus_AC1.OUT.AC1_Out.AutopilotChannel_1.IN.APCh1_Pwr
    INT ifAPCh2_FCC.FCC_Voter.OUT.VotedFCC_Cmd.AutopilotChannel_2.IN.APCh2_FCC
    INT ifAPCh2_Eng.Autopilot_Engagement_Logic.OUT.APEngage_Cmd.AutopilotChannel_2.IN.APCh2_Eng
    INT ifAPCh2_Pwr.PowerBus_AC2.OUT.AC2_Out.AutopilotChannel_2.IN.APCh2_Pwr
    INT ifAPCh3_FCC.FCC_Voter.OUT.VotedFCC_Cmd.AutopilotChannel_3.IN.APCh3_FCC
    INT ifAPCh3_Eng.Autopilot_Engagement_Logic.OUT.APEngage_Cmd.AutopilotChannel_3.IN.APCh3_Eng
    INT ifAPCh3_Pwr.PowerBus_ACEssential.OUT.ACEss_Out.AutopilotChannel_3.IN.APCh3_Pwr
    INT ifAPV_1.AutopilotChannel_1.OUT.APCh1_Out.Autopilot_Voter.IN.APVin_1
    INT ifAPV_2.AutopilotChannel_2.OUT.APCh2_Out.Autopilot_Voter.IN.APVin_2
    INT ifAPV_3.AutopilotChannel_3.OUT.APCh3_Out.Autopilot_Voter.IN.APVin_3
    INT ifAPV_Pwr.PowerBus_ACEssential.OUT.ACEss_Out.Autopilot_Voter.IN.APV_Pwr

    // Flare / Rollout / AutoBrake
    INT ifFLCHeight.RadAlt_Voter.OUT.VotedHeight.FlareLaw_Computer.IN.FLCin_Height
    INT ifFLCAP.Autopilot_Voter.OUT.VotedAP_Cmd.FlareLaw_Computer.IN.FLCin_AP
    INT ifFLCPwr.PowerBus_ACEssential.OUT.ACEss_Out.FlareLaw_Computer.IN.FLCin_Pwr
    INT ifRLCLOC.LOC_Receiver_2.OUT.LOC_Deviation_2.RolloutLaw_Computer.IN.RLCin_LOC
    INT ifRLCAP.Autopilot_Voter.OUT.VotedAP_Cmd.RolloutLaw_Computer.IN.RLCin_AP
    INT ifRLCPwr.PowerBus_ACEssential.OUT.ACEss_Out.RolloutLaw_Computer.IN.RLCin_Pwr
    INT ifABRollout.RolloutLaw_Computer.OUT.RolloutCmd_Out.AutoBrake_Controller.IN.ABin_Rollout
    INT ifABPwr.PowerBus_DC2.OUT.DC2_Out.AutoBrake_Controller.IN.ABin_Pwr

    // Yaw damper + rudder
    INT ifYD1_Inert.ADIRU_A.OUT.InertialData_A.YawDamper_Channel_1.IN.YD1_Inert
    INT ifYD1_Pwr.PowerBus_AC1.OUT.AC1_Out.YawDamper_Channel_1.IN.YD1_Pwr
    INT ifYD2_Inert.ADIRU_B.OUT.InertialData_B.YawDamper_Channel_2.IN.YD2_Inert
    INT ifYD2_Pwr.PowerBus_AC2.OUT.AC2_Out.YawDamper_Channel_2.IN.YD2_Pwr
    INT ifRCARoll.RolloutLaw_Computer.OUT.RolloutCmd_Out.RudderControl_Autoland.IN.RCAin_Rollout
    INT ifRCAYD1.YawDamper_Channel_1.OUT.YawDamp_1.RudderControl_Autoland.IN.RCAin_YD1
    INT ifRCAYD2.YawDamper_Channel_2.OUT.YawDamp_2.RudderControl_Autoland.IN.RCAin_YD2
    INT ifRCAPwr.PowerBus_ACEssential.OUT.ACEss_Out.RudderControl_Autoland.IN.RCAin_Pwr

    // Autothrottle
    INT ifATAAir.ADIRU_A.OUT.AirData_A.AutoThrottle_Channel_A.IN.ATAin_Air
    INT ifATAAP.Autopilot_Voter.OUT.VotedAP_Cmd.AutoThrottle_Channel_A.IN.ATAin_AP
    INT ifATAPwr.PowerBus_AC1.OUT.AC1_Out.AutoThrottle_Channel_A.IN.ATAin_Pwr
    INT ifATBAir.ADIRU_B.OUT.AirData_B.AutoThrottle_Channel_B.IN.ATBin_Air
    INT ifATBAP.Autopilot_Voter.OUT.VotedAP_Cmd.AutoThrottle_Channel_B.IN.ATBin_AP
    INT ifATBPwr.PowerBus_AC2.OUT.AC2_Out.AutoThrottle_Channel_B.IN.ATBin_Pwr
    INT ifATV_A.AutoThrottle_Channel_A.OUT.ATA_Out.AT_Voter.IN.ATVin_A
    INT ifATV_B.AutoThrottle_Channel_B.OUT.ATB_Out.AT_Voter.IN.ATVin_B
    INT ifATV_Pwr.PowerBus_ACEssential.OUT.ACEss_Out.AT_Voter.IN.ATV_Pwr
    INT ifRETHeight.RadAlt_Voter.OUT.VotedHeight.RETARD_Logic.IN.RETin_Height
    INT ifRETAT.AT_Voter.OUT.VotedAT_Cmd.RETARD_Logic.IN.RETin_AT
    INT ifRETPwr.PowerBus_ACEssential.OUT.ACEss_Out.RETARD_Logic.IN.RETin_Pwr

    // Command interfaces to FCS
    INT ifECI_FCC.FCC_Voter.OUT.VotedFCC_Cmd.ElevatorCommand_Interface.IN.ECIin_FCC
    INT ifECI_Flare.FlareLaw_Computer.OUT.FlareCmd_Out.ElevatorCommand_Interface.IN.ECIin_Flare
    INT ifECI_Bus.Autoland.IN.ARINC429_Bus_A.ElevatorCommand_Interface.IN.ECIin_Bus
    INT ifACI_FCC.FCC_Voter.OUT.VotedFCC_Cmd.AileronCommand_Interface.IN.ACIin_FCC
    INT ifACI_Bus.Autoland.IN.ARINC429_Bus_B.AileronCommand_Interface.IN.ACIin_Bus
    INT ifRCI_Rud.RudderControl_Autoland.OUT.RudderCtrl_Out.RudderCommand_Interface.IN.RCIin_Rudder
    INT ifRCI_Bus.Autoland.IN.ARINC664_AFDX.RudderCommand_Interface.IN.RCIin_Bus
    INT ifSGD_Roll.RolloutLaw_Computer.OUT.RolloutCmd_Out.Spoiler_GroundDeploy_Interface.IN.SGDin_Rollout
    INT ifSGD_Height.RadAlt_Voter.OUT.VotedHeight.Spoiler_GroundDeploy_Interface.IN.SGDin_Height
    INT ifSGD_Bus.Autoland.IN.ARINC429_Bus_A.Spoiler_GroundDeploy_Interface.IN.SGDin_Bus
    INT ifTRG_AT.AT_Voter.OUT.VotedAT_Cmd.Thrust_ReducedGo_Interface.IN.TRGin_AT
    INT ifTRG_RET.RETARD_Logic.OUT.RETARD_Cmd.Thrust_ReducedGo_Interface.IN.TRGin_RET
    INT ifTRG_Bus.Autoland.IN.ARINC664_AFDX.Thrust_ReducedGo_Interface.IN.TRGin_Bus

    // Crew & indication
    INT ifFMAP_Stat.Autoland_Status_Logic.OUT.Autoland_Status_Out.FMA_Display_Primary.IN.FMAPin_Status
    INT ifFMAP_Pwr.PowerBus_AC1.OUT.AC1_Out.FMA_Display_Primary.IN.FMAPin_Pwr
    INT ifFMAC_Stat.Autoland_Status_Logic.OUT.Autoland_Status_Out.FMA_Display_Copilot.IN.FMACin_Status
    INT ifFMAC_Pwr.PowerBus_AC2.OUT.AC2_Out.FMA_Display_Copilot.IN.FMACin_Pwr
    INT ifMWI_WD.FCC_WatchDog.OUT.WatchDog_Status.MasterWarning_Interface.IN.MWIin_WD
    INT ifMWI_AD.AirData_Monitor.OUT.AirDataConsistency.MasterWarning_Interface.IN.MWIin_AD
    INT ifMWI_ILS.ILS_Consistency_Monitor.OUT.ILS_Consistency_Status.MasterWarning_Interface.IN.MWIin_ILS
    INT ifMWI_Pwr.PowerBus_DC_HotBattery.OUT.DCHot_Out.MasterWarning_Interface.IN.MWIin_Pwr
    INT ifASL_FCC.FCC_Voter.OUT.VotedFCC_Cmd.Autoland_Status_Logic.IN.ASLin_FCC
    INT ifASL_AP.Autopilot_Voter.OUT.VotedAP_Cmd.Autoland_Status_Logic.IN.ASLin_AP
    INT ifASL_WD.FCC_WatchDog.OUT.WatchDog_Status.Autoland_Status_Logic.IN.ASLin_WD
    INT ifASL_Pwr.PowerBus_DC_HotBattery.OUT.DCHot_Out.Autoland_Status_Logic.IN.ASLin_Pwr

    // Top-level outputs
    INT ifOutElev.ElevatorCommand_Interface.OUT.ElevCmd_Iface_Out.Autoland.OUT.ElevatorCmd_Autoland
    INT ifOutAil.AileronCommand_Interface.OUT.AilCmd_Iface_Out.Autoland.OUT.AileronCmd_Autoland
    INT ifOutRud.RudderCommand_Interface.OUT.RudCmd_Iface_Out.Autoland.OUT.RudderCmd_Autoland
    INT ifOutSpl.Spoiler_GroundDeploy_Interface.OUT.SplCmd_Iface_Out.Autoland.OUT.SpoilerCmd_Autoland
    INT ifOutThr.Thrust_ReducedGo_Interface.OUT.ThrCmd_Iface_Out.Autoland.OUT.ThrottleCmd_Autoland
    INT ifOutAB.AutoBrake_Controller.OUT.AutoBrake_Cmd_Out.Autoland.OUT.AutoBrake_Cmd
    INT ifOutFMAP.FMA_Display_Primary.OUT.FMA_Prim_Out.Autoland.OUT.FMA_Annunciate_Primary
    INT ifOutFMAC.FMA_Display_Copilot.OUT.FMA_Cop_Out.Autoland.OUT.FMA_Annunciate_Copilot
    INT ifOutMW.MasterWarning_Interface.OUT.MW_Out.Autoland.OUT.MasterWarning_Out
    INT ifOutStatus.Autoland_Status_Logic.OUT.Autoland_Status_Out.Autoland.OUT.Autoland_Engagement_Status


    // ─────────────── Top Level Event ───────────────
    TLE HardLandingOrRunwayExcursion.OR(ElevatorCmd_Autoland.Cmd_Biased; ElevatorCmd_Autoland.Cmd_Missing; AileronCmd_Autoland.Cmd_Biased; AileronCmd_Autoland.Cmd_Missing; RudderCmd_Autoland.Cmd_Biased; RudderCmd_Autoland.Cmd_Missing; SpoilerCmd_Autoland.Cmd_Missing; ThrottleCmd_Autoland.Cmd_Biased; ThrottleCmd_Autoland.Cmd_Missing; AutoBrake_Cmd.Cmd_Missing)

END FUNCTION


// ============================================================
// Fault rates
// ISF: normal(1e-6,   sigma=2.5e-7), clamp [3e-7, 2e-6]
// SF:  normal(2.5e-7, sigma=1.375e-7), clamp [5e-8, 5e-7]
// TF:  normal(5e-8,   sigma=1.5e-8), clamp [1e-8, 1e-7]
// ============================================================

// ─── ISF (external inputs without incoming INT) ───
ISF Autoland.LOC_RF_Signal.Data_Invalid                          1.1734e-06
ISF Autoland.LOC_RF_Signal.Data_Frozen                           8.2107e-07
ISF Autoland.LOC_RF_Signal.Data_Biased                           1.0412e-06
ISF Autoland.LOC_RF_Signal.Data_Drift                            9.3589e-07
ISF Autoland.LOC_RF_Signal.Data_Lost                             1.2815e-06
ISF Autoland.GS_RF_Signal.Data_Invalid                           1.0098e-06
ISF Autoland.GS_RF_Signal.Data_Frozen                            8.6712e-07
ISF Autoland.GS_RF_Signal.Data_Biased                            1.1519e-06
ISF Autoland.GS_RF_Signal.Data_Drift                             9.7634e-07
ISF Autoland.GS_RF_Signal.Data_Lost                              1.3427e-06
ISF Autoland.RadarReturn_Ground_1.Data_Invalid                   1.0863e-06
ISF Autoland.RadarReturn_Ground_1.Data_Biased                    7.8342e-07
ISF Autoland.RadarReturn_Ground_1.Data_Drift                     9.1157e-07
ISF Autoland.RadarReturn_Ground_1.Data_Lost                      1.2264e-06
ISF Autoland.RadarReturn_Ground_2.Data_Invalid                   1.1291e-06
ISF Autoland.RadarReturn_Ground_2.Data_Biased                    8.4419e-07
ISF Autoland.RadarReturn_Ground_2.Data_Drift                     9.8276e-07
ISF Autoland.RadarReturn_Ground_2.Data_Lost                      1.3115e-06
ISF Autoland.RadarReturn_Ground_3.Data_Invalid                   1.0553e-06
ISF Autoland.RadarReturn_Ground_3.Data_Biased                    8.1098e-07
ISF Autoland.RadarReturn_Ground_3.Data_Drift                     9.4417e-07
ISF Autoland.RadarReturn_Ground_3.Data_Lost                      1.1982e-06
ISF Autoland.IRS_Raw_A.Data_Invalid                              1.1047e-06
ISF Autoland.IRS_Raw_A.Data_Frozen                               7.6515e-07
ISF Autoland.IRS_Raw_A.Data_Biased                               8.9623e-07
ISF Autoland.IRS_Raw_A.Data_Drift                                1.0334e-06
ISF Autoland.IRS_Raw_A.Data_Lost                                 1.2789e-06
ISF Autoland.IRS_Raw_B.Data_Invalid                              9.4712e-07
ISF Autoland.IRS_Raw_B.Data_Frozen                               8.1128e-07
ISF Autoland.IRS_Raw_B.Data_Biased                               1.0056e-06
ISF Autoland.IRS_Raw_B.Data_Drift                                1.1187e-06
ISF Autoland.IRS_Raw_B.Data_Lost                                 1.3365e-06
ISF Autoland.IRS_Raw_C.Data_Invalid                              1.0715e-06
ISF Autoland.IRS_Raw_C.Data_Frozen                               7.3912e-07
ISF Autoland.IRS_Raw_C.Data_Biased                               9.2451e-07
ISF Autoland.IRS_Raw_C.Data_Drift                                1.0587e-06
ISF Autoland.IRS_Raw_C.Data_Lost                                 1.1818e-06
ISF Autoland.AirData_Raw_A.Data_Invalid                          1.0211e-06
ISF Autoland.AirData_Raw_A.Data_Frozen                           8.6732e-07
ISF Autoland.AirData_Raw_A.Data_Biased                           9.9514e-07
ISF Autoland.AirData_Raw_A.Data_Lost                             1.2483e-06
ISF Autoland.AirData_Raw_B.Data_Invalid                          1.0898e-06
ISF Autoland.AirData_Raw_B.Data_Frozen                           9.1224e-07
ISF Autoland.AirData_Raw_B.Data_Biased                           1.0418e-06
ISF Autoland.AirData_Raw_B.Data_Lost                             1.3042e-06
ISF Autoland.AirData_Raw_C.Data_Invalid                          9.7318e-07
ISF Autoland.AirData_Raw_C.Data_Frozen                           8.2559e-07
ISF Autoland.AirData_Raw_C.Data_Biased                           1.0756e-06
ISF Autoland.AirData_Raw_C.Data_Lost                             1.1977e-06
ISF Autoland.FMC_FlightPlan.Data_Biased                          9.8437e-07
ISF Autoland.FMC_FlightPlan.Data_Lost                            1.2108e-06
ISF Autoland.PilotCommand_APModes.Cmd_Missing                    1.0515e-06
ISF Autoland.PilotCommand_APModes.Cmd_Biased                     8.9742e-07
ISF Autoland.ARINC429_Bus_A.Bus_Silent                           9.7215e-07
ISF Autoland.ARINC429_Bus_A.Bus_Stuck                            1.1034e-06
ISF Autoland.ARINC429_Bus_B.Bus_Silent                           9.8516e-07
ISF Autoland.ARINC429_Bus_B.Bus_Stuck                            1.0612e-06
ISF Autoland.ARINC664_AFDX.Bus_Silent                            1.1475e-06
ISF Autoland.ARINC664_AFDX.Bus_Stuck                             8.8312e-07
ISF Autoland.GenPower_1.Power_Lost                               1.0937e-06
ISF Autoland.GenPower_2.Power_Lost                               9.5172e-07
ISF Autoland.APU_Gen.Power_Lost                                  1.1512e-06
ISF Autoland.HotBattery.Power_Lost                               7.6519e-07
ISF Autoland.WindShear_Detect.Data_Invalid                       9.4215e-07
ISF Autoland.WeatherRadar.Data_Invalid                           1.0118e-06

// ─── SF (internal systemic fault rates) ───
SF PowerBus_AC1.AC1_Out.Power_Lost                               2.8512e-07
SF PowerBus_AC2.AC2_Out.Power_Lost                               3.1247e-07
SF PowerBus_ACEssential.ACEss_Out.Power_Lost                     1.9821e-07
SF PowerBus_DC1.DC1_Out.Power_Lost                               2.4117e-07
SF PowerBus_DC2.DC2_Out.Power_Lost                               2.6715e-07
SF PowerBus_DC_HotBattery.DCHot_Out.Power_Lost                   1.5412e-07
SF ADIRU_A.InertialData_A.Data_Invalid                           2.7918e-07
SF ADIRU_A.InertialData_A.Data_Drift                             3.2114e-07
SF ADIRU_A.AirData_A.Data_Biased                                 2.1522e-07
SF ADIRU_B.InertialData_B.Data_Invalid                           2.9612e-07
SF ADIRU_B.InertialData_B.Data_Drift                             3.4517e-07
SF ADIRU_B.AirData_B.Data_Biased                                 2.2934e-07
SF ADIRU_C.InertialData_C.Data_Invalid                           2.5431e-07
SF ADIRU_C.InertialData_C.Data_Drift                             3.0118e-07
SF ADIRU_C.AirData_C.Data_Biased                                 2.0715e-07
SF AirData_Monitor.AirDataConsistency.ChannelDisagreement        1.7412e-07
SF LOC_Receiver_1.LOC_Deviation_1.LOC_Deviation_Biased           2.3812e-07
SF LOC_Receiver_2.LOC_Deviation_2.LOC_Deviation_Biased           2.5247e-07
SF LOC_Receiver_3.LOC_Deviation_3.LOC_Deviation_Biased           2.1917e-07
SF GS_Receiver_1.GS_Deviation_1.GS_Deviation_Biased              2.4418e-07
SF GS_Receiver_2.GS_Deviation_2.GS_Deviation_Biased              2.6012e-07
SF GS_Receiver_3.GS_Deviation_3.GS_Deviation_Biased              2.2517e-07
SF ILS_Consistency_Monitor.ILS_Consistency_Status.ChannelDisagreement 1.8214e-07
SF RadAlt_1.RadAlt_Height_1.RadAlt_UnderReading                  2.1115e-07
SF RadAlt_1.RadAlt_Height_1.RadAlt_OverReading                   1.9816e-07
SF RadAlt_2.RadAlt_Height_2.RadAlt_UnderReading                  2.2812e-07
SF RadAlt_2.RadAlt_Height_2.RadAlt_OverReading                   2.0514e-07
SF RadAlt_3.RadAlt_Height_3.RadAlt_UnderReading                  2.0214e-07
SF RadAlt_3.RadAlt_Height_3.RadAlt_OverReading                   1.8712e-07
SF RadAlt_Voter.VotedHeight.RadAlt_UnderReading                  1.6512e-07
SF LaneArchitecture_Command.CommandLane_Out.Cmd_Biased           2.6718e-07
SF LaneArchitecture_Command.CommandLane_Out.Cmd_Missing          2.4212e-07
SF LaneArchitecture_Monitor.MonitorLane_Out.LaneDisagreement     2.1918e-07
SF FCC_1.FCC1_Out.Cmd_Biased                                     3.1115e-07
SF FCC_1.FCC1_Out.Cmd_Missing                                    2.7315e-07
SF FCC_2.FCC2_Out.Cmd_Biased                                     3.2718e-07
SF FCC_2.FCC2_Out.Cmd_Missing                                    2.8412e-07
SF FCC_3.FCC3_Out.Cmd_Biased                                     2.9315e-07
SF FCC_3.FCC3_Out.Cmd_Missing                                    2.6612e-07
SF FCC_WatchDog.WatchDog_Status.ChannelDisagreement               2.0512e-07
SF FCC_Voter.VotedFCC_Cmd.Cmd_Biased                             2.4715e-07
SF FCC_Voter.VotedFCC_Cmd.Cmd_Missing                            2.2818e-07
SF Autopilot_Engagement_Logic.APEngage_Cmd.Cmd_Missing           2.3612e-07
SF AutopilotChannel_1.APCh1_Out.Cmd_Missing                      2.8215e-07
SF AutopilotChannel_1.APCh1_Out.Cmd_Biased                       2.5712e-07
SF AutopilotChannel_2.APCh2_Out.Cmd_Missing                      2.9318e-07
SF AutopilotChannel_2.APCh2_Out.Cmd_Biased                       2.6412e-07
SF AutopilotChannel_3.APCh3_Out.Cmd_Missing                      2.7115e-07
SF AutopilotChannel_3.APCh3_Out.Cmd_Biased                       2.4512e-07
SF Autopilot_Voter.VotedAP_Cmd.Cmd_Missing                       2.1415e-07
SF Autopilot_Voter.VotedAP_Cmd.Cmd_Biased                        1.9812e-07
SF FlareLaw_Computer.FlareCmd_Out.FlareCmd_Late                  2.6915e-07
SF FlareLaw_Computer.FlareCmd_Out.FlareCmd_Early                 2.4412e-07
SF FlareLaw_Computer.FlareCmd_Out.FlareCmd_Missing                2.8512e-07
SF RolloutLaw_Computer.RolloutCmd_Out.RolloutCmd_Biased          2.5312e-07
SF RolloutLaw_Computer.RolloutCmd_Out.RolloutCmd_Missing         2.7715e-07
SF AutoBrake_Controller.AutoBrake_Cmd_Out.Cmd_Missing            2.2414e-07
SF AutoBrake_Controller.AutoBrake_Cmd_Out.Cmd_Biased             2.0112e-07
SF YawDamper_Channel_1.YawDamp_1.Cmd_Missing                     2.3115e-07
SF YawDamper_Channel_1.YawDamp_1.Cmd_Biased                      2.0812e-07
SF YawDamper_Channel_2.YawDamp_2.Cmd_Missing                     2.4517e-07
SF YawDamper_Channel_2.YawDamp_2.Cmd_Biased                      2.1712e-07
SF RudderControl_Autoland.RudderCtrl_Out.Cmd_Biased              2.6112e-07
SF RudderControl_Autoland.RudderCtrl_Out.Cmd_Missing             2.3718e-07
SF AutoThrottle_Channel_A.ATA_Out.Cmd_Biased                     2.5415e-07
SF AutoThrottle_Channel_A.ATA_Out.Cmd_Missing                    2.2915e-07
SF AutoThrottle_Channel_B.ATB_Out.Cmd_Biased                     2.6712e-07
SF AutoThrottle_Channel_B.ATB_Out.Cmd_Missing                    2.4112e-07
SF AT_Voter.VotedAT_Cmd.Cmd_Biased                               2.0215e-07
SF AT_Voter.VotedAT_Cmd.Cmd_Missing                              1.8815e-07
SF RETARD_Logic.RETARD_Cmd.Cmd_Missing                           2.1518e-07
SF RETARD_Logic.RETARD_Cmd.Cmd_Biased                            1.9715e-07
SF ElevatorCommand_Interface.ElevCmd_Iface_Out.Cmd_Biased        2.5812e-07
SF ElevatorCommand_Interface.ElevCmd_Iface_Out.Cmd_Missing       2.3112e-07
SF AileronCommand_Interface.AilCmd_Iface_Out.Cmd_Biased          2.6412e-07
SF AileronCommand_Interface.AilCmd_Iface_Out.Cmd_Missing         2.3615e-07
SF RudderCommand_Interface.RudCmd_Iface_Out.Cmd_Biased           2.5015e-07
SF RudderCommand_Interface.RudCmd_Iface_Out.Cmd_Missing          2.2415e-07
SF Spoiler_GroundDeploy_Interface.SplCmd_Iface_Out.Cmd_Biased    2.4612e-07
SF Spoiler_GroundDeploy_Interface.SplCmd_Iface_Out.Cmd_Missing   2.1812e-07
SF Thrust_ReducedGo_Interface.ThrCmd_Iface_Out.Cmd_Biased        2.5212e-07
SF Thrust_ReducedGo_Interface.ThrCmd_Iface_Out.Cmd_Missing       2.2712e-07
SF FMA_Display_Primary.FMA_Prim_Out.Cmd_Missing                  2.0512e-07
SF FMA_Display_Copilot.FMA_Cop_Out.Cmd_Missing                   2.1715e-07
SF MasterWarning_Interface.MW_Out.Cmd_Biased                     1.8812e-07
SF Autoland_Status_Logic.Autoland_Status_Out.Cmd_Biased          2.0815e-07
SF Autoland_Status_Logic.Autoland_Status_Out.Cmd_Missing         2.3015e-07

// ─── TF (signal transfer fault rates) ───
TF ifGen1_AC1.Power_Lost                                         5.1214e-08
TF ifGen2_AC2.Power_Lost                                         4.8512e-08
TF ifGen1_ACEss.Power_Lost                                       5.2214e-08
TF ifAPU_ACEss.Power_Lost                                        4.6917e-08
TF ifAC1_DC1.Power_Lost                                          5.3512e-08
TF ifAC2_DC2.Power_Lost                                          4.9815e-08
TF ifBat_DCHot.Power_Lost                                        4.7112e-08
TF ifPwrADIRU_A.Power_Lost                                       5.0612e-08
TF ifPwrADIRU_B.Power_Lost                                       5.2215e-08
TF ifPwrADIRU_C.Power_Lost                                       4.8114e-08
TF ifIRS_A.Data_Biased                                           5.1512e-08
TF ifIRS_A.Data_Drift                                            4.9815e-08
TF ifIRS_B.Data_Biased                                           5.2718e-08
TF ifIRS_B.Data_Drift                                            5.0412e-08
TF ifIRS_C.Data_Biased                                           4.8612e-08
TF ifIRS_C.Data_Drift                                            4.7115e-08
TF ifADC_A.Data_Biased                                           5.0815e-08
TF ifADC_B.Data_Biased                                           5.1918e-08
TF ifADC_C.Data_Biased                                           4.8312e-08
TF ifADMonA.Data_Biased                                          4.9512e-08
TF ifADMonB.Data_Biased                                          5.0715e-08
TF ifADMonC.Data_Biased                                          4.6812e-08
TF ifLOCRaw_1.Data_Biased                                        5.1317e-08
TF ifLOCRaw_2.Data_Biased                                        4.9215e-08
TF ifLOCRaw_3.Data_Biased                                        5.0512e-08
TF ifPwrLOC_1.Power_Lost                                         4.8812e-08
TF ifPwrLOC_2.Power_Lost                                         5.1712e-08
TF ifPwrLOC_3.Power_Lost                                         4.7512e-08
TF ifGSRaw_1.Data_Biased                                         5.0315e-08
TF ifGSRaw_2.Data_Biased                                         5.2012e-08
TF ifGSRaw_3.Data_Biased                                         4.9312e-08
TF ifPwrGS_1.Power_Lost                                          4.8315e-08
TF ifPwrGS_2.Power_Lost                                          5.2312e-08
TF ifPwrGS_3.Power_Lost                                          4.7812e-08
TF ifILSMonLOC1.LOC_Deviation_Biased                             5.1015e-08
TF ifILSMonLOC2.LOC_Deviation_Biased                             4.8712e-08
TF ifILSMonLOC3.LOC_Deviation_Biased                             5.0212e-08
TF ifILSMonGS1.GS_Deviation_Biased                               4.9612e-08
TF ifILSMonGS2.GS_Deviation_Biased                               5.1812e-08
TF ifILSMonGS3.GS_Deviation_Biased                               4.7912e-08
TF ifRadRaw_1.Data_Biased                                        5.2118e-08
TF ifRadRaw_2.Data_Biased                                        4.8912e-08
TF ifRadRaw_3.Data_Biased                                        5.0815e-08
TF ifPwrRadAlt_1.Power_Lost                                      4.7212e-08
TF ifPwrRadAlt_2.Power_Lost                                      5.1215e-08
TF ifPwrRadAlt_3.Power_Lost                                      4.9512e-08
TF ifRAV1.RadAlt_UnderReading                                    5.2615e-08
TF ifRAV2.RadAlt_UnderReading                                    4.8112e-08
TF ifRAV3.RadAlt_UnderReading                                    5.0412e-08
TF ifLACNav.LOC_Deviation_Biased                                 4.9812e-08
TF ifLACAir.Data_Biased                                          5.1515e-08
TF ifLACInert.Data_Drift                                         4.8412e-08
TF ifLAMNav.GS_Deviation_Biased                                  5.0812e-08
TF ifLAMAir.Data_Biased                                          4.7612e-08
TF ifLAMInert.Data_Drift                                         5.2412e-08
TF ifFCC1_Cmd.Cmd_Biased                                         4.9312e-08
TF ifFCC1_Mon.LaneDisagreement                                   5.1212e-08
TF ifFCC1_Pwr.Power_Lost                                         4.8212e-08
TF ifFCC2_Cmd.Cmd_Biased                                         5.0515e-08
TF ifFCC2_Mon.LaneDisagreement                                   4.7312e-08
TF ifFCC2_Pwr.Power_Lost                                         5.2012e-08
TF ifFCC3_Cmd.Cmd_Biased                                         4.9015e-08
TF ifFCC3_Mon.LaneDisagreement                                   5.1712e-08
TF ifFCC3_Pwr.Power_Lost                                         4.8515e-08
TF ifWD_1.Cmd_Biased                                             5.0112e-08
TF ifWD_2.Cmd_Biased                                             4.7712e-08
TF ifWD_3.Cmd_Biased                                             5.2312e-08
TF ifWD_Pwr.Power_Lost                                           4.9012e-08
TF ifFCCV_1.Cmd_Biased                                           5.1412e-08
TF ifFCCV_2.Cmd_Biased                                           4.8912e-08
TF ifFCCV_3.Cmd_Biased                                           5.0715e-08
TF ifFCCV_WD.ChannelDisagreement                                 4.7412e-08
TF ifFCCV_Pwr.Power_Lost                                         5.1912e-08
TF ifAPEng_Pilot.Cmd_Missing                                     4.9812e-08
TF ifAPEng_FMC.Data_Lost                                         5.0412e-08
TF ifAPEng_Pwr.Power_Lost                                        4.8112e-08
TF ifAPCh1_FCC.Cmd_Biased                                        5.1612e-08
TF ifAPCh1_Eng.Cmd_Missing                                       4.7612e-08
TF ifAPCh1_Pwr.Power_Lost                                        5.0012e-08
TF ifAPCh2_FCC.Cmd_Biased                                        4.9412e-08
TF ifAPCh2_Eng.Cmd_Missing                                       5.2212e-08
TF ifAPCh2_Pwr.Power_Lost                                        4.8412e-08
TF ifAPCh3_FCC.Cmd_Biased                                        5.1112e-08
TF ifAPCh3_Eng.Cmd_Missing                                       4.9512e-08
TF ifAPCh3_Pwr.Power_Lost                                        4.7812e-08
TF ifAPV_1.Cmd_Missing                                           5.0912e-08
TF ifAPV_2.Cmd_Missing                                           4.8612e-08
TF ifAPV_3.Cmd_Missing                                           5.2612e-08
TF ifAPV_Pwr.Power_Lost                                          4.9912e-08
TF ifFLCHeight.RadAlt_UnderReading                               5.0615e-08
TF ifFLCAP.Cmd_Missing                                           4.8012e-08
TF ifFLCPwr.Power_Lost                                           5.1412e-08
TF ifRLCLOC.LOC_Deviation_Biased                                 4.7612e-08
TF ifRLCAP.Cmd_Missing                                           5.0412e-08
TF ifRLCPwr.Power_Lost                                           4.9212e-08
TF ifABRollout.RolloutCmd_Missing                                5.1812e-08
TF ifABPwr.Power_Lost                                            4.8612e-08
TF ifYD1_Inert.Data_Biased                                       5.0312e-08
TF ifYD1_Pwr.Power_Lost                                          4.7412e-08
TF ifYD2_Inert.Data_Biased                                       5.1912e-08
TF ifYD2_Pwr.Power_Lost                                          4.8912e-08
TF ifRCARoll.RolloutCmd_Missing                                  5.0815e-08
TF ifRCAYD1.Cmd_Biased                                           4.7812e-08
TF ifRCAYD2.Cmd_Biased                                           5.2112e-08
TF ifRCAPwr.Power_Lost                                           4.9712e-08
TF ifATAAir.Data_Biased                                          5.0512e-08
TF ifATAAP.Cmd_Biased                                            4.8212e-08
TF ifATAPwr.Power_Lost                                           5.1312e-08
TF ifATBAir.Data_Biased                                          4.7612e-08
TF ifATBAP.Cmd_Biased                                            5.0812e-08
TF ifATBPwr.Power_Lost                                           4.9012e-08
TF ifATV_A.Cmd_Biased                                            5.2012e-08
TF ifATV_B.Cmd_Biased                                            4.8812e-08
TF ifATV_Pwr.Power_Lost                                          5.0215e-08
TF ifRETHeight.RadAlt_UnderReading                               4.7312e-08
TF ifRETAT.Cmd_Biased                                            5.1515e-08
TF ifRETPwr.Power_Lost                                           4.9612e-08
TF ifECI_FCC.Cmd_Biased                                          5.0912e-08
TF ifECI_Flare.FlareCmd_Late                                     4.7912e-08
TF ifECI_Bus.Bus_Silent                                          5.2312e-08
TF ifACI_FCC.Cmd_Biased                                          4.9212e-08
TF ifACI_Bus.Bus_Silent                                          5.0615e-08
TF ifRCI_Rud.Cmd_Biased                                          4.7515e-08
TF ifRCI_Bus.Bus_Silent                                          5.1512e-08
TF ifSGD_Roll.RolloutCmd_Missing                                 4.8812e-08
TF ifSGD_Height.Data_Lost                                        5.0315e-08
TF ifSGD_Bus.Bus_Silent                                          4.7615e-08
TF ifTRG_AT.Cmd_Biased                                           5.2212e-08
TF ifTRG_RET.Cmd_Biased                                          4.9412e-08
TF ifTRG_Bus.Bus_Silent                                          5.0712e-08
TF ifFMAP_Stat.Cmd_Missing                                       4.8012e-08
TF ifFMAP_Pwr.Power_Lost                                         5.1812e-08
TF ifFMAC_Stat.Cmd_Missing                                       4.9312e-08
TF ifFMAC_Pwr.Power_Lost                                         5.0512e-08
TF ifMWI_WD.ChannelDisagreement                                  4.7712e-08
TF ifMWI_AD.ChannelDisagreement                                  5.1612e-08
TF ifMWI_ILS.ChannelDisagreement                                 4.8615e-08
TF ifMWI_Pwr.Power_Lost                                          5.0212e-08
TF ifASL_FCC.Cmd_Biased                                          4.8312e-08
TF ifASL_AP.Cmd_Biased                                           5.1212e-08
TF ifASL_WD.ChannelDisagreement                                  4.9512e-08
TF ifASL_Pwr.Power_Lost                                          5.0412e-08
TF ifOutElev.Cmd_Biased                                          4.7212e-08
TF ifOutElev.Cmd_Missing                                         5.1014e-08
TF ifOutAil.Cmd_Biased                                           5.2112e-08
TF ifOutAil.Cmd_Missing                                          4.8712e-08
TF ifOutRud.Cmd_Biased                                           4.9015e-08
TF ifOutRud.Cmd_Missing                                          5.0512e-08
TF ifOutSpl.Cmd_Biased                                           5.0812e-08
TF ifOutSpl.Cmd_Missing                                          4.7815e-08
TF ifOutThr.Cmd_Biased                                           4.8212e-08
TF ifOutThr.Cmd_Missing                                          5.2012e-08
TF ifOutAB.Cmd_Missing                                           5.1312e-08
TF ifOutFMAP.Cmd_Missing                                         4.7712e-08
TF ifOutFMAC.Cmd_Missing                                         5.0112e-08
TF ifOutMW.Cmd_Biased                                            4.9612e-08
TF ifOutStatus.Cmd_Biased                                        5.2412e-08