Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní projekty

Veřejná soutěž

Mezinárodní projekty 6 (SGA02012GA1GC)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P202-12-J060

Název projektu anglicky

Integrated Verification and Falsification of Hybrid Systems of Industrial Size

Anotace anglicky

A large part of the development costs of complex systems with a deep integration of software and physical components (e.g., cars, trains, airplanes) goes into the stage of testing the correctness of the system design. The notion of a hybrid system is a formalism to model such systems. The results of this project will, for the first time, allow techniques for formal verification of hybrid systems to handle systems of industrial size. This will be achieved by integrating techniques for formal verificationand automated falsification/testing. Since new results in hybrid systems falsification allow the handling of huge systems already now, and since, in the case of software, a corresponding integration of verification and falsification has resulted in hugespeedups, we are convinced that this approach will result in a corresponding break-through also in the field of hybrid systems.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Řešitelskému týmu se podařilo dosáhnout cílů projektu jen v omezené míře. Projekt sice přispěl k vývoji softwarových nástrojů HSolver a RSolver a podařilo se dosáhnout několika publikací, ale projekt je i tak mezi projekty financovanými GA ČR podprůměrn?

Zahájení řešení

1. 1. 2012

Ukončení řešení

31. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

31. 3. 2014

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

CEP15-GA0-GC-U/02:2

Datum dodání záznamu

8. 4. 2016

Celkové uznané náklady

2 535 tis. Kč

Výše podpory ze státního rozpočtu

2 535 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč