|BUTE VIK Department of Measurement and Information Systems||Printable version|
|DMIS homepage - Research - Projects - Verification of FT systems|
Formal verification of safety requirements in fault tolerant systems
1999 - 2001
Local supervisor: Majzik István
Computer systems with high safety requirements are extensively used in our everyday life (e.g. traffic control systems, power plants). The high level of dependability these systems require is hard to be assured, due to unavoidable component faults and accidental conceptional failures in the design process. Accordingly, it is necessary to (i) incorporate fault tolerance mechanisms in the system and (ii) verify the properties of the design by using mathematical formalisms. The formal verification of fault tolerant systems poses the problems of fault modeling, fault classification and error coverage.
Further information about the project: