An exact failure description is simply not feasible, even the ADIRUs don't know the PITOT icing, the only know (by comparison) that Pt is not equal.
Above that all pitot failures will lead to the same appropriate action: pitch and power.
So we can agree that this system no comply with JAR 25
Above that all pitot failures will lead to the same appropriate action: pitch and power.
Indeed .. when pilot know it's a Pitot failure