Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect