Filtry
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
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 <...
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
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 t...
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 t...
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
Cyber Security for Cross Domain Reliable Dependable Automated Systems (8A18014)
The high-level goal of SECREDAS is to develop and validate multi-domain architecting methodologies, reference architectures, components and suitable integration and verification approaches for automated sy...
Computer hardware and architecture
- 2018 - 2021 •
- 15 135 tis. Kč •
- 9 714 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2018 - 30. 4. 2021
Uznané náklady
Podpora ze státního rozpočtu (64%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)
S ohledem na složitost současného software a rostoucí požadavky na jeho spolehlivost jsou k dosažení jeho patřičné kvality vysoce zapotřebí automatizované metody analýzy a verifikace, klasické testování již nepostačuje. Ovšem přes značný pokrok v dan...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 10 611 tis. Kč •
- 9 278 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
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 inENABLE-S3 will pave the way for accelerated application of highly automated and autonomous systems in the mobility dom...
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
Efektivní konečné automaty pro automatické usuzování (LL1908)
Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...
Automation and control systems
- 2020 - 2024 •
- 35 585 tis. Kč •
- 35 585 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verifikace a hledání chyb v pokročilém softwaru (GA17-12465S)
Automatizovaná verifikace a vyhledávání chyb v softwaru patří mezi témata aktivně řešená jak na univerzitách tak v průmyslu. Konečně tyto techniky mohou ušetřit značné finanční prostředky a u bezpečnostně kritických aplikací také lidské životy. Cílem...
JC - Počítačový hardware a software
- 2017 - 2019 •
- 8 912 tis. Kč •
- 7 448 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (84%)
Poskytovatel: Grantová agentura České republiky
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......
IN - Informatika
- 2010 - 2012 •
- 1 641 tis. Kč •
- 1 318 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 6 910