A Fault Diagnosis based on Alarm Propagation Model