Este relatório técnico de pesquisa foi idealizado com o propósito de apresentar conceitos básicos e, assim, sedimentar o vocabulário técnico das áreas de IA e análise e garantia de segurança crítica (safety) referenciado ao longo da tese de Doutorado de Antonio Vieira da Silva Neto, intitulada “Safety ArtISt: Um Método para a Garantia de Segurança de Sistemas Críticos com Inteligência Artificial”.