UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
Okostelefon köztesréteg
Dr. Bilicki VilmosSzegedi Tudományegyetem
Szoftverfejlesztés Tanszék
TÁMOP-4.2.2.C-11/1/KONV-2012-0013
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
FICT – Future ICT
23.04.19. FICT Kick-Off 2
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
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)
23.04.19. FICT Kick-Off 3
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
Ütemezés
23.04.19. FICT Kick-Off 4
2012IV. negyedév I. negyedév II. negyedév III. negyedév IV. negyedév I. negyedév II. negyedév III. negyedév IV. negyedév
1. feladat Mobil keresztplatform tervezési minták
2. feladatMobil szemantikus alapú P2P köztesréteg tervezési minták és
algoritmusok
3. feladat Mobil felhő tervezési minták és algoritmusok
4. feladatMobil konténerek végfelhasználói programozás támogatással tervezési
minták és algoritmusok
5. feladat Mobil és szenzorhálózat monitorozás
6. feladat Mobil közigazgatás
7. feladat Modellvezérelt alkalmazásfejlesztés eltérő mobil platformokra
8. feladat Mobil és szenzorhálózat verifikáció
Sorszám Feladat20142013
OKOSTELEFON KÖZÉPRÉTEG, VALÓS IDEJŰ TELJESEN ELOSZTOTT ADATFELDOLGOZÁS
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
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
23.04.19. FICT Kick-Off 5
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
Az alprojekt felépítése
23.04.19. FICT Kick-Off 6
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ésM
onitorozás
Mobil közigazgatás
Verifikáció
1.6
1.7
1.4
1.3
1.2
1.1
1.5
1.6
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
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
1.2 Mobil szemantikus alapú P2P köztesréteg tervezési minták és algoritmusok
Általános P2P keretrendszerCé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
23.04.19. FICT Kick-Off 8
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
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
23.04.19. FICT Kick-Off 9
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
1.4 Mobil konténerek végfelhasználói programozás támogatással tervezési minták és algoritmusokFuttató, fejlesztő környezetCél:
■ Magas absztrakciós szintű terület specifikus nyelv futató környezet
Eredmény:■ Fejlesztő eszköz■ Futtató környezet■ Szimulátor
23.04.19. FICT Kick-Off 10
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
1.5 Mobil és szenzorhálózat monitorozás
Mobil hálózat minőség monitorozásCé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ó
23.04.19. FICT Kick-Off 11
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
1.6 Mobil közigazgatás
A közigazgatás P2P csatolásaCé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
23.04.19. FICT Kick-Off 12
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
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
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ása23.04.19. FICT Kick-Off 14
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
MódszertanSzimulátor:
■ PeerSim -> P2P algoritmusokValó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
23.04.19. FICT Kick-Off 15
UN
IVER
SIT
Y O
F SZ
EG
ED
Dep
artm
ent o
f Sof
twar
e E
ngin
eeri
ng
UN
IVE
RS
ITA
S S
CIE
NT
IAR
UM
SZ
EG
ED
IEN
SIS
Köszönöm a figyelmet!
23.04.19. 16FICT Kick-Off