Projekty
Názov projektu | 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 |
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:
|
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. |
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ť.
|