About Us

The Software Reliability Group (SRG) is a research group that investigates and develops tools, techniques and processes for improving  computer system trustworthiness.

The focus of SRG is on development processes that are systematic,  supported by methods and tools, and applicable to real systems, for the  production of correct, robust, extensible software within a predictable time and cost bound.

To achieve this mission, we have mainly worked in the following directions:

  • Systematic and rigorous development of imperative, object-oriented, distributed, and real time programs;
  • Model based testing, including formal model generation from textual requirements and automatic test case generation and selection from formal models;
  • Formalisation of established programming practices, like refactoring, design and architectural patterns;Model and refinement checking, including both qualitative and quantitative aspects;
  • Integration of languages, methods, and tools;
  • Development of new methods and tools for program and model design and transformation;
  • Exploration of complex industrial applications, including the telecom and the avionics domain.

We are part of the LABES (Laboratory of Software Engineering) of the Centro de InformáticaUniversidade Federal de Pernambuco (UFPE), in Recife – Brazil.