This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n5http://linked.opendata.cz/resource/domain/vavai/subjekt/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n8http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n21http://linked.opendata.cz/resource/domain/vavai/soutez/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/GCP202%2F12%2FJ060/
n14http://reference.data.gov.uk/id/gregorian-year/
n12http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:GCP202%2F12%2FJ060
rdf:type
n8:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GCP202/12/J060
dcterms:description
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ů. 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 verification and 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 huge speedups, we are convinced that this approach will result in a corresponding break-through also in the field of hybrid systems.
dcterms:title
Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti Integrated Verification and Falsification of Hybrid Systems of Industrial Size
skos:notation
GCP202/12/J060
n3:aktivita
n12:GC
n3:celkovaStatniPodpora
n6:celkovaStatniPodpora
n3:celkoveNaklady
n6:celkoveNaklady
n3:datumDodatniDoRIV
2015-05-22+02:00
n3:druhSouteze
n4:VS
n3:duvernostUdaju
n19:S
n3:fazeProjektu
n15:101145534
n3:hlavniObor
n13:IN
n3:hodnoceniProjektu
n18:U
n3:kategorie
n17:ZV
n3:klicovaSlova
verification falsification debugging hybrid systems cyber-physical systems
n3:partnetrHlavni
n5:ico%3A67985807
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
4
n3:pocetZverejnenychVysledkuVRIV
4
n3:posledniUvolneniVMinulemRoce
2014-03-31+02:00
n3:prideleniPodpory
n16:P202-12-J060
n3:sberDatUcastniciPoslednihoRoku
n14:2014
n3:sberDatUdajeProjZameru
n14:2015
n3:soutez
n21:SGA02012GA1GC
n3:statusZobrazovaneFaze
n20:DUU
n3:typPojektu
n9:P
n3:ukonceniReseni
2014-12-31+01:00
n3:zahajeniReseni
2012-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
Ř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ý. Mezinárodní rozměr projektu se nepodařilo naplnit téměř vůbec. 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.
n3:zivotniCyklusProjektu
n7:ZBKU