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 paralelní a distribuované systémy, na jejich modelování, simulaci, verifikaci, související teoretické otázky i aplikace. Počítá se zapojením 18 nejperspektivnějších doktorandů ze všech zúčastněných pracovišť (přibližně 7 z FIT VUT, 9 z FI MU a 2 z PřF MU). 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 doktorandů, společné vedení doktorandů učiteli z různých pracovišť a s do jisté míry různým primárním zaměřením, týmovou práci v laboratořích a zapojení studentů do mezinárodních doktorandských aktivit (účast na mezinárodních konferencích a letních školách, pořádání pravidelného mezinárodního workshopu pro studenty doktorského studijního programu, speciální kurzy doktorského studijního programu vyučované zahraničními odborníky, atd.). Nosná témata projektu se odvíjejí od výzkumných priorit zúčastněných institucí, které jsou v mnoha ohledech příbuzné. Kombinuje se tak základní a aplikovaný výzkum, který je na těchto institucích realizován v souladu s jejich zaměřením. Důležitou výhodou je v tomto směru skutečnost, že se zapojené instituce nacházejí nedaleko od sebe a je tedy možné realizovat společné přednášky, semináře apod. prakticky bez časových ztrát a dalších finančních nákladů spojených s cestováním a ubytováním. Pro výchovu studentů doktorského studijního programu již byly na těchto institucích 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ýchovných center (typu BRICS v Dánsku, nebo CWI v Holandsku).

Description in English
english

Keywords
souběžnost; kvantové výpočty; verifikace; modelování; diskrétní matematika

Key words in English
concurrency; quantum computing; verification; modelling; discrete mathematics

GD102/05/H050

Czech

Češka Milan, prof. RNDr., CSc. - principal person responsible
Gruska Jozef, prof. RNDr., DrSc. - principal person responsible
Hanáček Petr, doc. Dr. Ing. - fellow researcher
Kotásek Zdeněk, doc. Ing., CSc. - fellow researcher
Rábová Zdeňka, doc. Ing., CSc. - fellow researcher
Růžička Richard, doc. Ing., Ph.D., MBA - fellow researcher
Švéda Miroslav, prof. Ing., CSc. - fellow researcher
Vojnar Tomáš, prof. Ing., Ph.D. - fellow researcher

Department of Computer Systems
- responsible department (1.1.1989 - not assigned)
Department of Intelligent Systems
- responsible department (4.5.2004 - not assigned)
Automated Analysis and Verification Research Group - VeriFIT
- internal (4.5.2004 - 31.12.2008)
Department of Computer Systems
- co-beneficiary (4.5.2004 - 31.12.2008)
Department of Information Systems
- co-beneficiary (4.5.2004 - 31.12.2008)
Department of Intelligent Systems
- co-beneficiary (4.5.2004 - 31.12.2008)

HERRMAN, T. Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků. Brno: 2011. s. 0-0.
Detail

MAZAL, Z. Modelování uvažujících agentů Petriho sítěmi. Brno: Fakulta informačních technologií VUT v Brně, 2008. s. 0-0.
Detail

MASOPUST, T. Regulated Formal Models and Their Reduction. Brno: 2007. p. 0-0.
Detail

TECHET, J. k-Limited Erasing Performed by Scattered Context Grammars. Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 419-423. ISBN: 978-80214-3410-3.
Detail

ŠKARVADA, J.; KOTÁSEK, Z.; STRNADEL, J. Optimalizace aplikace testu číslicových systémů pro nízký příkon. Brno: Fakulta informačních technologií VUT v Brně, 2010. 142 s. ISBN: 978-80-214-4209-2.
Detail

PEČENKA, T.; KOTÁSEK, Z.: Cirgen; RTL benchmark circuit generator. Software je společně se sadou vytvořených testovacích obvodů ke stažení z URL: http://www.fit.vutbr.cz/~pecenka/cirgen/. URL: https://www.fit.vut.cz/research/product/55/. (software)
Detail

ROGALEWICZ, A.; VOJNAR, T.: ARTMC-v1; ARTMC - Abstract Regular Tree Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (software)
Detail

TECHET, J. Scattered Context in Formal Languages. Brno: Faculty of Information Technology BUT, 2008. p. 0-0.
Detail

VOJNAR, T.; ANTOŠ, D.; ČEŠKA, M.; KOTÁSEK, Z.; KŘETÍNSKÝ, M.; MATYSKA, L. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. p. 0-0. ISBN: 978-80-7355-082-0.
Detail

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno: 2008. p. 0-0.
Detail

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; KAATI, L. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. FIT-TR-2008-005, Brno: 2008. p. 0-0.
Detail

PEČENKA, T. Prostředky a metody pro automatické generování testovacích obvodů. Brno: Fakulta informačních technologií VUT v Brně, 2008. 141 s. ISBN: 978-80-214-3603-9.
Detail

ROGALEWICZ, A. Verification of Programs with Complex Data Structures. Brno: 2007. 122 p. ISBN: 978-80-214-3548-3.
Detail

MASOPUST, T. Formal Models: Regulation and Reduction. Brno: Faculty of Information Technology BUT, 2007. 103 p. ISBN: 978-80-214-3550-6.
Detail

MEDUNA, A.; TECHET, J. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, 2008, vol. 45, no. 7, p. 593-608. ISSN: 0001-5903.
Detail

ŠKARVADA, J.; KOTÁSEK, Z.; HERRMAN, T. Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties. Microprocessors and Microsystems, 2008, vol. 32, no. 5, p. 296-302. ISSN: 0141-9331.
Detail

BIDLO, M.; ŠKARVADA, J. Instruction-based development: From evolution to generic structures of digital circuits. International Journal of Knowledge-Based and Intelligent Engineering Systems, 2008, vol. 12, no. 3, p. 221-236. ISSN: 1327-2314.
Detail

MEDUNA, A.; TECHET, J. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, 2009, vol. 410, no. 21, p. 1961-1969. ISSN: 0304-3975.
Detail

PEČENKA, T.; SEKANINA, L.; KOTÁSEK, Z. Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2008, vol. 13, no. 3, p. 1-21. ISSN: 1084-4309.
Detail

MASOPUST, T.; TECHET, J. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2008, vol. 10, no. 2, p. 39-46. ISSN: 1365-8050.
Detail

Responsibility: Češka Milan, prof. RNDr., CSc.