Projekty

Názov projektuzoradiť vzostupne Stručný popis projektu
Návrh a vývoj verifikovateľnej BDI architektúry pre IDS s využitím komponentových systémov a systémov virtuálnej reality
V súčasnej informačnej spoločnosti je počítačová bezpečnosť nesporne veľmi aktuálnou oblasťou výskumu. V tejto oblasti musí byť obzvlášť kladený dôraz na návrh a vývoj spoľahlivých a bezpečných programových systémov. Jednou z možností ich vývoja je využitie komponentových systémov. V tomto projekte rozšírime pasívnu rolu IDS na aktívnu (t.j. automatizované reakcie systému na detegované sieťové narušenie). Na to využijeme inteligentnú BDI architektúru, ktorú navrhneme pre naše účely. Pri návrhu takejto architektúry musí byť obzvlášť kladený dôraz na jej korektnosť a spoľahlivosť. To bude zaručené využitím vhodných verifikačných formálnych metód. Navrhnutú architektúru implementujeme ako komponentový systém, kde jednotlivé komponenty budú predstavovať funkčné jednotky BDI architektúry. Ďalším cieľom bude vytvorenie vhodného používateľského rozhrania prostredníctvom systémov virtuálnej reality kvôli empirickému overovaniu práce s navrhnutým systémom.
Mikrolearningové prostredie pre vzdelávanie odborníkov v oblasti informačnej bezpečnosti


Koalgebraické modely komponentových systémov

Spoločenská prax si vyžaduje neustály vývoj rozsiahlych komplexných programových systémov. Jedným z najdôležitejších cieľov softvérového inžinierstva je vývoj spoľahlivých programových systémov, ktoré poskytujú očakávané výsledky podľa požadovaného správania. Komplexné systémy sú zložené z komponentov, ktoré sú vyvíjané nezávisle, často v rôznych programovacích jazykoch a paradigmách. Zároveň musia byť vzájomne prepojené tak, že ich kooperáciou sa dosiahne očakávané správanie celého systému. Preto interakcie medzi komponentmi, kontrakty a závislosti sú kľúčovým pojmom v komplexnom systéme. Konštrukcia verifikovateľného modelu správania sa komponentových systémov je dôležitou súčasťou formulácie behaviorálnych modelov komplexných systémov. V tomto projekte navrhneme explicitné koalgebraické modely, metódy verifikácie a postupy, ktoré sa použijú pri sledovaní správania komplexných programových systémov. Tým projekt prispeje k teoretickým aj praktickým aspektom softvérového inžinierstva.

IT4KT – Informačné technológie pre prenos znalostí

Projekt ERDF č. 26220220123
Web Portál IT4KT
https://it4kt.kpi.fei.tuke.sk/

Inteligentné dynamické riadenie frekvenčného spektra pre nastupujúce kognitívne komunikačné systémy

Hlavná technologická výzva sprevádzaná 5. generáciu mobilných komunikačných systémov je efektívne využitie dostupného frekvenčného spektra. Statické prideľovania frekvenčného spektra sa javí ako nedostatočné a jedno z možných riešení tohto problému je dynamické prideľovanie spektra pri použití technológie kognitívneho rádia. Technológia kognitívneho rádia je v súčasnosti mimoriadne diskutovaná oblasť, v ktorej sa otvára celé spektrum vyšetrovaných tém. Dynamické pridelovanie spektra je možné považovat za jednu z najvýznamnejších. Za základne funkčné bloky kognitívneho rádia je možné označiť blok monitorovania spektra, blok distribúcie a zdieľania spektra a nakoniec ekonomický blok distribúcie spektra. Súčasný stav poznania v oblasti dynamického prideľovania spektra sa výrazne limituje na analýzu vyšetrovania prevádzkových vlastností jednotlivých blokov, avšak ich vzájomná optimalizácia v dôsledku vysokej komplexity kognitívnej rádiovej siete je často obchádzaná. S cieľom riešiť tento problém, bude projekt IDR-KKS zameraný na vzájomnú optimalizáciu prevádzkových parametrov monitorovania a zdieľania spektra a ich dopad na navrhnuté ekonomické modely uvažovaných bezdrôtových štandardov 5G. Za účelom zachytenia vysokej dynamiky kognitívnej rádiovej siete, budeme v rámci projektu IDR-KKS uvažovať agentový prístup k modelovaniu a simulácií, ktorý sa ukázal ako veľmi efektívny v iných vedných odboroch (fyzika, ekonómia). Efektívnosť navrhnutých agentových modelov bude verifikovaná podľa vhodne zvolených scenárov. V rámci projektu IDR-KKS bude tiež realizovaná experimentálna kognitívna rádiová sieť umožňujúca verifikovať agentové modely aj v reálnej prevádzke.

Integrácia základných teórií softvérového inžinierstva do predmetov informatických študijných programov technických univerzít - návrh štruktúry a realizácia predmetov


Integrácia softvérových procesov do výučby programovania

Strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre integráciu výučby procesov softvérového inžinierstva do predmetov výučby programovania na vysokých školách v študijných programoch zameraných na informatiku a informačné technológie. V súčasnosti je v informatických študijných programoch mnohokrát oddeľovaná výučba programovania od procesnej stránky tvorby softvéru. Pri vývoji softvérových systémov v praxi sú však princípy, technológie a procesy neodlúčiteľné a sú systematicky aplikované počas celého trvania vývoja softvéru. Vychádzajúc z aktuálneho stavu na vysokých školách, v tomto projekte sa sústredíme na hľadanie nových metód a foriem vyučovania predmetov o tvorbe softvéru, ktoré umožnia prepojenie výučby programovania, technológií a procesov vývoja softvéru do harmonického celku. Tomuto bude podriadená nielen inovácia obsahovej stránky viacerých predmetov ale budeme sa výrazne sústrediť aj na vytváranie nástrojovej podpory, ktorá odbremení učiteľa od nekreatívnych a časovo náročných úloh. V oblasti návrhu a vytvárania nástrojov pre podporu metód vyučovania programovania sa zameriame na otázku simulácie procesov softvérového inžinierstva počas vytvárania softvérového produktu študentom. Simulácia bude v riešenom projekte zastupovať členov projektového tímu, vrátane projektového manažéra, ktorý bude dozerať na plnenie úloh a postup v rámci definovaného procesu. Nástrojová podpora umožní automatizovať získavanie okamžitej spätnej väzby pre študenta a vytvorí pre vyučujúceho priestor na individuálne venovanie sa študentovi.

Integrácia kvality softvérových procesov do osnov inžinierskych informatických programov technických univerzít - návrh štruktúry a realizácia náplne aktuálnych predmetov softvérového inžinierstva

KEGA č. 050TUKE-4/2013

Improving Applicability of Nature-Inspired Optimisation by Joining Theory and Practice

Nature-inspired search and optimisation heuristics are easy to implement and apply to new problems. However, in order to achieve good performance it is usually necessary to adjust them to the problem at hand. Theoretical foundations for the understanding of such approaches have been built very successfully in the past 20 years but there is a huge disconnect between the theoretical basis and practical applications. The development of powerful analytical tools, significant insights in general limitations of different types of nature-inspired optimisation methods and the development of more practically relevant perspectives for theoretical analysis have brought impressive advances to the theory-side of the field. However, so far impact on the application-side has been limited and few people in the diverse potential application areas have benefitted from these advances.

The main objective of the COST Action is to bridge this gap and improve the applicability of all kinds of nature-inspired optimisation methods. It aims at making theoretical insights more accessible and practical by creating a platform where theoreticians and practitioners can meet and exchange insights, ideas and needs; by developing robust guidelines and practical support for application development based on theoretical insights; by developing theoretical frameworks driven by actual needs arising from practical applications; by training Early Career Investigators in a theory of nature-inspired optimisation methods that clearly aims at practical applications; by broadening participation in the ongoing research of how to develop and apply robust nature-inspired optimisation methods in different application areas.

Implementácia moderných metód a foriem výučby v oblasti bezpečnosti informačných a komunikačných technológií k požiadavkám praxe

Hlavným cieľom projektu je hľadanie nových metód, foriem a technológií pre integráciu výučby v oblasti bezpečnosti do predmetov na vysokých školách v študijných programoch zameraných na informatiku a informačné technológie. V súčasnoti je v informatických štúdijných programoch častokrát oddeľovaná výučba bezpečnosti IT vzhľadom k používaniu IT resp. k vytváraniu nových systémov, architektúr. Pri vývoji softvérových systémov alebo iných systémov IT v praxi sú však princípy, technológie a procesy neodlúčiteľné a sú systematicky aplikovateľné počas celého trvania vývoja softvéru vrátane riešenia otázok bezpečnosti. Vychádzajúc z aktuálneho stavu na vysokých školách v tomto projekte sa sústredime na hľadanie nových metód a foriem vyučovania predmetov v oblasti bezpečnosti IT, ktoré umožnia lepšie prepojenie ostatných predmetov štúdijného programu Informatika a bezpečnosti do harmonického celku. Tomuto bude podriadená nielen inovácia obsahovej stránky niektorých predmetov ale sústredíme sa aj na vytváranie nástrojovej podpory, ktorá odbremení učiteľa od nekreatívnych a časovo náročných úloh. Je možné očakávať, že prehĺbenie vzájomného prepojenia predmetov Informatiky, počítačového a softvérového inžinierstva vzhľadom k otázkam bezpečnosti IKT(informačné a komunikačné technológie) prinesie zvýšenie kvality prípravy študentov štúdijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfér znalostí z oblasti bezpečnosti do ostatných predmetov študijných programov za pomoci vhodnej platformy smerom k strategickým požiadavkám praxe. Študenti budú môcť realizovať pragmatické projektové úlohy, definované príslušným predmetom s praktickým využitím výsledku, čo podľa očakávania riešiteľského kolektívu bude mať pozitívny dopad na kvalitu vzdelávania v študijnom programe Informatika.

Stránky