Self-checking in programs

Self-checking and run-time verification in computer programs
Típus: 
OTKA
Kezdés éve: 
2004
Befejezés éve: 
2006

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: 
Majzik István
Felelős: 
István Majzik

Bemutatás

The dependability of the services provided by modern information systems heavily depends on the permanent design and implementation faults of the software and on the transient faults of the underlying hardware. Due to the ever-growing complexity of these systems, testing cannot detect and remove all possible software faults. These faults (similarly to hardware faults) may result in run-time failures. In the case of transient hardware faults, failures can be avoided by fault tolerance, i.e. reconfiguration and the recovery of the correct service. The prerequisite of fault tolerance is the early error detection. Both testing and fault tolerance require run-time verification, i.e. the concurrent monitoring and analysis of program execution. During testing, it provides information on the test coverage, while in run-time it supports on-line error detection and triggers the necessary recovery steps. The research aims at the elaboration of formally proven methods for the run-time verification of programs, which can be used during testing as well as during operation.

© 2010-2019 BME MIT