DS3800HISA is an isolated input card under the Mark IV series developed by GE. General Electric's Speedtronic Mark IV gas turbine control is powered by four distributed microprocessors. Gas turbine control is handled by three of the processors. The TMR processor has three cores R, S, and T. The three computers are identical, but they're each a separate gas turbine control processor, resulting in triple modular redundancy.