>>> two DC inputs need to be connected to the same power supply? <<<
No, the IE2000 wil work totally fine on a single power supply
>>> In redundant power systems, each power supply should be connected to an independent power source <<<
that is correct , when connecting to the same power source to both inputs,
you have ample more redundancy then when using a double wire between the same input and the same power source