TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
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
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• A kutatás célja: Kritikus infrastruktúrák védelme (CIP) – Hatékonyságának elemzése – Optimalizálása
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
PÉLDA
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Energetikai SCADA rendszer • Redundáns szerverek, redundáns hálózat
3
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FELADAT
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• 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
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
1. lépés Mérnöki modell megalkotása 2. lépés Alloy modell megalkotása 3. lépés Alloy modell megoldása
5. lépés PNS modell megoldása
4. lépés PNS modell megalkotása 6. lépés Eredmények visszavezetése a kiindulási modellre 5
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
KERETRENDSZER WORKFLOW
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
REDUNDANCIA ÉS REKONFIGURÁCIÓ
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• CIP és redundancia kapcsolata • Meghibásodás és rekonfiguráció • Hot-standby redundancia
7
MÉRNÖKI MODELLDEFINÍCIÓS NYELV
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
ElementType Workstation { PrepareStates { init Offline } OperationalStates { Online } FaultyStates{ Failed } InternalStates{ Started, Repaired } Transitions { start { from: Offline to: Online sets: Started (minimumCount:1) canBeManuallyTriggered } use { from: Online to: Online canBeManuallyTriggered } failure { from: Online cause: Failed } repair { 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
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
MODELLKONSTRUKCIÓS MÓDSZEREK
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Redundancia modellezése • Rekonfiguráció modellezése • Körök kiküszöbölése
10
ÁLLAPOTTÉR ALLOY-ALAPÚ SZŰKÍTÉSE
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
11
REKONFIGURÁLÁSI MINTAPÉLDA ALLOY-BAN
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
12
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
SZEMÉLYEK-FELADATOK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
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 Pgráf modell segítségével
Kezdeti P-gráf minták definiálása
Kocsis-Magyar Melinda
Modellkonstrukciós módszerek vizsgálata folyamatok átkonfigurálásában
Dinh Hoangthanh Attila
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
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
A mérnöki modellek és a P gráf összekötése
13
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
TELJESÍTETT INDIKÁTOROK
Kutatásban résztvevők
Státusz
Dinh Hoangthanh Attila
hallgató
Kocsis-Magyar Melinda
fiatal kutató
Magyar Dániel László
hallgató
Majzikné Bausz Ágota
kutató
Tasi Katalin
fiatal kutató
Varró-Gyapay Szilvia
fiatal kutató
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
14
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
TOVÁBBI FELADATOK
– – – –
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
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
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
KÖSZÖNÖM A FIGYELMET!
