"Safety-critical systems now usually rely on software" is a distinct and largely independent statement from "software is now usually safety-critical". The forme

"Safety-critical systems now usually rely on software" is a distinct and largely independent statement from "software is now usually safety-critical". The former is true, the latter is not. (This is actually a pretty clean example of the "Affirming the consequent" fallacy.)