Informace o projektu
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
- Kód projektu
- GD102/05/H050
- Období řešení
- 4/2005 - 12/2008
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- souběžnost, verifikace, modelování, kvantové výpočty, diskrétní matematika
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Cílem projektu je vytvoření kvalitativně nového typu výchovy doktorandů, který odpovídá současným mezinárodním trendům. Projekt je zaměřen na vysoce aktuální oblast paralelních a distribuovaných systémů. Počítá se zapojením 18 velmi perspektivních doktorandů ročně. Při vytváření nové kvality bude využito jak bohatých vědeckých, aplikačních a výchovných zkušeností týmu školitelů, tak již vybudované struktury laboratoří, existujících systémů seminářů a bohatých mezinárodních kontaktů. Těžištěm nového přístupu je důraz na kooperativní a mezinárodní charakter výchovy dokotrandů, týmovou práci v laboratořích a zapojení studentů do mezinárodních doktorandských aktivit. Projekt počítá s propojením výzkumných skupin, které v současné době existují na Fakultě informatiky MU v Brně, na Přírodovědecké fakultě MU v Brně a na Fakultě informačních technologií VUT v Brně. Kombinuje se tak základní a aplikovaný výzkum, který je na těchto institucích realizován. Pro výchovu studentů DSP již byly vytvořeny dobré podmínky (včetně technického a přístrojového vybavení). Cílem projektu je posunout tuto kvalitu o další stupeň výše a dostat se tak na úroveň špičkových mezinárodních vědecko-výzkumných center.
Výsledky
Vybudovat prostředí pro vědeckou přípravu studentů DSP v informatice, které by dlouhodobě garantovalo výchovu špičkových odborníků pro akademickou i průmyslovou sféru.
Publikace
Počet publikací: 80
2006
-
Component Placement in Distributed Environment w.r.t. Component Interaction
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), rok: 2006
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, rok: 2006, ročník: 31, vydání: 2
-
Component-Interaction Automata Modelling Language
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, rok: 2006
-
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 2006
-
Formal Analysis of Component-Based Systems in View of Comp. Interactions
Proceedings of the International Research Training Groups Workshop 2006, rok: 2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, rok: 2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 135, vydání: 2