Software Faults Diagnosis in Complex OTS Based Safety Critical Systems