Análise probabilística de segurança em instalações industriais