Integrated Verification and Falsification of Hybrid Systems of Industrial Size
Public support
Provider
Czech Science Foundation
Programme
International projects
Call for proposals
Mezinárodní projekty 6 (SGA02012GA1GC)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-12-J060
Alternative language
Project name in Czech
Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti
Annotation in Czech
Velkou část nákladů vývoje složitých systémů s hlubokou integrací software a fyzikálních komponentů (např. auta, vlaky, letadla) tvoří testování správnosti těchto systému. Pojem hybridního systém je formalismus pro modelování takových systémů. Výsledky tohoto projektu budou, vůbec poprvé, umožňovat metodám pro formální verifikaci hybridních systémů úspěšně zacházet s systémy velikosti vyskytující se v průmyslu. To se dosáhne integrací metod pro formální verifikaci a automatizovanou falsifikaci/testování. Protože nedávné výsledky v oblasti falsifikace hybridních systémů umí v určitých případech už dnes úspěšně zacházet s obrovskými systémy, a protože v případu software příslušná integrace verifikace a falsifikace měla za výsledek obrovské zlepšení výkonnosti, jsme přesvědčeni že tento přístup bude mít za výsledek příslušnou průlom také v oblasti hybridních systémů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project goals have been achieved only partially. The project contributed to the development of software tools HSolver and RSolver and it also resulted in several research publications. Still, it is below the average of the projects financed by the grant agency. The international aspect of the project was almost non-existing.
Solution timeline
Realization period - beginning
Jan 1, 2012
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Mar 31, 2014
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP15-GA0-GC-U/02:2
Data delivery date
Apr 8, 2016
Finance
Total approved costs
2,535 thou. CZK
Public financial support
2,535 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK