Projects
Currently active projects
Funded by grant agencies
- Methods of development and verification of component-based applications using natural language specifications (Czech Science Foundation (GACR) 103/11/1489, 2011-2013)
- Traffic Control in the Centers of Historical cities (Grant of Ministry of Transportation No. 1F43A/003/120 solved by Institute of Information Theory and Automation AV CR)
Informal projects and long-term efforts
- The SaCCo (Safe and Comprehensible Components) effort which explores modeling, typing and substitutability in software components
- Communication Protocol for Distributed Traffic Simulation
- Smart active node
We also guarantee the research in the area of reliable software systems, part of the project NTIS to build an European centre of excellence at our faculty.
List of past projects
- Methods and models for consistency verification of advanced component-based applications (GACR 201/08/0266, 2008-2010)
- Methods and tools for verification of embedded computer system fault tolerance — GAČR Grant 102/03/0672.
- Research Plan – in Czech only – an internal project with the basic aim to improve the quality of research and development of new methods and tools.
- FIT (2001-2002) – Fault Injection for TTA, an EU project from the 5th Framework programme. Our research team verified a new FT communication protocol using simulation based fault injection.
- Gemini (2001) – Object-based model of parallel computation.
- SOFA (2000-2001) – specification-based testing, run-time tracing and debugging of component-based applications.
— By Tomáš Potužák on 22 prosinec 2011
