About: Integrated Verification and Falsification of Hybrid Systems of Industrial Size

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Integrated Verification and Falsification of Hybrid Systems of Industrial Size Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GCP202/12/J060
Description	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. (en) 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ů.
Title	Integrated Verification and Falsification of Hybrid Systems of Industrial Size (en) Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti
skos:notation	GCP202/12/J060
http://linked.open...avai/cep/aktivita	International projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GCP202%2F12%2FJ060/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GCP202%2F12%2FJ060/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-05-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	101145534
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	verification falsification debugging hybrid systems cyber-physical systems (en)
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	4 (xsd:int)
http://linked.open...enychVysledkuVRIV	4 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-03-31 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P202-12-J060
http://linked.open...iciPoslednihoRoku	2014
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SGA02012GA1GC
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2014-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2012-01-01 (xsd:date)
http://linked.open...jektu+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. (cs) 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. (en)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	Efficient solution of a class of quantified constraints with quantifier prefix exists-forall Effective Topological Degree Computation Based on Interval Arithmetic Safety verification of non-linear hybrid systems is quasi-decidable Combined Global and Local Search for the Falsification of Hybrid Systems
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GCP202%2F12%2FJ060/2015/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GCP202%2F12%2FJ060/2012/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GCP202%2F12%2FJ060/2013/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GCP202%2F12%2FJ060/2014/ico%3A67985807

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 26 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software