Hello Jan,
is the sentense "The question whether "open proofs" is suitable for safety railway applications, is not the matter" not precise enough?