O Software Reliability Group (SRG) tem como objetivo estabelecer bases para o aumento da qualidade dos processos de desenvolvimentos rigorosos de software através do uso de testes de software e métodos formais na sua análise, verificação e validação. Com esta finalidade, o SRG tem proposto processos de desenvolvimento de software sistemáticos, baseados em métodos e ferramentas precisas que sejam aplicados a sistemas complexos encontrados na indústria. Estes processos têm como maior objetivo a produção de sistemas corretos, robustos, extensíveis e com estimativas mais precisas sobre o seu custo real durante seu ciclo de vida (desenvolvimento e manutenção), através da redução de erros desde o início da produção do software. Recentemente, o SRG também contribuiu com o projeto Europeu COMPASS, sobre modelagem e análise composicional de sistemas de sistemas (SoS).
