O artigo apresenta um método que integra FMEA e FTA para especificar requisitos de software. O método incorpora naturalmente requisitos advindos de análise de segurança no processo de desenvolvimento de software. Na análise de segurança são usados gráficos de estado (statecharts) para facilitar a construção de um sistema de controle. O Statechart é um formalismo visual o qual pode ser visto como generalização do convencional finite state automata. Ele forma uma parte da técnica popular de modelagem orientada a objeto Unified Modeling Language (UML). O formalismo apóia características como hierarquia, simultaniedade, e comunicação ampla entre componentes de sistema. Statecharts descrevem o comportamento do sistema como uma evolução de um estado para outro sob a chegada de um evento. No método proposto, os gráficos de estado servem como base para estruturar e integrar os resultados dos métodos FMEA e FTA. O uso de gráficos de estado como meio de comunicação entre segurança e engenheiros de software assiste o processo de descoberta de requisitos.