Análise estática conforme MISRA C 2012 usando DO-178

1

O DO-178C tem alguma orientação sobre o uso de análise de código estático para o software de nível A?

Conforme Do-178C:

Section 6.3 Software Reviews and Analyses
Reviews and analyses are applied to the outputs of the software development processes. One distinction between reviews and analyses is that analyses provide repeatable evidence of correctness and reviews provide a qualitative assessment of correctness. A review may consist of an inspection of an output of a process guided by a checklist or similar aid.

An analysis may examine in detail the functionality, performance, traceability, and safety implications of a software component, and its relationship to other components within the system or equipment

Isso pode ser alcançado pela análise estática? Algumas das ferramentas, como a polyspace, que possui erros de verificação padrão

por Hariom Singh 12.07.2019 / 11:26

1 resposta

O DO-178C é um meio de conformidade, portanto, define o que você precisa fazer para mostrar que está atingindo os níveis de segurança exigidos em seu projeto. Não fornece conselhos sobre quais métodos você pode usar ao longo do caminho.

Vi análises estáticas usadas como parte do processo, geralmente com integração de hardware e teste de sistema.

As ferramentas DO-178 precisam ser qualificadas para o DO-178 se você as estiver usando para testar seu software. Não conheço ninguém usando ferramentas qualificadas para outros padrões (por exemplo, MISRA) em aviônicos.

22.07.2019 / 17:23