Estudo e Proposta de uma Metodologia de Segurança Funcional, Baseada na Norma IEC 61508, para o Projeto e Desenvolvimento de Aplicações Críticas