OO rendszerek megbízhatósága

Objektum-orientált rendszerek megbízhatósági vizsgálata
Típus: 
Nemzetközi (egyéb)
Kezdés éve: 
2000
Befejezés éve: 
2002
Partnerek: 
CNUCE-CNR, Pisa, Italy

Tanszéki projektvezető

Tanszéki résztvevők

A munkatárs fényképe
tanszékvezető helyettes, habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu
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

Önmagában egy rendszer jó implementációja (főleg biztonság-kritikus alkalmazásoknál) még nem garantálja azt, hogy a rendszer működés közben megfelelő minőségű szolgáltatást nyújt. Éppen ezért, a rendszer tervezési folyamatának már legelső szakaszaiban szükség van a koncepció ill. a megvalósítási eszközök korai validációjára (anélkül, hogy sok időt és erőforrásokat vesztegetnénk el a megvalósítási fázis(ok)ra). Megbízhatóság (ideértve a biztonságot és rendelkezésre-állást is) az egyike a vizsgálandó paramétereknek, különösen olyan rendszereknél, amelyek folyamatos és/vagy kritikus szolgáltatásokat valósítanak meg. A formális módszerek használata tulajdonságok validálására egy új módszer a rendszer-megvalósítás folyamatában. Ugyanakkor, a bonyolult matematikai formalizmus és számítási technikák ismeretének szükségessége meggátolta ezen módszerek széleskörű elterjedését. Ebben a kutatásban a célunk az, hogy a matematikai formalizmust elrejtsük a tervező elől egy transzformációs eljárással, ami egyrészt magas-szintű vizuális modellekből készít matematikai modelleket, majd az eredményeket automatikus visszavezeti a magas-szintű modellbe. Így a formális modellek automatikus transzformációjával a rendszerek megbízhatósági vizsgálata lényegesen leegyszerűsödhet.

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