IV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA

Átírás

1 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

2 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

3 PÉLDA Energetikai SCADA rendszer Redundáns szerverek, redundáns hálózat 3

4 FELADAT Tervezett feladatok ( ) 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

5 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

6 KERETRENDSZER WORKFLOW 6

7 REDUNDANCIA ÉS REKONFIGURÁCIÓ CIP és redundancia kapcsolata Meghibásodás és rekonfiguráció Hot-standby redundancia 7

8 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

9 REKONFIGURÁLÁS ELŐTTI ÁLLAPOTOT LEÍRÓ P-GRÁF MODELLEK P-graph of the server and the process

10 MODELLKONSTRUKCIÓS MÓDSZEREK Redundancia modellezése Rekonfiguráció modellezése Körök kiküszöbölése 10

11 ÁLLAPOTTÉR ALLOY-ALAPÚ SZŰKÍTÉSE 11

12 REKONFIGURÁLÁSI MINTAPÉLDA ALLOY-BAN 12

13 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

14 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

15 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

16 infokommunikációs technológiák KÖSZÖNÖM A FIGYELMET!