Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů

Poskytovatel

Grantová agentura České republiky

Program

Doktorské granty

Veřejná soutěž

Doktorské granty 4 (SGA02009GA-DG)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

102/09/H042

Název projektu anglicky

Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems

Anotace anglicky

The basic aim of the project is to create an exceptional program for educating excellent PhD students from FIT BUT and FI MU within research targeted at solving current scientific problems of reliability and security of concurrent and distributed systems, which is one of the key issues of the contemporary computer science. Within this framework, the project covers a wide variety of concrete problems ranging from the design of reliable computing platforms, through the area of computer security to methodsof automatic verification of computer systems. The complexity of the studied problems necessitates a use of a combination of exact mathematical approaches with heuristic engineering techniques, which is ensured in the project by a unique combination ofresearchers with theoretical as well as engineering backgrounds. Apart from the complex and interdisciplinary approach, another key aspect of the preparation of students in the project lies in their intense involvement in international activities, basedon exceptional international relations of the project leaders.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

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

CEP - vedlejší obor

IN - Informatika

CEP - další vedlejší obor

—

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>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

Projekt vytvářel 4 roky inspirativní prostředí pro takřka 5 desítek doktorandů zaměřených na oblast vývoje spolehlivých a bezpečných paralelních a distribuovaných systémů. Přispěl k výchově skvělých odborníků, jejichž výsledky byly publikovány v 16 člán?

Zahájení řešení

1. 1. 2009

Ukončení řešení

31. 12. 2012

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

30. 3. 2012

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

CEP13-GA0-GD-U/01:2

Datum dodání záznamu

27. 1. 2014

Celkové uznané náklady

11 984 tis. Kč

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

11 984 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč