Este trabalho propõe um método para se estimar a probabilidade de atendimento de requisitos funcionais definidos para produtos complexos, tendo em vista a incerteza presente no desenvolvimento de projetos com relação à implementação dos requisitos funcionais ao produto-final. Diante disso, o modelo proposto estabelece uma estimativa da probabilidade de atendimento dos requisitos funcionais de um produto, proporcionando aos desenvolvedores meios para adotarem ações que possam atenuar os efeitos que o não-atendimento desses requisitos gera sobre o produto e a seus "stakeholders", na medida em que expõe os componentes da estrutura do produto que afetam a realização de suas funções/subfunções. Para tanto, o método emprega conceitos e técnicas de Engenharia de Sistemas e de Confiabilidade, em que as interações funcionais observadas no Diagrama Bloco de Fluxo Funcional do produto são traduzidas para uma configuração de Diagramas Blocos de Confiabilidade, segundo as convenções definidas pelo modelo proposto. A partir da configuração do Diagrama de Blocos de Confiabilidade, aloca-se a cada um de seus blocos o valor da confiabilidade resultante da ação do(s) componente(s) que executa(m) cada função/subfunção e, empregando-se os métodos de Avaliação da Confiabilidade, calcula-se o valor que representa a probabilidade de atendimento do requisito funcional analisado. O método é demonstrado por meio de um estudo de caso, utilizando-se um subsistema de um míssil. Os resultados obtidos atestam que o modelo é viável e sua aplicação concorre para o objetivo proposto, qual seja o de estimar a probabilidade de atendimento de requisitos funcionais, quando se considera as especificidades de cada caso.

A alta visibilidade dos projetos aeronáuticos e a grande importância de aspectos relacionados à segurança fizeram surgir regras para sua certificação por Autoridades Aeronáuticas. A complexidade dos projetos levou a indústria e as Autoridades Aeronáuticas construírem um processo de troca de informações para executar a demonstração e a verificação de cumprimento dos requisitos. Requisitos estes considerados como mínimos para assegurar níveis de segurança apropriados aos projetos aeronáuticos. A facilidade de se pautar tal processo através do controle do status da documentação técnica criou o processo de certificação orientado por relatórios. A alta aderência a esse processo documental em face à velocidade de mudanças no projeto colocou esse modelo sob questionamento. Esse trabalho apresenta uma forma de entender a dinâmica do processo de certificação usando as ferramentas da teoria de Dinâmica de Sistemas, de modo a identificar as relações de causas e efeitos e o comportamento no tempo das principais variáveis desse processo.