Introduction
The Fault Tolerant Systems Research Group is composed of approximately a total of 30 members. The group is led by Prof. András Pataricza. Its research activities primarily focus on the analysis and synthesis of dependable systems with a special emphasis on the integration of modeling technologies (such as UML and BPM) with formal dependability analysis methods.
The main approach relies on
- the enrichment of engineering models of the applications and platforms with dependability attributes,
- automated derivation of a faulty system model covering all mutations from the description of component failure modes,
- and the evaluation of system-level impacts by means of model transformations to existing, state-of-the-art analysis tools.
The group participates in a number of European, international and national research projects, and industrial cooperations.
The group forms one of the bases of the recently established IBM Budapest CAS promoting the cooperation between IBM and the Hungarian higher education institutions.
It is one of the first academic members of the Service Availability Forum, a standardization consortium of leading telecommunication and IT companies.
OptXware Research & Development LLC.
Members of the research group founded a spin-off company to develop industrial solutions from academic results and prototypes. Further information: http://optxware.com/
A more detailed introduction summarises the main approach. A leaflet on the most important projects is also available.
Research Areas:
- Model-driven development and analysis
- Dependability consolidation
- Model-based design of system management
- Verification and validation of IT systems
- Analysis and synthesis of IT infrastructure
- System optimization
- Dependability assessment
- Service oriented computing and integration