Formális hibadiagnosztika

A magasszintű funkcionális hibadiagnosztika formális módszerei
Típus: 
OTKA
Kezdés éve: 
1995
Befejezés éve: 
1998

Tanszéki projektvezető

A munkatárs fényképe
egyetemi tanár
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
egyetemi tanár
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Elérhetőségek

Koordinátor: 
BME MIT FTSRG
Felelős: 
Pataricza András

Bemutatás

A munka célja a nagybonyolultságú digitális rendszerek diagnosztikai algoritmusainak kutatása volt. Kidolgoztuk az adatfolyam háló alapú tervező rendszerekhez illeszkedő tesztszámító algoritmusok elvi alapjait és kísérleti implementációját. Kísérleti vizsgálatokat végeztünk a színezett Petri-hálók alkalmazására. Feltártuk az automatikus tesztszámítás és az integrált diagnosztika elvi kapcsolatát, valamint algoritmusokat dolgoztunk ki ez utóbbi induló modelljének automatikus származtatására. Kimunkáltuk a kényszer kielégítési problémák alkalmazását tesztgenerálási feladatokra és alkalmaztuk azt kapuszintű, funkcionális regisztertranszfer szintű áramköri tesztelési feladatokra, tulajdonságleírás alapú verifikációra illetve a sokprocesszoros rendszerekben végzett rendszerszintű önellenőrzésre.

© 2010-2020 BME MIT | Hibajelentés | Használati útmutató