CERTIMOT

Tervezési és analízis technikák modell-transzformációk tanúsítványozásához

Kritikus rendszerek [1]

Típus:

Hazai (egyéb)

Kezdés éve:

2010

Befejezés éve:

2014

Tanszéki projektvezető

Varró Dániel [2]

Tanszéki résztvevők

Ráth István Zoltán [3]

Horváth Ákos [4]

Hegedüs Ábel [5]

Ujhelyi Zoltán [6]

Bergmann Gábor [7]

Izsó Benedek [8]

Pataricza András [9]

Elérhetőségek

Felelős:

Varró Dániel [2]

Bemutatás

A CERTIMOT projekt fő célkitűzése, hogy lehetővé tegye a tanúsítványozást a kritikus rendszerekben és szolgáltatásokban használt modelltranszformációk számára. Új modellek, nyelvek és technikák kerülnek kifejlesztésre, amelyek támogatják a modelltranszformációk szisztematikus tervezését, generálását, ellenőrzését és nyomonkövetését, amelyekre a tanúsítványozási folyamatban szükség van. Hosszú távú célkitűzésünk, hogy a CERTIMOT eredményei jelentősen csökkentsék a modelltranszformációk tanúsítványozásának komplexitását