infokommunikációs technológiák IV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA
MODELL ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ A kutatás célja: Kritikus infrastruktúrák védelme (CIP) Hatékonyságának elemzése Optimalizálása
PÉLDA Energetikai SCADA rendszer Redundáns szerverek, redundáns hálózat 3
FELADAT Tervezett feladatok (2015.01.01-2015.05.12.) A mérnöki modellek és a P-gráf összekötése, statikus optimalizálási feladatok kísérleti implementálása Dinamikus optimalizálási feladatok algoritmusainak kidolgozása CIP céljára Modellezési és analízis keretrendszer kísérleti implementációja Elvárt kimenet: Xtext-alapú modelldefiníciós nyelv kidolgozása Ennek leképzése Alloy és P-gráf modellekké Keretrendszer kísérleti implementációja Mintapélda kidolgozása 4
KERETRENDSZER ARCHITEKTÚRA 1. lépés Mérnöki modell megalkotása 3. lépés Alloy modell megoldása 5. lépés PNS modell megoldása 2. lépés Alloy modell megalkotása 4. lépés PNS modell megalkotása 6. lépés Eredmények visszavezetése a kiindulási modellre 5
KERETRENDSZER WORKFLOW 6
REDUNDANCIA ÉS REKONFIGURÁCIÓ CIP és redundancia kapcsolata Meghibásodás és rekonfiguráció Hot-standby redundancia 7
MÉRNÖKI MODELLDEFINÍCIÓS NYELV ElementType Workstation { PrepareStates { init Offline } OperationalStates { Online } FaultyStates{ Failed } InternalStates{ Started, Repaired } } Transitions { start { } use { failure { repair { from: Offline to: Online sets: Started (minimumcount:1) canbemanuallytriggered } from: Online to: Online canbemanuallytriggered } from: Online cause: Failed } from: Failed to: Online sets: Repaired (minimumcount:1) canbemanuallytriggered } 8
REKONFIGURÁLÁS ELŐTTI ÁLLAPOTOT LEÍRÓ P-GRÁF MODELLEK P-graph of the server and the process
MODELLKONSTRUKCIÓS MÓDSZEREK Redundancia modellezése Rekonfiguráció modellezése Körök kiküszöbölése 10
ÁLLAPOTTÉR ALLOY-ALAPÚ SZŰKÍTÉSE 11
REKONFIGURÁLÁSI MINTAPÉLDA ALLOY-BAN 12
SZEMÉLYEK-FELADATOK Feladat Alfeladat Személy CIP alapfogalmainak és kapcsolatainak formalizálása CIP tanulmány és ontológia Majzikné Bausz Ágota, Varró-Gyapay Szilvia A CIP feladat megfogalmazása P- gráf modell segítségével Kezdeti P-gráf minták definiálása Modellkonstrukciós módszerek vizsgálata folyamatok átkonfigurálásában Kocsis-Magyar Melinda Dinh Hoangthanh Attila A mérnöki modellek és a P gráf összekötése Mérnöki modelldefiníciós nyelv leképzése P-gráf modellekké Tasi Katalin Rekonfigurálási mintafeladat elvégzése Magyar Dániel László Dinamikus optimalizálási feladatok algoritmusainak kidolgozása CIP céljára Dinamikus optimalizálási feladatok Alloyalapú vizsgálata Magyar Dániel László, Majzikné Bausz Ágota, Varró-Gyapay Szilvia 13 Teljes modellezési és analízis keretrendszer kísérleti implementációja Keretrendszer kísérleti implementációja Tasi Katalin, Kocsis-Magyar Melinda, Dinh Hoangthanh Attila
TELJESÍTETT INDIKÁTOROK Kutatásban résztvevők Dinh Hoangthanh Attila Kocsis-Magyar Melinda Magyar Dániel László Majzikné Bausz Ágota Tasi Katalin Varró-Gyapay Szilvia Státusz hallgató fiatal kutató hallgató kutató fiatal kutató fiatal kutató 14
TOVÁBBI FELADATOK Rekonfigurációs folyamatok továbbfejlesztése és analízise Mérnöki modelldefiníciós nyelv továbbfejlesztése és kiegészítése Modellezési és analízis keretrendszer továbbfejlesztése Dinamikus optimalizálási feladatok algoritmusainak kidolgozása és implementálása Hasznosítás: valós adatok alapján SCADA modell paramétereinek validálása 15
infokommunikációs technológiák KÖSZÖNÖM A FIGYELMET!