Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
Automatizace formální verifikace (TH04010192)
Cílem projektu AUtomatizace FOrmální VERifikace (AUFOVER) je vývoj automatizovaných formálních verifikačních nástrojů a jejich integrace pro průmyslové využití. V rámci projektu budou vyvinuty nebo vylepšeny nástroje: Verifikační server, Klientská ap...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 27 914 tis. Kč •
- 16 376 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Technologická agentura ČR
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje ...
JC - Počítačový hardware a software
- 2010 - 2013 •
- 4 752 tis. Kč •
- 4 752 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
APS PRO VÝROBU S FLEXIBILNÍMI ZDROJI A PROCESY (FW10010454)
Vytvořit nový APS systém založený na optimalizačních algoritmech, flexibilních zdrojích, BPMN procesech a strojovém učení...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 - 2026 •
- 19 297 tis. Kč •
- 13 506 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2024 - 30. 6. 2026
Uznané náklady
Podpora ze státního rozpočtu (70%)
Poskytovatel: Technologická agentura ČR
BEZINSYS-Modernizace a technické ověřování používaných bezpečnostních technologií v oblasti kontrolní a inspekční činnosti informačních systémů a v oblasti bezpečnosti a ochrany projektů v resortu MO. (MO15171199103)
Modernizace bezpečnostních technologií a ověřování těchto technologií v resortu MO...
KA - Vojenství
- 1999 - 2000 •
- 380 tis. Kč •
- 380 tis. Kč •
- MO
Řešení projektu: 1. 1. 1999 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo obrany
OECD - CABRI ""Přenos a uplatnění výsledků ve vědě a technice v ČRů (LA 148)
Projekt umožní přímou účast ČR na projektu OECD - CABRI zaměřeného na zajištění bezpezpečnosti vysoce vyhořelého jaderného paliva. , při změnách reaktivity a při ztrátě chlazení paliva - využití výsledků experimentů ke zlepšení predikce chování vysoc...
JF - Jaderná energetika
- 2002 - 2006 •
- 13 102 tis. Kč •
- 6 551 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2002 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (50%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)
Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......
IN - Informatika
- 2008 - 2009 •
- 92 tis. Kč •
- 92 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Vývoj dieselelektrické modulové lokomotivy typu ČME3 řady 774.7. (FI-IM2/061)
Vývoj a modernizace dieselelektrické modulové lokomotivy typu ČME3 řady 774.7. Výstupem bude prototyp lokomotivy, který bude ověřen podle zákona č. 266/1994 Sb.......
JO - Pozemní dopravní systémy a zařízení
- 2005 - 2006 •
- 93 262 tis. Kč •
- 22 663 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2005 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (24%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Pilotní ověření v MZA Brno (TITDMVCR701MT03)
Cílem projektu je zvýšení efektivity, rozšiřování a zkvalitňování činností v archivnictví a ve spisové službě, zejména s ohledem na požadavky digitalizace, zpřístupňování a dostupnosti archiválií, správy archivních fondů a nové výzvy plynoucí z rozvo...
IN - Informatika
- 2017 - 2017 •
- 169 tis. Kč •
- 169 tis. Kč •
- TA ČR
Řešení projektu: 7. 8. 2017 - 5. 11. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Geofyzikální výzkum liniových protipovodňových staveb a vývoj technologie pro predikci jejich destrukcí (GEMSTONE) (OE 225)
monitorování stavu ochranných hrází in situ za současného vývoje inovační technologie verifikace defektu...
JN - Stavebnictví
- 2006 - 2008 •
- 6 616 tis. Kč •
- 3 063 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (46%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 161