Glossary


Fault - Removal

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Identification

Fault - Removal

Definitions/Uses

1997
Reference /Laprie, 1992/ Dependability: Basic Concepts and Terminology in English, French, German, Italian and Japanese

Definition/
Use Methods and Techniques aimed at reducing the presence (number and seriousness) of faults. Composed of 3 steps: verification, diagnosis and correction. Verification is the process of checking whether the systems adheres to properties, termed the verification conditions which can be done statically or dynamically. Diagnosis will be taken whenever the system does not succeed in verification step. Correction should be then performed to fulfill verification conditions.

1997
Reference	/Laprie, 1992/ Dependability: Basic Concepts and Terminology in English, French, German, Italian and Japanese
Definition/ Use	Methods and Techniques aimed at reducing the presence (number and seriousness) of faults. Composed of 3 steps: verification, diagnosis and correction. Verification is the process of checking whether the systems adheres to properties, termed the verification conditions which can be done statically or dynamically. Diagnosis will be taken whenever the system does not succeed in verification step. Correction should be then performed to fulfill verification conditions.

Other Languages

German: Beseitigung Fehler

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster