CErtification of CRItical Systems (CECRIS)

2013
2016
Kapcsolattartók: 
Hegedüs Ábel
Kapcsolattartók: 
Pataricza András

A projekt célja előrelépni a kritikus rendszerekek fejlesztés, verifikáció, validáció és tanúsítványozás területén.

A projekt a fenti terület olyan nehéz és fontos szempontjaira fókuszál, mint a biztonság, hatékonyság, üzlet. A projekt tudományos célja tanulmányozni a korszerű tudományos és ipari rendszerfejlesztési módszertanokat és ezek használatának hatását a kritikus rendszerek verifikációjára, validációjára és tanúsítására. Továbbá a projekt célja olyan stratégiák és technikák kifejlesztése, amelyek fél- vagy teljesen automatikus eszközöket és módszereket adnak ezekhez a tevékenységekhez, melyeknek hatása a költségekre és minőségre kiszámítható, hogy a költségek hozzárendelhetők legyenek a vizsgált termék által elért RAMS tulajdonság szinthez. A projekt során olyan iránymutatások készülnek, amelyek képesek támogatni a mérnököket a verifikációs és validációs fázisok megtervezésében.

Jellege szerint a CECRIS egy PEOPLE-IAPP projekt, amelyben a résztvevő kutatóknak lehetőségük lesz az akadémiai és iparti partnerek irodái között, egy másik országba utazni annak érdekében, hogy:

  • Megosszák tapasztalataikat és új ismereteket fogadjanak be a hardver és szoftver rendszerek tanúsítása terén
  • Új kompetenciákat fejlesszenek ki
  • Integrálják a megszerzett ismereteket vissza az őket kiküldő vállalatba vagy egyetembe.

Ez a szinergikus megközelítés lehetővé teszi újszerű megközelítések és módszerek kialakítását azzal, hogy összehozza a jelenleg különböző szervezetek és kutatók áltla birtokolt, szétdarabolt tudományos és ipari ismereteket. Tovább »

Design and Analysis Techniques for Certifiable Model Transformations (CertiMoT)

2010
2014
Kapcsolattartók: 
Horváth Ákos
Kapcsolattartók: 
Bergmann Gábor
Kapcsolattartók: 
Hegedüs Ábel
Kapcsolattartók: 
Ráth István
Kapcsolattartók: 
Ujhelyi Zoltán
Kapcsolattartók: 
Varró Dániel

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.

  • Követelményanalízis technikák transzformációk számára. Célunk specifikációs és analízis technikák leírása, amelyek leírják a magas szintű MT követelményeket és érzékeltetik a közöttük levő potenciális konfliktusokat. Hosszú távú célként azt jelöljük meg, hogy a transzformáció követelményei legyenek precízen megadhatóak és követhetőek a transzformáció fejlesztés során.
  • Technikák futási idejű transzformációs programok automatikus generálására. Célunk automatikus programszintézis technikák fejlesztése futási idejű transzformációs programok generálásához. Hosszú távú célként hatékony modelltranszformációs programokat kell generálni többféle célplatformra.
  • Nyomonkövethetőségi technikák modelltranszformációk számára. Célunk egy szisztematikus megközelítés kidolgozása a modelltranszformációs követelmények, programok, tesztesetek stb. nyomonkövethetőségére.

e-Freight - European e-Freight Capabilities for Co-modal Transport

2010
2013
Kapcsolattartók: 
Kövi András
Kapcsolattartók: 
Pataricza András
Kapcsolattartók: 
Szatmári Zoltán
Kapcsolattartók: 
Varró Dániel

Az e-Freight projekt célja különböző szállítási módok (közúti, vízi, vasúti) egyenkénti és kapcsolt (co-modal) használatának megkönnyítése az európai szintű teherfuvarozási erőforrások fenntartható kihasználásának érdekében. Az e-Freight megoldások egy szállítmányozási folyamat résztvevőit a következőképpen segítik:

  • A felhasználók (Transport users) képessé válnak a számukra legmegfelelőbb direkt vagy kapcsolt szállítási módozat kiválasztására és használatára.
  • A szállítási szolgáltatók (Transport service providers) minden mód esetén információt nyújthatnak a szolgáltatásaikról, valamint a szállítási folyamat minden résztvevőjével elektronikusan válthatnak információt.
  • A szállítási infrastruktúraszolgáltatók (Transport infrastructure providers) elősegítik a globális szállítási infrastruktúra legjobb kihasználtságát, és segítik a felhasználók döntéseit az infrastruktúrára vonatkozó legfontosabb információkkal.
  • A szállítást felügyelő hivatalok (Transport regulators) egyszerűen és hatékonyan ellenőrizhetik a szabályoknak való megfelelést, emellett a különböző hatóságok együttműködése is lehetségessé válik, amely többek közt elősegíti a biztonsági és környezetvédelmi kockázatok kezelhetőségét.

A projektben elkészülő e-Freight platform támogatni fogja az e-Freight alapú megoldások tervezését, kifejlesztését és üzemeltetését. Az eredmények használhatósága üzleti tanulmányeseteken keresztül kerül ellenőrzésre az összes a projektben résztvevő felszíni szállítmányozó vállalat és hatóság részvételével. Tovább »

