Projects
2016
LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020
Detail2014
Výzkum pokročilých metod ICT a jejich aplikace, zahájení: 01.01.2014, ukončení: 31.12.2016
Detail2011
ED1.1.00/02.0070, Centrum excelence IT4Innovations, zahájení: 01.01.2011, ukončení: 31.12.2015
DetailPokročilé bezpečné, spolehlivé a adaptivní IT, zahájení: 01.01.2011, ukončení: 31.12.2013
DetailTA01010632, SCADA systém pro řízení a monitorování procesů v reálném čase, zahájení: 01.01.2011, ukončení: 31.12.2013
Detail2010
Bezpečné, spolehlivé a adaptivní počítačové systémy, zahájení: 01.03.2010, ukončení: 31.12.2010
Detail2009
FR-TI1/037, Automatizované zpracování útoků, zahájení: 01.10.2009, ukončení: 30.09.2013
DetailEE2.3.09.0067, TeamIT - Budování konkurenceschopných výzkumných týmů pro IT, zahájení: 01.09.2009, ukončení: 31.08.2012
Detail2008
ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, zahájení: 01.10.2008, ukončení: 30.09.2013
DetailGA102/08/1429, Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, zahájení: 01.01.2008, ukončení: 31.12.2010
Detail2007
Průmyslová bezdrátová síť ZigBee, zahájení: 01.01.2007, ukončení: 31.12.2007
DetailMSM0021630528, Výzkum informačních technologií z hlediska bezpečnosti, zahájení: 01.01.2007, ukončení: 31.12.2013
Detail2006
Toward International Learning Environment for Real-Time Safety-Critical Control Systems, zahájení: 01.11.2006, ukončení: 31.12.2008
Detail2005
MSM0021630503, Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN), zahájení: 17.11.2005, ukončení: 31.12.2011
DetailFT-TA2/095, FT-TA2/095 - Výzkum a vývoj ekonomicky příznivého informačního a bezpečnostního systému určeného pro bytovou výstavbu a modernizaci starších a zejména panelových obytných domů, zahájení: 03.01.2005, ukončení: 31.12.2007
DetailGD102/05/H050, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, zahájení: 01.01.2005, ukončení: 31.12.2008
DetailGA102/05/0467, Architektury sítí pro vestavěné systémy, zahájení: 01.01.2005, ukončení: 31.12.2007
DetailGA102/05/0723, Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, zahájení: 01.01.2005, ukončení: 31.12.2007
Detail2004
Design and implementation of embedded formal verification assistants in the .NET framework, zahájení: 12.03.2004, ukončení: 30.09.2005
Detail2003
GA102/03/0560, Nové metody zajištění a kontroly dodržení kvality služeb v sítích nových generací, GAČR reg.č. GA 102/03/0560, zahájení: 26.03.2003, ukončení: 31.12.2005
Detail2002
GA102/02/1032, Vestavěné řídicí systémy a jejich vzájemná komunikace, zahájení: 01.01.2002, ukončení: 31.12.2004
DetailInterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, zahájení: 01.01.2002, ukončení: 11.12.2002
Detail2000
Experimentální laboratoř pro zaměření ECBS, zahájení: 01.01.2000, ukončení: 31.12.2000
DetailGA102/00/0938, Tlakový analyzátor, zahájení: 01.01.2000, ukončení: 31.12.2001
Detail1999
MSM 262200012, Výzkum informačních a řídicích systémů, zahájení: 01.01.1999, ukončení: 31.12.2004
Detail1997
Inženýrství systémů založených na počítačích, zahájení: 01.01.1997, ukončení: 31.12.1997
DetailOvěřování kompatibility aplikačních vrstev sítí CAN, zahájení: 01.01.1997, ukončení: 31.12.1997
Detail1995
Stimulace evropského průmyslu pomocí velmi výkonných výpočtů, zahájení: 01.01.1995, ukončení: 31.12.1998
DetailGA102/95/1365, Heterogenní průmyslové sítě typu fieldbus, zahájení: 01.01.1995, ukončení: 31.12.1997
Detail1994
Verification and Validation Methods for Formal Descriptions, zahájení: 01.01.1994, ukončení: 31.12.1996
Detail