"GA102/04/0780" . "40"^^ . "0"^^ . . . "40"^^ . . . "1"^^ . . . "Automated methods and tools supporting development of reliable concurrent and distributed systems"@en . . "Automatizovan\u00E9 metody a n\u00E1stroje pro v\u00FDvoj spolehliv\u00FDch paraleln\u00EDch a distribuovan\u00FDch syst\u00E9m\u016F" . "C\u00EDlem projektu je rozvoj st\u00E1vaj\u00EDc\u00EDch a n\u00E1vrh nov\u00FDch automatizovan\u00FDch metod a n\u00E1stroj\u016F pro modelov\u00E1n\u00ED a prototypov\u00E1n\u00ED modern\u00EDch paraleln\u00EDch a distribuovan\u00FDch syst\u00E9m\u016F a pro ov\u011B\u0159ov\u00E1n\u00ED korektnosti t\u011Bchto syst\u00E9m\u016F a nebo jejich \u010D\u00E1st\u00ED na \u00FArovni specializovan\u00FDchabstraktn\u00EDch model\u016F i prototyp\u016F. \u0158e\u0161en\u00ED vych\u00E1z\u00ED p\u0159ev\u00E1\u017En\u011B z p\u016Fvodn\u00EDho matematick\u00E9ho modelu objektov\u011B orientovan\u00FDch Petriho s\u00EDt\u00ED, kter\u00FD byl vytvo\u0159en \u0159e\u0161iteli na FIT VUT v Brn\u011B a kter\u00FD spojuje v\u00FDhody vysoko\u00FArov\u0148ov\u00FDch Petriho s\u00EDt\u00ED s v\u00FDhodami objektov\u011B orientovan\u00FDch n\u00E1vrhov\u00FDch technologi\u00ED. Pro pot\u0159eby ov\u011B\u0159ov\u00E1n\u00ED korektnosti uva\u017Eovan\u00FDch syst\u00E9m\u016F budou rozv\u00EDjeny metody efektivn\u00ED simulace a form\u00E1ln\u00ED anal\u00FDzy a verifikace, v\u010Detn\u011B mo\u017Enosti paraleln\u00EDho \u010Di distribuovan\u00E9ho \u0159e\u0161en\u00ED. Projekt p\u0159inese metodologii a p\u0159\u00EDslu\u0161n\u00E9 po\u010D\u00EDta\u010Dov\u00E9 n\u00E1stroje pro podporu modelov\u00E1n\u00ED a prototypov\u00E1n\u00ED paraleln\u00EDch a distribuovan\u00FDch syst\u00E9m\u016F s vyu\u017Eit\u00EDm vybran\u00FDch metod form\u00E1ln\u00ED anal\u00FDzy a verifikace. Vyvinut\u00E9 po\u010D\u00EDta\u010Dov\u00E9 n\u00E1stroje budou integrov\u00E1ny ve form\u011B otev\u0159en\u00E9ho prost\u0159ed\u00ED," . . . . "C\u00EDlem projektu byl rozvoj st\u00E1vaj\u00EDc\u00EDch a n\u00E1vrh nov\u00FDch metod v\u00FDvoje spolehliv\u00FDch paraleln\u00EDch po\u010D\u00EDta\u010Dov\u00FDch syst\u00E9m\u016F. Za t\u00EDm \u00FA\u010Delem byly v projektu rozv\u00EDjeny dva vz\u00E1jemn\u011B komplement\u00E1rn\u00ED p\u0159\u00EDstupy, a to konkr\u00E9tn\u011B metody vysoko\u00FArov\u0148ov\u00E9ho form\u00E1ln\u00EDho n\u00E1vrhu syst\u00E9m"@cs . . "The goal of the project is to improve the existing and to propose new automated methods and tools for modelling and prototyping modem concurrent and distributed systems and for checking correctness of such systems (or their key parts) at the level of specialized abstract models as well as prototypes. The proposed approach builds to a large degree upon the original formal model of object-oriented Petri nets that has been proposed by the project team members at the Faculty of Information Technology of the Brno University of Technology and that combines advantages of high-level Petri nets and object-oriented design technologies. The project will bring in a methodology and computer-aided tools for modelling and prototyping concurrent and distributed computerized systems with various methods applicable for validating correctness of these systems. For the needs of the correctness validation, methods of efficient simulation and formal analysis and verification (including the possibility of their"@en . . "0"^^ . "Neuvedeno."@en . . . . . "The goal of the project was to improve the existing and to propose new methods for developing reliable concurrent computer-based systems. For this reason, two mutually complementary approaches were followed in the project, namely methods of high-level fo"@en . . "http://www.isvav.cz/projectDetail.do?rowId=GA102/04/0780"^^ . . "2007-10-16+02:00"^^ . . . .