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.