Na semana passada, falamos sobre o “pudim” dos projetos do DO-178C. Essa, é claro, é a etapa de implementação de um projeto de software de aviônica guiado do DO-178C. Tomamos conta do estabelecimento de decisões e padrões de implementação em seu plano PSAC e nas principais considerações envolvidas em tornar sua fase de implementação o mais suave possível. Então, agora você implementou seu produto em código e é capaz de vê-lo funcionando. Qual é nosso próximo passo?

Verificação.

Com inúmeras atividades, condições e considerações envolvidas, a verificação do projeto DO-178C pode ser, em uma palavra, esmagadora. Escrevemos sobre algumas das atividades na verificação do DO-178C, mas não tocamos em duas abordagens principais: design baseado em modelos e programação orientada a objetos. Então, não há melhor hora como o presente.

Nesta primeira de nossa série de abordagem de verificação em duas partes, estamos falando de todo o design baseado em modelos DO-331. Antes de entrarmos no DO-331, uma dica rápida sobre a fase de verificação do seu projeto: comece cedo!

Muitas atividades de verificação levam muito tempo para serem concluídas. Se sua implementação gerar código que não pode ser verificado usando seu método preferido, você acabará tendo que regredir de volta à sua implementação. Isso significa lidar com custos extras e atrasos desnecessários. Isso pode ser mitigado verificando seu código enquanto você o escreve. Uma abordagem sensata é escrever testes para garantir que você possa obter cobertura completa na granularidade de que precisa e, em seguida, implementar como testes de regressão que são executados durante todo o seu desenvolvimento. Embora não seja baseado em requisitos, esses testes dão total confiança em seu código totalmente e alertam você para alterações na cobertura de seus testes de regressão mais cedo.

Agora que você preparou, planejou e implementou seu projeto, vamos falar sobre design baseado em modelos.

Por que usar design baseado em modelo?

Simplificando, as tecnologias de design baseadas em modelos podem reduzir o esforço necessário para projetar e testar softwares compatíveis. Os principais benefícios incluem:

  • Simulação de comportamento de software
  • Suporte para expressão inequívoca de requisitos e arquitetura de software
  • Habilitação da geração automatizada de códigos
  • Capacidade de executar atividades de verificação no início do ciclo de vida do software

Os benefícios são inegáveis, e ajudarão você a fazer sua fase de verificação funcionar de forma mais rápida e econômica. Dito isso, para aproveitar ao máximo sua abordagem de design baseada em modelos, é crucial usar a orientação DO-331. Eis o motivo:

O que é o DESIGN baseado em modelos DO-331?

RTCA DO-331 é uma diretriz de desenvolvimento baseada em modelos que é aceita e suportada como um suplemento de verificação para DO-178C e DO-278A. Ele fornece objetivos adicionais ao usar o design baseado em modelos em projetos DO-178C e, finalmente, esclarece como os objetivos e atividades existentes do DO-178C se aplicam a quaisquer projetos de software de aviônica usando design baseado em modelos.

Então, quais são os objetivos e atividades adicionais?

Uma das principais atividades adicionais de verificação discutidas no DO-331 é a análise de cobertura de modelo, que visa detectar funcionalidades não intencionais no modelo. De acordo com o DO-331, a realização da análise de cobertura do modelo não elimina a necessidade de realizar a análise de cobertura do código gerado que realmente será executado.

As ferramentas de simulação fornecidas por ferramentas de design baseadas em modelos podem reduzir o esforço de verificação fornecendo um meio de produzir evidências de que um modelo cumpre com seus requisitos. De acordo com o DO-331, o uso de simulação não elimina a necessidade de realizar testes do código de objeto executável no hardware de destino.

Se você optar por usar processos de design baseados em modelos em um projeto DO-178C, certifique-se de conhecer os ins e outs das orientações e padrões no DO-331, pois eles se relacionam com o DO-178C. Confira a cobertura completa da ConsuNova sobre o DO-178C, incluindo o DO-331, para dominar as atividades de design baseadas em modelos e definir suas estratégias de verificação e qualificação de ferramentas em seus documentos de planejamento DO-178C.

Artigo Original