Okostelefon köztesréteg

1. 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. FICT Kick-Off FICT – Future ICT

3. FICT Kick-Off 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)

4. FICT Kick-Off Ütemezés

5. FICT Kick-Off 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) • arendszer 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

6. FICT Kick-Off Az alprojekt felépítése 1.6 Mobil közigazgatás 1.7 Modellvezérelt alkalmazásfejlesztés Monitorozás 1.5 1.4 Futtató/Fejlesztő környezet 1.3 P2P adattár Verifikáció 1.6 P2P algoritmusok környezete 1.2 1.1 NAT átjárás Energia takarékosság Különböző fizikai médiumok

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: • Középrétegnek és szolgáltatásainak megtervezés • 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. FICT Kick-Off 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

9. FICT Kick-Off 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

10. FICT Kick-Off 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

11. FICT Kick-Off 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ó

12. FICT Kick-Off 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

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: • A mobil alkalmazások modelljeit (felhasználói felület, üzleti logika, hálózati kommunikáció stb.) egy-egy modellező nyelvvel definiáljuk • Keretrendszer generálja az alkalmazásokat • Eredmények: • Modellvezérelt támogatás eltérő mobil platformok alkalmazásainak fejlesztésére

14. FICT Kick-Off 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

15. FICT Kick-Off 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

16. FICT Kick-Off Köszönöm a figyelmet!