Projekty

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

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
IT4KT – Informačné technológie pre prenos znalostí

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

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.

Manufacturing Industry Digital Innovation Hubs

MIDIH "Manufacturing Industry Digital Innovation Hubs", is a "one stop shop" of services, providing industry with access to the most advanced digital solutions, the most advanced industrial experiments, pools of human and industrial competencies and access to "ICT for Manufacturing" market and financial opportunities.

MIDIHs will leverage networks of local Competence Centres, each specialised in peculiar aspects of the CPPS/IIOT (Cyber Physical Production System / Industrial Internet of Things) technologies and able to attract, mentor and nurture local Manufacturing SMEs towards Industry 4.0 projects, experiments and business. A common platform of knowledge, methods and collaboration tools will be shared among the MIDIHs network and allow cross-border fertilisation, continuous improvement, open innovation.

Metodická a obsahová inovácia výučby vybraných predmetov z oblasti informačných a komunikačných technológií s orientáciou pre potreby praxe na báze využívania moderných videokonferenčných a kolaboračných nástrojov
Cieľom projektu je metodická a obsahová inovácia výučby IKT predmetov na troch vysokých školách, ktoré sú zamerané na oblasť počítačových sietí so špecifickým zohľadnením na integráciu moderných videokonferenčných a kolaboratívnych nástrojov. Projekt reaguje na požiadavku praxe a zamestnávateľov, aby absolventi technických vysokých škôl boli kvalitne pripravení a získali vedomosti, ktoré korelujú s priemyselnými certifikáciami v predmetnej oblasti. Zároveň sa implementáciou projektu dosiahne kvalitnejšia spolupráca medzi odborníkmi a pedagógmi Fakulty elektrotechniky a informatiky Technickej univerzity v Košiciach (FEI TUKE), Fakulty informatiky a informačných technológií Slovenskej Technickej univerzity (FIIT STU) a Fakulty riadenia a informatiky Žilinskej univerzity v Žiline (FRI UNIZA) s možnosťou ich vzájomného prepojenia a vzdialeného zapájania do vyučovacieho procesu partnerských škôl. V rámci nasadzovania nových metodík sa primárny dôraz bude klásť na ich využiteľnosť pre dištančné formy vzdelávania a to integráciou videokonferenčnej a kolaboračnej technológie, pokročilými simulačnými zadaniami, multimediálnym obsahom a prístupom k týmto prvkom cez modernú webovú platformu.
Mikrolearningové prostredie pre vzdelávanie odborníkov v oblasti informačnej bezpečnosti


Moderný prístup k výučbe predmetov na univerzitnej úrovni v oblasti teoretickej informatiky.

V tejto iniciatíve podporenej Islandom, Lichtenštajnskom a Nórskom prostredníctvom grantov EHP a Nórskych grantov prebieha spolupráca medzi Technickou Univerzitou v Košiciach (TUKE) a Univerzitou v Osle (UiO). Cieľom iniciatívy je inovácia výučby predmetov zameraných na teoretickú informatiku, využitím moderných edukačných prístupov a nástrojov.

Hlavným cieľom je plánovaný vývoj interaktívneho výučbového nástroja, prostredníctvom ktorého môžu používatelia študovať základné princípy dedukcie a manipulácie s dôkazmi ako programami. V rámci osobných stretnutí na pôdach oboch zúčastnených univerzít, ako aj počas pravidelných online konferencií sa členovia riešiteľského kolektívu podelia o svoje dlhoročné skúsenosti s výučbou predmetov zameraných na logiku, teóriu typov a sémantiku programovacích jazykov.

Medzi ďalšie ciele iniciatívy patrí spolupráca pri vývoji nových učebných materiálov pre obe strany, výskum v oblasti vývoja interaktívnych dokazovacích systémov, s dôrazom na exaktnú vizualizáciu emulácie procesu dokazovania a ich využitia pri výučbe, ako aj možností gamifikácie procesu výučby. Nadobudnuté výsledky iniciatívy budú implementované do výučbového procesu a inovatívne výsledky výskumu budú prezentované na medzinárodných vedeckých konferenciách.

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.
Nová inžinierska disciplína: zelený softvér

Cieľom projektu je naštudovanie a návrh techník, ktoré umožnia programátorom rozhodovať o svojich programoch v zmysle spotreby energie na základe vybraných modelov. Naviac plánujeme vyvinúť nástroje na vytváranie energetického profilu, detektory energetických chýb, vzory refaktorizácie s cieľom zmeniť spotrebu energie, testvéry zamerané na spotrebu energie a optimalizovače spotreby energie, pomocou ktorých nástrojov poukážeme na vzťah medzi zdrojovým kódom a spotrebou energie a na to, že sa to dá optimalizovať. Naše techniky a nástroje overíme na reálnych aplikáciách.

Stránky