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ů.
Cíle projektu
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.
Klíčová slova
verificationconstraint solvingcyber-physical systemsembedded systems
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
COST
Veřejná soutěž
COST 8 (SMSM2010OC5)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
1081/2011-320
Alternativní jazyk
Název projektu anglicky
Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.
Anotace anglicky
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.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
JC - Počítačový hardware a software
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt úspěšně dosáhl plánované cíle vývoje teorie, agoritmů a software pro efektivní zacházení s nelineárními numerickými podmínkami vyskytující se v automatické dedukci o bohatých modelech počítačových systémů.
Termíny řešení
Zahájení řešení
1. 5. 2010
Ukončení řešení
31. 12. 2012
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
27. 2. 2012
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP13-MSM-OC-U/01:1
Datum dodání záznamu
28. 6. 2013
Finance
Celkové uznané náklady
1 641 tis. Kč
Výše podpory ze státního rozpočtu
1 318 tis. Kč
Ostatní veřejné zdroje financování
323 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
1 641 tis. Kč
Statní podpora
1 318 tis. Kč
80%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
CEP
IN - Informatika
Doba řešení
01. 05. 2010 - 31. 12. 2012