System Architecture Specification and System Functional Hazard Analysis for Stand Alone Fail-Safe Train Positioning