Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
Verification and Validation of Automated Systems' Safety and Security (8A20010)
VALU3S will design and evaluate a novel framework for V&V of automated systems with respect to safety, security and privacy requirements. Two reference lists are designed and detailed referring to (i) V&V methods and
Computer hardware and architecture
- 2020 - 2023 •
- 6 447 tis. Kč •
- 2 578 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
European initiative to enable validation for highly automated safe and secure systems (8A16005)
. Creation of an eco-system for the validation and verification of automated systems in well as in the health care domain. Virtual testing, verification and coverage and validation framew...
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 4 730 tis. Kč •
- 4 730 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 31. 5. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20008)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time <...
Computer hardware and architecture
- 2020 - 2023 •
- 8 251 tis. Kč •
- 3 300 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20009)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time <...
Computer hardware and architecture
- 2020 - 2023 •
- 16 825 tis. Kč •
- 10 935 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Využití metodiky Model checking pro testování systémů I&C v jaderné energetice (TK01020068)
Hlavním záměrem projektu je zvýšení kvality a bezpečnosti provozu současných i nově budovaných výrobních bloků jaderných elektráren. Projekt je rozdělen do dvou dílčích cílů, jejich aplikací vznikne nástroj, zařízení, pro efektivní ověřování nově vyr...
Nuclear related engineering; (nuclear physics to be 1.3);
- 2018 - 2021 •
- 31 409 tis. Kč •
- 18 274 tis. Kč •
- TA ČR
Řešení projektu: 1. 7. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Technologická agentura ČR
Řízení jakosti při vývoji vysoce spolehlivých SW (VS97037)
Výrazným soudobým požadavkem v technické a inženýrské činnosti, včetně vývojových prací, je jakost. Řada studií ukazuje, že v jejím řízení obecně nejvíce zaostáváme. Řízení jakosti se proto postupně stává samostatně sledovanou problematikou. Projekt ...
JS - Řízení spolehlivosti a kvality, zkušebnictví
- 1997 - 2000 •
- 8 017 tis. Kč •
- 5 991 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1997 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (75%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
European Initiative to Enable Validation for Highly automated Safe and Secure Systems - ENABLE-S3 (8A16006)
Development of the validation system for highly automated safe and secure systems, automotive, railways, navy , aerospace, farming, health. Automation of the system validation - "virtual reality".......
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 14 017 tis. Kč •
- 4 124 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 30. 4. 2019
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Synergy of multiscale Modelling and machine Learning Strategy for biomedical sciences and battle against cancer (8X23029)
models at each scale, and the machine learning will provide the parameters variability information, as well as model validation and verification. Of special interestTo develop a new paradigm based upon the Synergy...
Civil engineering
- 2023 - 2025 •
- 251 tis. Kč •
- 251 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2023 - 30. 6. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (7H14013)
verification and validation methodologies. The formal specification framework will support, R5-COP will support model-based design, engineering, validation, and fast a consequence of frequent innovation, ...
JD - Využití počítačů, robotika a její aplikace
- 2014 - 2016 •
- 566 tis. Kč •
- 6 tis. Kč •
- MŠMT
Řešení projektu: 1. 2. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (1%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 5 421