UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Okostelefon köztesréteg Dr. Bilicki Vilmos Szegedi Tudományegyetem.

Az előadások a következő témára: "UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Okostelefon köztesréteg Dr. Bilicki Vilmos Szegedi Tudományegyetem."— Előadás másolata:

1 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-4.2.2.C-11/1/KONV-2012-0013

2 UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS FICT – Future ICT 2014. 11. 22.FICT Kick-Off2

3 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) 2014. 11. 22.FICT Kick-Off3

4 UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Ütemezés 2014. 11. 22.FICT Kick-Off4

5 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, > 1000.000 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 2014. 11. 22.FICT Kick-Off5

6 UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Az alprojekt felépítése 2014. 11. 22.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.6 1.7 1.4 1.3 1.2 1.1 1.5 1.6

7 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

8 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 2014. 11. 22.FICT Kick-Off8

9 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 2014. 11. 22.FICT Kick-Off9

10 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 2014. 11. 22.FICT Kick-Off10

11 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ó 2014. 11. 22.FICT Kick-Off11

12 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 2014. 11. 22.FICT Kick-Off12

13 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

14 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 2014. 11. 22.FICT Kick-Off14

15 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 2014. 11. 22.FICT Kick-Off15

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