Research and grant 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.  There is a PhD position call related to this project at ReliSA.
• 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
• 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.
  A web application where you can freely experiment with your testing strategies

Commercial Contracts

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

Finished

Research projects

• 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)

Tool development

Run either as part of the research projects, or as internal long-term developments, these are our software tool projects.  For information on tool availability, see the Papers and Tools page. The links below lead to the project pages usually on group's GitHub.

• SPADe (Software Process Anti-patterns Detector) - a research support tool for mining, storing and analyzing data about software development projects from ALM tool repositories for the specific purpose of identifying and detecting project management and process-related anti-patterns (bad practices).
• CoCaEx and IMiGEr - approaches focused on effective understanding of complex diagrams containing multiple types of nodes and edges. It provides concepts for visual clutter reduction and improving clusters identification.
• Testing Data Generation in Automatically Detected Classes - Automatic generation of unit tests based on the static analysis of source codes and additional information specifying data types and the behaviour of the application under test
• Component Repository supporting Compatibility Evaluation (CRCE) - internal project to investigate compatibility management support for resource constrained devices