VEGA č.: 1/1004/09 - Optimalizácia prenosu informácií multimediálneho charakteru na báze formálnych metód

Cieľom tejto Wiki stránky je kolaborácia medzi riešiteľmi projektu VEGA a zdieľanie informácií v jednotnom prostredí do ktorého môžu riešitelia vstupovať.

Rýchle linky

Anotácia vedeckého projektu

Predkladaný projekt sa bude zaoberať problematikou prenosu informácií multimediálneho(MM) charakteru s dôrazom na formálne špecifikácie informačných a komunikačných systémov (IKS)a v nich realizovaných procesov s cieľom vytvoriť metódy validácie zadania funkcií systému, verifikácie ich formálnych špecifikácií a optimalizácie poskytovaných služieb v IKS. V nadväznosti na rôzne prístupy riešenia komunikačných služieb MM charakteru v heterogénnom prostredí riešiteľský tím bude skúmať možnosti definovania špecifických protokolov pre vybrané triedy služieb a riadenia prevádzky zabezpečujúcej dohodnutú QoS^? (SLA- Service Level Agreement). Pre tento účel sa predpokladá využitie procesných algebier a Petriho sieti ako formálnych prostriedkov na špecifikáciu protokolov, validáciu ich korektnosti a verifikáciu ich návrhu. Uvedené prostriedky budú použité pri pilotnej laboratórnej implementácii konkrétnych prípadov komunikačných služieb.

Verejné dokumenty

• Grant_Application_17BtRVnN.pdf: Grant - application
• Ziadost_o_Grant_17BtRCwb.pdf: Ziadost o grant
• e-VEGAaktualizacia.mht: e-Vega Aktualizacia
• posudok_17Ow2uhO.pdf: Posudok 1
• posudok_17QUAFb4.pdf: Posudok 2
• posudok_17VO3c1h.pdf: Posudok 3

Privátna sekcia

Cieľom privátnej sekcie je zdieľanie verejne neprístupných informácií medzi riešiteľmi Vega projektu.

Zápisy z porád