Informace o projektu
Paralelní ověřování LTL vlastností zapouzdřených systémů pracujících v reálném čase
- Kód projektu
- 1PO5ME747
- Období řešení
- 1/2005 - 5/2005
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Program regionální a mezinárodní spolupráce ve výzkumu a vývoji (Národní program výzkumu s počátkem řešení v roce 2005 nebo dříve)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Brigham Young University
- Odpovědná osoba ass. prof. Michael Jones
Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi Laboratoří paralelních a distribuovaných systémů na FI MU v Brně a výzkumným týmem na Department of Computer Science, Brigham Young University, USA v oblasti výzkumu a vývoje paralelních technik pro verifikaci zapouzdřených systémů pracujících v reálném čase. Jedním z hlavních zdrojů spolupráce je vytvoření podmínek pro intenzivní a bezprostřední vědecké kontakty při práci na tématice a využívání výzkumné infrastruktury zúčastněných partnerů.