区间占用逻辑检查功能软件模块应符合“故障-安全”原则