Miroslav Švéda

Projekty

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen

• 2014

  Výzkum pokročilých metod ICT a jejich aplikace, VUT, Vnitřní projekty VUT, FIT-S-14-2299, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen

• 2011

  Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen

  SCADA systém pro řízení a monitorování procesů v reálném čase, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen

• 2010

  Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen

• 2009

  Automatizované zpracování útoků, MPO, TIP, FR-TI1/037, zahájení: 2009-10-01, ukončení: 2013-09-30, ukončen

• 2008

  ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, MZ, Ostatní programy MZ, ATLANTIS-DESIRE, zahájení: 2008-10-01, ukončení: 2013-09-30, ukončen

  Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen

• 2007

  Průmyslová bezdrátová síť ZigBee, FR2307/2007/G1, zahájení: 2007-01-01, ukončení: 2007-12-31, ukončen

  Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

• 2006

  Mezinárodní výukové prostředí pro bezpečnostně kritické řídicí systémy pracující v reálném čase, ATLANTIS-ILERT, zahájení: 2006-11-01, ukončení: 2008-12-31, ukončen

• 2005

  Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen

  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ů, MPO, TANDEM, FT-TA2/095, zahájení: 2005-01-03, ukončení: 2007-12-31, ukončen

  Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen

  Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen

• 2004

  Návrh a implementace formálních nástrojů v prostředí .NET, MS1412001, zahájení: 2004-03-12, ukončení: 2005-09-30, ukončen

• 2002

  InterpRISe - meziregionální spolupráce pro podporu regionálních inovačních strategií v Evropě, Phare 00-0047, zahájení: 2002-01-01, ukončení: 2002-12-11, ukončen

  Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen

• 2000

  Experimentální laboratoř pro zaměření ECBS, FR1565/2000/H, zahájení: 2000-01-01, ukončení: 2000-12-31, ukončen

• 1997

  Inženýrství systémů založených na počítačích, FR618/1997/F1, zahájení: 1997-01-01, ukončení: 1997-12-31, ukončen

  Ověřování kompatibility aplikačních vrstev sítí CAN, zahájení: 1997-01-01, ukončení: 1997-12-31, ukončen

• 1995

  Heterogenní průmyslové sítě typu fieldbus, GAČR, Standardní projekty, GA102/95/1365, zahájení: 1995-01-01, ukončení: 1997-12-31, ukončen

  Stimulace evropského průmyslu pomocí velmi výkonných výpočtů, COP94-774 SEIHPC, zahájení: 1995-01-01, ukončení: 1998-12-31, ukončen

• 1994

  Verification and Validation Methods for Formal Descriptions, COST247, zahájení: 1994-01-01, ukončení: 1996-12-31, ukončen