Automated methods and tools supporting development of reliable concurrent and distributed systems
Project goals
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 theBrno 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
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 6 (SGA02004GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů
Annotation in Czech
Cílem projektu je rozvoj stávajících a návrh nových automatizovaných metod a nástrojů pro modelování a prototypování moderních paralelních a distribuovaných systémů a pro ověřování korektnosti těchto systémů a nebo jejich částí na úrovni specializovanýchabstraktních modelů i prototypů. Řešení vychází převážně z původního matematického modelu objektově orientovaných Petriho sítí, který byl vytvořen řešiteli na FIT VUT v Brně a který spojuje výhody vysokoúrovňových Petriho sítí s výhodami objektově orientovaných návrhových technologií. Pro potřeby ověřování korektnosti uvažovaných systémů budou rozvíjeny metody efektivní simulace a formální analýzy a verifikace, včetně možnosti paralelního či distribuovaného řešení. Projekt přinese metodologii a příslušné počítačové nástroje pro podporu modelování a prototypování paralelních a distribuovaných systémů s využitím vybraných metod formální analýzy a verifikace. Vyvinuté počítačové nástroje budou integrovány ve formě otevřeného prostředí,
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
JD - Use of computers, robotics and its application
CEP - another secondary branch
BC - Theory and management systems
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20204 - Robotics and automatic control
20205 - Automation and control systems
20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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
Solution timeline
Realization period - beginning
Jan 1, 2004
Realization period - end
Jan 1, 2006
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP07-GA0-GA-U/03:2
Data delivery date
Oct 16, 2007
Finance
Total approved costs
2,085 thou. CZK
Public financial support
2,085 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
2 085 CZK thou.
Public support
2 085 CZK thou.
0%
Provider
Czech Science Foundation
CEP
JC - Computer hardware and software
Solution period
01. 01. 2004 - 01. 01. 2006