Projekty
Názov projektu | 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. |
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:
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:
|
IT4KT – Informačné technológie pre prenos znalostí |
Projekt ERDF č. 26220220123 |
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. |