Este livro apresenta um metodo com base na engenharia de confiabilidade para proporcionar um tratamento quantitativo as metas de seguranca de projetos sugeridas na estrutura GBS GoalBased Standard. Os fundamentos da abordagem quantitativa incluem o planejamento estatistico de testes de confiabilidade, os principios do GBS, tipos e caracteristicas de metas de confiabilidade, a ferramenta de analise formal de seguranca (FSA), a sao apresentados exemplos de aplicacao em sistemas mecanicos para tratamento de emissao de gases de motores a Diesel. O livro tambem mostra como combinar tecnicas da engenharia de confiabilidade com os principios do GBS com a finalidade de quantificar o grau de atendimento dos sistemas em relacao as suas respectivas metas de confiabilidade, as quais, estao relacionadas com o nivel de seguranca do projeto. Dessa forma, e possivel ajustar o programa de testes de engenharia para verificacao das metas de seguranca, aumentando o conhecimento sobre o desempenho do produto nas fases iniciais do projeto."