prof. Ing.

Miroslav Švéda

CSc.


sveda@vut.cz
1281/BUT personal ID

Projects

  • 2016

    IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, completed, start: 2016-01-01, end: 2020-12-31
    Detail

  • 2014

    Research and application of advanced methods in ICT, BUT, FIT-S-14-2299, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
    Detail

  • 2011

    Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    SCADA system for control and monitoring RT processes, TACR, TA01010632, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    The IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed, start: 2011-01-01, end: 2015-12-31
    Detail

  • 2010

    Secured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed, start: 2010-03-01, end: 2010-12-31
    Detail

  • 2009

    Automated attack processing, MPO CR, FR-TI1/037, 2009-2013, completed, start: 2009-10-01, end: 2013-09-30
    Detail

    TeamIT - Building Competitive Research Teams in IT, MŠMT CR, EE2.3.09.0067, 2009-2012, completed, start: 2009-09-01, end: 2012-08-31
    Detail

  • 2008

    ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, EC EU, ATLANTIS-DESIRE, 2008-2013, completed, start: 2008-10-01, end: 2013-09-30
    Detail

    Safety and security of networked embedded system applications, GACR, GA102/08/1429, 2008-2010, completed, start: 2008-01-01, end: 2010-12-31
    Detail

  • 2007

    Industrial Wireless ZigBee Network, FRVŠ MŠMT, FR2307/2007/G1, 2007, completed, start: 2007-01-01, end: 2007-12-31
    Detail

    Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
    Detail

  • 2006

    Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), EC EU, ATLANTIS-ILERT, 2006-2008, completed, start: 2006-11-01, end: 2008-12-31
    Detail

  • 2005

    A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, GA102/05/0723, 2005-2007, completed, start: 2005-01-01, end: 2007-12-31
    Detail

    Architectures of Embedded Systems Networks, GACR, GA102/05/0467, 2005-2007, completed, start: 2005-01-01, end: 2007-12-31
    Detail

    Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, GD102/05/H050, 2005-2008, completed, start: 2005-01-01, end: 2008-12-31
    Detail

    Research and development of economically acceptable information and security supporting system aiming at building up an modernizing of older blocks of flats, MPO CR, FT-TA2/095, 2005-2007, completed, start: 2005-01-03, end: 2007-12-31
    Detail

  • 2004

    Design and implementation of embedded formal verification assistants in the .NET framework, MSR, MS1412001, 2004-2005, completed, start: 2004-03-12, end: 2005-09-30
    Detail

  • 2002

    Embedded Control Systems and their Inter-Communication, GACR, GA102/02/1032, 2002-2004, completed, start: 2002-01-01, end: 2004-12-31
    Detail

    InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, EU Tempus, Phare 00-0047, 2002, completed, start: 2002-01-01, end: 2002-12-11
    Detail

  • 2000

    ECBS Experimental Laboratory, FRVŠ MŠMT, FR1565/2000/H, 2000, completed, start: 2000-01-01, end: 2000-12-31
    Detail

  • 1999

    Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed, start: 1999-01-01, end: 2004-12-31
    Detail

  • 1997

    Certification of compatibility of application layers of CAN networks, FEECS BUT, 1997, completed, start: 1997-01-01, end: 1997-12-31
    Detail

    Engineering of Computer-Based Systems, FRVŠ MŠMT, FR618/1997/F1, 1997, completed, start: 1997-01-01, end: 1997-12-31
    Detail

  • 1995

    Stimulating European Industry through High Performance Computing (SEIHPC), EC Copernicus, COP94-774 SEIHPC, 1995-1998, completed, start: 1995-01-01, end: 1998-12-31
    Detail

    Fieldbus-type heterogenous industrial networks, GACR, GA102/95/1365, 1995-1997, completed, start: 1995-01-01, end: 1997-12-31
    Detail

  • 1994

    Verification and Validation Methods for Formal Descriptions, COST, COST247, 1994-1996, completed, start: 1994-01-01, end: 1996-12-31
    Detail

Back to top