okostelefon köztesréteg

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)


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


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


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


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


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


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


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ó


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


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


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

okostelefon köztesréteg

Documents