. . "2012-01-01+01:00"^^ . "verification falsification debugging hybrid systems cyber-physical systems"@en . "2014-12-31+01:00"^^ . . . . "0"^^ . . "http://www.isvav.cz/projectDetail.do?rowId=GCP202/12/J060"^^ . "2015-05-22+02:00"^^ . "Integrovan\u00E1 verifikace a falzifikace hybridn\u00EDch syst\u00E9m\u016F pr\u016Fmyslov\u00E9 velikosti" . . "Velkou \u010D\u00E1st n\u00E1klad\u016F v\u00FDvoje slo\u017Eit\u00FDch syst\u00E9m\u016F s hlubokou integrac\u00ED software a fyzik\u00E1ln\u00EDch komponent\u016F (nap\u0159. auta, vlaky, letadla) tvo\u0159\u00ED testov\u00E1n\u00ED spr\u00E1vnosti t\u011Bchto syst\u00E9mu. Pojem hybridn\u00EDho syst\u00E9m je formalismus pro modelov\u00E1n\u00ED takov\u00FDch syst\u00E9m\u016F. V\u00FDsledky tohoto projektu budou, v\u016Fbec poprv\u00E9, umo\u017E\u0148ovat metod\u00E1m pro form\u00E1ln\u00ED verifikaci hybridn\u00EDch syst\u00E9m\u016F \u00FAsp\u011B\u0161n\u011B zach\u00E1zet s syst\u00E9my velikosti vyskytuj\u00EDc\u00ED se v pr\u016Fmyslu. To se dos\u00E1hne integrac\u00ED metod pro form\u00E1ln\u00ED verifikaci a automatizovanou falsifikaci/testov\u00E1n\u00ED. Proto\u017Ee ned\u00E1vn\u00E9 v\u00FDsledky v oblasti falsifikace hybridn\u00EDch syst\u00E9m\u016F um\u00ED v ur\u010Dit\u00FDch p\u0159\u00EDpadech u\u017E dnes \u00FAsp\u011B\u0161n\u011B zach\u00E1zet s obrovsk\u00FDmi syst\u00E9my, a proto\u017Ee v p\u0159\u00EDpadu software p\u0159\u00EDslu\u0161n\u00E1 integrace verifikace a falsifikace m\u011Bla za v\u00FDsledek obrovsk\u00E9 zlep\u0161en\u00ED v\u00FDkonnosti, jsme p\u0159esv\u011Bd\u010Deni \u017Ee tento p\u0159\u00EDstup bude m\u00EDt za v\u00FDsledek p\u0159\u00EDslu\u0161nou pr\u016Flom tak\u00E9 v oblasti hybridn\u00EDch syst\u00E9m\u016F." . "\u0158e\u0161itelsk\u00E9mu t\u00FDmu se poda\u0159ilo dos\u00E1hnout c\u00EDl\u016F projektu jen v omezen\u00E9 m\u00ED\u0159e. Projekt sice p\u0159isp\u011Bl k v\u00FDvoji softwarov\u00FDch n\u00E1stroj\u016F HSolver a RSolver a poda\u0159ilo se dos\u00E1hnout n\u011Bkolika publikac\u00ED, ale projekt je i tak mezi projekty financovan\u00FDmi GA \u010CR podpr\u016Fm\u011Brn\u00FD. Mezin\u00E1rodn\u00ED rozm\u011Br projektu se nepoda\u0159ilo naplnit t\u00E9m\u011B\u0159 v\u016Fbec."@cs . "Integrated Verification and Falsification of Hybrid Systems of Industrial Size"@en . "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 . "1"^^ . . . "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 . . . . "0"^^ . "4"^^ . . "4"^^ . . . . . . "2014-03-31+02:00"^^ . "GCP202/12/J060" .