Hibatűrő Rendszerek Kutatócsoport

A Progile keretrendszer egy integrált tervező, termelésszabályozó és optimalizáló rendszer, amely az IBM DSS gyárban működő fejlett, kézi vezérlést támogató termelésmonitorozó és -vezérlő rendszerek fölé épül. Célja a gyár aktuális állapotából, a rendelésállományból, a rendelkezésre álló erőforrásokból és alkatrészekből kiindulva egy teljes, a termelési és üzemeltetési kritériumokat kielégítő, részletes és optimális gyártási terv kidolgozása. Gyors futási ideje lehetővé teszi a változó körülményekhez való adaptív alkalmazkodást. Tovább »

Tesztek kidolgozása a rendszerfejlesztés egyik legköltségesebb, sok kézi munkát igénylő fázisa. Az egyre inkább terjedő modellalapú fejlesztéshez kapcsolódva természetesen merül fel az igény, hogy a specifikációt formalizáló modellek alapján automatikusan generáljuk a teszteket. Ezt már több (kísérleti) eszköz is támogatja, de az automatikusan generált tesztkészlet tipikusan nagy méretű, redundáns, végrehajtása hosszadalmas. Beágyazott illetve biztonságkritikus rendszerek esetén jó esély van a tesztkészlet optimalizálására: figyelembe vehető a felhasznált komponensek előre ismert hibamodellje, megbecsülhetők a fokozott tesztelést igénylő kritikus állapotok, hibainjektálással támogatható a teszt optimalizálás. Ezek figyelembe vételével hatékonyabbá tehető a tesztelés.
Csoportunk feladata egy olyan eszközintegrációs keretrendszer kidolgozása, amelybe integrálhatók a modellezési, hibainjektáló, teszt generáló és végrehajtó eszközök, valamint biztosítható a tesztelés során a kiindulási követelmények és a tesztek közötti kapcsolatok követése (pl. mely követelményekhez tartoznak sikertelen tesztek). Közreműködünk még a hibamodellezés kidolgozásában is. Ipari partnereink (pl. Ford, Thales, Prolan) több alkalmazási területen kívánják felhasználni a teszt generátor eszközkészletet. Tovább »

Heterogén, lazán csatolt rendszerek összekapcsolásának egyik legelterjedtebb módja a Szolgáltatás-Orientált Architektúra (SOA) tervezési és rendszerintegrációs paradigma. Ilyen rendszerekben kiemelten fontos annak vizsgálata és bizonyítása, hogy a rendszer robosztus, védett biztonsági fenyegetésekkel szemben, betartja a teljesítménykorlátokat, stb. A projektben erre a célra fejlesztünk matematikai pontosságú módszereket és integráljuk ezeket ipari tervezőnyelvekben (pl. UML, BPEL) írt modellekhez, és futtatókörnyezetekhez (pl. Apache Axis).
A projektben elkészült a Sensoria Development Environment keretrendszer, melyben SOA alapon kapcsolhatunk össze különböző fejlesztőeszközöket, az adott terület (pl. banki rendszerek) igényeihez igazodva, és a tervezéstől az analízisen keresztül a telepítésig számos lépést automatizált módon végrehajthatunk Eclipse környezetben. A projektben banki, autóipari, telekommunikációs és e-learning ipari esettanulmányokat vizsgálunk. Tovább »

A GENESYS projekt fő célja – illeszkedve az ARTEMIS által meghatározott stratégiai kutatási irányhoz -, hogy egy általános rendszer architektúrát és fejlesztési módszertant definiáljon beágyazott alkalmazásokhoz, mely testre szabható a különböző alkalmazási területeken. A referencia architektúra képes kezelni a legfontosabb fejlesztési kihívásokat, mint a komplexitás menedzsment, a kommunikáció és számítási műveletek szétválasztása, különböző szolgáltatási (kritikussági) szintek kezelése, modell-alapú fejlesztés támogatása, heterogén rendszerek fejlesztése, meglevő komponensek integrálása, és az energia felhasználás csökkentése.
Kutatócsoportunk feladata a projekt keretein belül a modell-alapú fejlesztési módszertan és eszközkészlet definiálása, valamint a formális ellenőrző módszerek integrálása. Ehhez felhasználjuk a korábbi projektek során szerzett eszköz-integrációs, beágyazott rendszerfejlesztési, és formális módszerekkel kapcsolatos tapasztalatunkat. Tovább »