Este livro apresenta um método com base na engenharia de confiabilidade para proporcionar um tratamento quantitativo às metas de segurança de projetos sugeridas na estrutura GBS GoalBased Standard. Os fundamentos da abordagem quantitativa incluem o planejamento estatístico de testes de confiabilidade, os princípios do GBS, tipos e características de metas de confiabilidade, a ferramenta de análise formal de segurança (FSA), a são apresentados exemplos de aplicação em sistemas mecânicos para tratamento de emissão de gases de motores à Diesel. O livro também mostra como combinar técnicas da engenharia de confiabilidade com os princípios do GBS com a finalidade de quantificar o grau de atendimento dos sistemas em relação as suas respectivas metas de confiabilidade, as quais, estão relacionadas com o nível de segurança do projeto. Dessa forma, é possível ajustar o programa de testes de engenharia para verificação das metas de segurança, aumentando o conhecimento sobre o desempenho do produto nas fases iniciais do projeto.