Security Engineering for Lifelong Evolvable Systems (SecureChange)

2009
2012
Kapcsolattartók: 
Bergmann Gábor
Kapcsolattartók: 
Hegedüs Ábel
Kapcsolattartók: 
Micskei Zoltán Imre
Kapcsolattartók: 
Varró Dániel

A szoftveres rendszerek egyre hosszabb életűek lesznek. Ugyanakkor a szoftver egyre inkább biztonság-kritikussá válik, hisz minden kritikus infrastruktúrában, legyen az vasút- vagy repülőirányítás, egyre nagyobb szerepet kapnak a szoftveres megoldások. Így aztán egyre inkább fontosabb követelmény az IT rendszerek biztonsági verifikálása mind tervezési, mind telepítési időben. Különösen igaz ez a hosszú életű rendszerek esetén. Emellett viszont ezeknek a rendszereknek flexibilisnek is kell maradniuk, hogy képesek legyen adaptálódni a környezeti változásokhoz és a folyamatosan módosuló követelményekhez, használati és támadási módokhoz. Ez a jelenlegi szoftver technológiai módszerekkel csak nehézkesen biztosítható, általában fel kell áldoznunk a flexibilitás és az ellenőrzött működés közül az egyiket. Célunk tehát olyan módszerek és technológiák kutatása, melyek biztosítják, hogy az ilyen hosszú életű szoftver rendszerek megfeleljenek a folyamatosan változó biztonsági követelményeknek. A feladat nehézségét ezeknek a követelményeknek a feltárása, valamint ennek megfelelően a rendszer igazoltan helyes és biztonságos módosítása jelenti. Tovább »

Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES)

2008
2010
Kapcsolattartók: 
Majzik István
Kapcsolattartók: 
Polgár Balázs

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 »

Distributed, equipment Independent environment for Advanced avioNic Applications (DIANA)

2006
2010
Kapcsolattartók: 
Horváth Ákos
Kapcsolattartók: 
Varró Dániel

A DIANA (Distributed, equipment Independent environment for Advanced avioNic Applications) EU projekt az FP6-os keretprogramban egy integrált moduláris hardver és szoftverplatform kialakítását célozza a polgári és üzleti célú repülőgépipar számára. Mivel egy repülőgép fejlesztési költségének 85%-át a szoftverfejlesztési költségek teszik ki, egy ilyen platform kialakítása nagyságrendekkel tudná csökkenteni a repülőgépek fejlesztési és fenntartási költségeit.
A projekt célja, hogy a szoftvertechnológia más területein elterjedt - a repüléstechnikai területen azonban még ritkán alkalmazott - népszerű módszerek és technológiák, mint modellvezérelt tervezés, objektum-orientált programozási nyelvek (pl. Real Time Java), és middleware technológiák (pl. CORBA) felhasználhatóak legyenek e biztonságkritikus területen is. Tovább »

Software Engineering in Service-Oriented Overlay Computers (SENSORIA)

2005
2010
Kapcsolattartók: 
Horváth Ákos
Kapcsolattartók: 
Gönczy László
Kapcsolattartók: 
Hegedüs Ábel
Kapcsolattartók: 
Ráth István
Kapcsolattartók: 
Varró Dániel

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 »

Assessing, Measuring and Benchmarking Resilience (AMBER)

2008
2009
Kapcsolattartók: 
Majzik István

A szolgáltatásbiztonság jellemzőire (pl. megbízhatóság, rendelkezésre állás, biztonság, adatbiztonság) vonatkozó követelmények megjelennek többek között szolgáltatási szint szerződésekben, a biztonságkritikus rendszerek üzembehelyezését meghatározó szabványokban, informatikai szolgáltatásokra vonatkozó előírásokban. Komoly problémát vet fel, hogy az előírt jellemzők nem teljesítése veszteséggel (pl. kártérítés) járhat, ugyanakkor egyáltalán nem egyszerű ezeknek a jellemzőknek a pontos és hiteles mérése. Az AMBER projekt feladata a szolgáltatásbiztonság mérési és értékelési módszereire vonatkozó kutatások koordinálása, az egyes mérési eljárásokra vonatkozó oktatási anyagok kidolgozása.
A projekt egyik fontos célkitűzése egy olyan szabadon elérhető szolgáltatásbiztonsági adattárház kialakítása, amelybe feltölthetők mérési eredmények, kísérleti eredmények, üzemeltetési naplók adatai, és ezeken (webes felületen keresztül) OLAP adatelemzés vagy adatbányászat folytatható. Így összevethetők mérési eljárások, naplózási módszerek, kísérleti konfigurációk vagy egyes elemzési technikák is. Tovább »

GENeric Embedded SYStem Platform (GENESYS)

2008
2009
Kapcsolattartók: 
Balogh András

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 »

Dependability and Security by Enhanced Reconfigurability (DESEREC)

2006
2008
Kapcsolattartók: 
Pataricza András

A DESEREC (DEpendability and Security through Enhanced Reconfigurability) EU projekt az FP6-os keretprogram részeként az általános célú IT infrastruktúrák újrakonfiguráció-támogatására dolgoz ki integrált modellezési, analízis és instrumentációs eszközöket. Tovább »