Přejít k obsahu

Visualization and verification of software systems and architectures

The Reliable Software Architectures research group (ReliSA) focuses on methods and models which help specify, analyse and verify software architectures with high complexity and/or quality requirements.

Creating software which works reliably requires the combination of multiple software engineering approaches, ranging from the “soft” methods to the fundamental “engineering” techniques. Our main strengths are component-based systems, software simulations and practical expertise in software development processes. We have a proven track of national and international research projects, close links with leading European groups and collaboration with industrial partners.