UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Okostelefon köztesréteg Dr. Bilicki Vilmos Szegedi Tudományegyetem Szoftverfejlesztés Tanszék TÁMOP C-11/1/KONV

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS FICT – Future ICT FICT Kick-Off2

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Feladatok  1.1 Mobil keresztplatform tervezési minták (Ekler Péter - BME)  1.2 Mobil szemantikus alapú P2P köztesréteg tervezési minták és algoritmusok (Bilicki Vilmos - SZTE)  1.3 Mobil felhő tervezési minták és algoritmusok (Bilicki Vilmos - SZTE)  1.4 Mobil konténerek végfelhasználói programozás támogatással tervezési minták és algoritmusok (Bilicki Vilmos - SZTE)  1.5 Mobil és szenzorhálózat monitorozás (Majzik István - BME)  1.6 Mobil közigazgatás (Risztics Péter - BME)  1.7 Modellvezérelt alkalmazásfejlesztés eltérő mobil platformokra (Mészáros Tamás - BME)  1.8 Mobil és szenzorhálózat verifikáció (Majzik István - BME) FICT Kick-Off3

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Ütemezés FICT Kick-Off4

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Mobil középréteg  Követelmények ■az érzékeny adatok nem hagyják el a telefont ■a számításokat (statisztika, tanuló algoritmusok, …) a helyszínre visszük ■a rendszer számára transzparens lesz a telefon típusa a rajta futó operációs rendszer ■a rendszer számára transzparens lesz a kommunikációs közeg és a helyszín (P2P primitívek) ■a rendszer extrém skálázható és extrém robosztus lesz (különböző P2P algoritmusok, > felhasználó, mozgás telefon ki/be kapcsolás) ■a rendszer magasszintű absztrakciókat nyújt a P2P algoritmusok felet a kontextus alapú programozáshoz (szemantikus keretrendszer, szabályok) ■a rendszer felhő szintű absztrakciós réteget nyújt az adatok tárolására, elérésére és manipulálására (ez persze adott esetben csak a helyszínen történhet meg) ■a rendszer produktív futtatási környezet ad a funkcióinak megfelelő használatához (IoC, Kontextus alapú kezelése a funkcionális és nem funkcionális követelményeknek) ■a rendszer lehetővé teszi a végfelhasználók számára is a logika megadását (végfelhasználói programozás) ■szimulátor és valós környezet támogatás FICT Kick-Off5

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Az alprojekt felépítése FICT Kick-Off6 Energia takarékosság Különböző fizikai médiumok NAT átjárás P2P algoritmusok környezete P2P adattár Futtató/Fejlesztő környezet Modellvezérelt alkalmazásfejlesztés Monitorozás Mobil közigazgatás Verifikáció

1.1 Mobil keresztplatform tervezési minták  Platformfüggetlen középréteg (middleware) vizsgálata  Cél a hálózati eszközök kooperációja központi adatbázis nélkül  Feladatok: 1. Középrétegnek és szolgáltatásainak megtervezés 2. A middleware használatát biztosító tervezési minták  Eredmények: Magasabb rétegekben felhasználható módszerek, megoldások és tervezési minták Az eredmények szoftverfejlesztési eszközt adnak a fejlesztők kezébe

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.2 Mobil szemantikus alapú P2P köztesréteg tervezési minták és algoritmusok  Általános P2P keretrendszer  Cél: ■Tetszőleges P2P algoritmust egyszerűen meg lehessen valósítani ■Magas szinten meg lehessen adni a kontextusokat és a szabályokat  Eredmény: ■A kontextusok leírására szolgáló szemantikus réteg ■Szabályok kezelésére szolgáló modul ■P2P algoritmusok alapköveit megvalósító beépülő modul alapú réteg FICT Kick-Off8

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.3 Mobil felhő tervezési minták és algoritmusok  P2P keretrendszer mint elosztott adatbázis  Cél: ■A Map-Reduce paradigmához hasonló megközelítéssel bíró adattár réteg kialakítása  Eredmény: ■Egyedi P2P algoritmusok ■Mobil Map-Reduce réteg FICT Kick-Off9

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.4 Mobil konténerek végfelhasználói programozás támogatással tervezési minták és algoritmusok  Futtató, fejlesztő környezet  Cél: ■Magas absztrakciós szintű terület specifikus nyelv futató környezet  Eredmény: ■Fejlesztő eszköz ■Futtató környezet ■Szimulátor FICT Kick-Off10

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.5 Mobil és szenzorhálózat monitorozás  Mobil hálózat minőség monitorozás  Cél: ■Erőforrás szolgáltatás szint monitorozás ■Hatásanalízis ■Redundancia igény  Eredmény: ■Elosztott monitorozó köztesréteg szolgáltatás ■Elosztott konfiguráció FICT Kick-Off11

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.6 Mobil közigazgatás  A közigazgatás P2P csatolása  Cél: ■Klasszikus EE alkalmazások és P2P alkalmazások integrációjának vizsgálata ■Kommunikációs lehetőségek vizsgálata  Eredmény: ■Mobil P2P ESB illesztő metodológia, megoldás FICT Kick-Off12

1.7 Modellvezérelt alkalmazásfejlesztés eltérő mobil platformokra  Cél az eltérő mobil platformokra való fejlesztés  Feladatok (keretrendszer modellezés és modellfeldolgozás támogatására: 1. A mobil alkalmazások modelljeit (felhasználói felület, üzleti logika, hálózati kommunikáció stb.) egy-egy modellező nyelvvel definiáljuk 2. Keretrendszer generálja az alkalmazásokat  Eredmények: Modellvezérelt támogatás eltérő mobil platformok alkalmazásainak fejlesztésére

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS 1.8 Mobil és szenzorhálózat verifikáció  Tervezési és futásidejű tervezési módszerek  Cél: ■Tervezési idejű formális módszerekkel végzett verifikáció (tervezési hibák) ■Futtatás idejű formális verifikáció (HW hibák)  Eredmény: ■Formalizált követelmények kidolgozása ■Korlátos erőforrással ellenőrizhető követelmények meghatározása FICT Kick-Off14

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Módszertan  Szimulátor: ■PeerSim -> P2P algoritmusok  Valós környezet: ■Kis tömegű szabályozott tesztek: –200 mobil telefon – diákok ■Közepes méretű kevésbé szabályozott tesztek: –PlanetLab ■Nagyméretű nem kontrollált tesztek: –Publikus mini alkalmazások FICT Kick-Off15

UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Köszönöm a figyelmet! FICT Kick-Off