Project Details

Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů

Project Period: 1. 1. 2004 - 31. 12. 2006

Project Type: grant

Code: GA102/04/0780

Agency: Czech Science Foundation


English title
Automated methods and tools supporting development of reliable parallel and distributed systems

Modeling, simulation, verification, prototyping, parallel, distrubuted


The goal of the project is to improve the existing and to propose new automated methods and tools for modelling and prototyping modern 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 parallel or distributed solution) will be being developed. The tools resulting from the project will be integrated in an open and flexible environment useful both as a support for future research as well as for real applications.

Team members
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , research leader
Haša Luděk, Ing. (UITS FIT VUT) , team leader
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , team leader
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Rábová Zdeňka, doc. Ing., CSc. (UITS FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader






Back to top