Projekty

Názov projektuzoradiť vzostupne Stručný popis projektu
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/

IT Akadémia – vzdelávanie pre 21. storočie

Vytvorenie modelu vzdelávania a prípravy mladých ľudí pre aktuálne a perspektívne potreby vedomostnej spoločnosti a trhu práce so zameraním na informatiku a IKT

NADVÄZNOSŤ NA ŠPECIFICKÉ CIELE OP ĽZ:

1.1.1 Zvýšiť inkluzívnosť a rovnaký prístup ku kvalitnému vzdelávaniu a zlepšiť výsledky a kompetencie detí a žiakov

Korelácia s očakávanými výsledkami a aktivitami v rámci daného špecifického cieľa:

  • zvýšenie matematických, prírodovedných a IKT zručnosti žiakov
  • podpora spolupráce v oblasti výmeny skúsenosti vo výchovno-vzdelávacom procese (sieťovanie medzi školami,…)
  • zapojenie odborníkov z iných sektorov do procesu vzdelávania
  • uskutočňovanie stáží a praktickej prípravy pedagógov v nadväznosti na prepojenie teoretickej a praktickej výučby

1.3.1 Zvýšiť kvalitu VŠ vzdelávania a rozvoj ľudských zdrojov v oblasti výskumu a vývoja s cieľom dosiahnuť prepojenie VŠ vzdelávania s potrebami trhu práce

Korelácia s očakávanými výsledkami a aktivitami v rámci daného špecifického cieľa:

  • zvýšenie záujmu o štúdium STEM a IT
  • podpora inovačných a riešiteľských schopnosti v rámci vyššieho vzdelávania
  • tvorba a inovácia študijných programov s dôrazom na potreby trhu práce
  • podpora inovatívnych a alternatívnych metód vzdelávania a vyučovacích metód
  • zapájanie odborníkov z iných sektorov do procesu vzdelávania
  • zvýšenie kvality vzdelávania a popularizácia štúdia STEM a IT v učiteľských odboroch
Interaktívny vývoj jazykov založený na vzoroch

Cieľom projektu je preskúmanie nových prístupov k návrhu a implementácii formalných jazykov. Tieto prístupy budú založené na syntéze metód z oblasti formálnych jazykov, interakcie človeka s počítačom a analýzy dát.
Proces návrhu a implementácie jazyka má byť interaktívnou a exploratívnou aktivitou, pri ktorej návrhár jazyka má možnosť experimentovať s návrhom zápisu jazyka a súvisiacich nástrojov a okamžite upravovať definíciu jazyka na základe výsledkov experimentov. Pre dosiahnutie tohto cieľa je nevyhnutné navrhnúť nové metódy pre automatické odvodenie špecifikácie jazyka na základe jeho abstraktnej syntaxe, príkladov viet a interakcie s návrhárom jazyka.

Inteligentné operačné a spracovateľské systémy pre UAV

Predmetom výskumu je výskum možností a spôsobov uplatnenia prostriedkov UAV v kombinácií s pokročilými IKT prostriedkami v podmienkach automobilovej výroby s cieľom výskumu a vývoja autonómnej UAV platformy pre zber dát a autonómnej IKT platformy pre automatické spracovanie dát pre generovanie korekčných vstupov v reálnom čase voči výrobným, technologickým a podporným procesom automobilovej výroby.

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

Inovácia vzdelávania predmetov zameraných na kybernetickú bezpečnosť v kontexte požiadaviek praxe
Cieľom projektu je obsahová a metodická inovácia predmetov zameraných na kybernetickú bezpečnosť v oblasti počítačových sietí, ktoré sú vyučované na Katedre počítačov a informatiky, Fakulty elektrotechniky a informatiky, Technickej univerzity v Košiciach. Vzhľadom na zriadenie samostatného študijného odboru Kyberbezpečnosť bolo potrebné vytvoriť nové predmety, ktoré svojim obsahom dokážu vzdelávať v kontexte aktuálnych trendov a podľa požiadaviek praxe. Keďže sa jedná o progresívnu oblasť IT je dôležité ponúknuť kvalitné didaktické podklady po stránke metodickej i metodologickej s využitím bádateľských prístupov a interdisciplinárnym presahom. Tento projekt taktiež reflektuje na pribúdajúce požiadavky zamestnávateľov získať kvalitných absolventov, ktorých je v tejto oblasti na Slovensku vzdelávaných v porovnaní s iným IT špecializáciami minimum. Výsledkom riešenia projektu by mala byť inovácia troch predmetov, ktoré povedú ich absolventov k získaniu priemyselných medzinárodne uznávaných certifikácií. Zároveň bude pozornosť venovaná prispôsobeniu obsahu aj na dištančné vzdelávanie, vzhľadom na skúsenosť z posledného obdobia, ktoré zastihlo mnohých jednotlivcov i inštitúcie nepripravené. Vytvorený obsah bude zároveň voľne zdieľaný pre iné vysoké školy a širokú verejnosť.

Stránky