• TbUIS (for Testbed University Information System) is a set of software products (parts) which together serve primarily as a completed solution which can be used for controlled experiments evaluating newly developed testing methods and approaches.

• Evaluation of railway control systems software for EN 50128 Compliance -- various clients, 2014-2019

Research projects

• AFarCloud (Aggregate Farming in the Cloud) -- an ECSEL H2020 project 783221, 9/2018-8/2021, coordinator Universidad Politécnica de Madrid. Our main responsibility is in work packages WP2 on cloud infrastructure specification and WP4 in development of reconfigurable platform. 
• InteCom – project “VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast” (R&D in Intelligent Components of Advanced Technologies for the Pilsen metropolitan area), WP1.3: Metody a postupy pro zajištění spolehlivosti softwarových řídicích systémů (Methods and Techniques for reliability assurance of software control systems); OP VVV 2018-2022
• Visual Interaction Methods for Improved Exploration of Large AST Graphs (Oracle Labs sponsored research, 2016-2017)
• Methods of development and verification of component-based applications using natural language specifications (Grant Agency of the Czech Republic (GAČR) 103/11/1489, 2011-2013)
• Methods and models for consistency verification of advanced component-based applications (Grant Agency of the Czech Republic (GAČR) 201/08/0266, 2008-2010)
• Transportation control in the centers of historical cities (Grant of Ministry of Transport 1F43A/003/120, 2004-2007, solved by Institute of Information Theory and Automation AV CR)
• Methods and tools for verification of embedded computer system fault tolerance (Grant Agency of the Czech Republic (GAČR) 102/03/0672, 2003-2005)
• Fault Injection for TTA (FIT - an EU project from the 5th Framework programme (FP5-IST) IST-1999-10748, 2000-2002)

Commercial Contracts:

• Functional testing of company cards driver -- with Openmatics, 2015-2016
• Software development process analysis and improvement design - for CCA Group a.s., 2015
• Analysis, verification and optimization of system platform -- with Openmatics, 2013-2014
• Evaluation of railway control systems software for EN 50128 Compliance -- various clients, 2014-2019
• Integration and load testing of large distributed PoS system -- for Smart Software, 2015