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

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 6 (SGA02004GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Automated methods and tools supporting development of reliable concurrent and distributed systems

Anotace anglicky

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

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

JD - Využití počítačů, robotika a její aplikace

CEP - další vedlejší obor

BC - Teorie a systémy řízení

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Cílem projektu byl rozvoj stávajících a návrh nových metod vývoje spolehlivých paralelních počítačových systémů. Za tím účelem byly v projektu rozvíjeny dva vzájemně komplementární přístupy, a to konkrétně metody vysokoúrovňového formálního návrhu systém

Zahájení řešení

1. 1. 2004

Ukončení řešení

1. 1. 2006

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP07-GA0-GA-U/03:2

Datum dodání záznamu

16. 10. 2007

Celkové uznané náklady

2 085 tis. Kč

Výše podpory ze státního rozpočtu

2 085 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč