Verification of FT systems

Formal verification of safety requirements in fault tolerant systems
Típus: 
OTKA
Kezdés éve: 
1999
Befejezés éve: 
2001

Tanszéki projektvezető

A munkatárs fényképe
deputy head of department, habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
master lecturer
Szoba: IB417
Tel.:
+36 1 463-3586
Email: huszerl (*) mit * bme * hu
A munkatárs fényképe
deputy head of department, habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Contact information

Koordinátor: 
BME MIT FTSRG
Felelős: 
István Majzik

Bemutatás

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. The project aims at the formal verification of safety properties in computer systems designed using the Unified Modeling Language (UML). Extensions of the standard language are elaborated which allow the designer to describe faulty behavior, the applied fault tolerance structures, as well as the safety requirements. The verification procedure should be able to prove that the fault tolerant system satisfies these requirements, also in the case of the (anticipated) component faults. The deliverables can be grouped in the following three main categories: Extensions of UML required for modeling safety critical fault tolerant systems. Formal verification of UML designs. Integraton of the verification procedures into an UML-based CASE tool.

© 2010-2019 BME MIT