Guia DO-178C: Introdução à certificação RTCA DO-178
Conteúdo
Diferenças e desafios entre DO-178B e DO-178C
Introdução
No campo de desenvolvimento de software de aviônicos, a adesão a padrões rigorosos é crucial para garantir a segurança e a confiabilidade dos sistemas de aeronaves. Dois padrões proeminentes neste domínio são DO-178B e seu sucessor, DO-178C. O DO-178B, também conhecido como Software Considerations in Airborne Systems and Equipment Certification, foi lançado pela primeira vez em 1992 pela Radio Technical Commission for Aeronautics (RTCA). DO-178C, ou Software Considerations in Airborne Systems and Equipment Certification – Change 1, é a versão atualizada publicada em 2011. Este artigo se aprofundará nas principais diferenças e desafios entre o DO-178B e o DO-178C.
Escopo e Objetivos
DO-178B
O DO-178B fornece diretrizes para o desenvolvimento de software usado em sistemas e equipamentos aerotransportados. Ele descreve os objetivos e as atividades necessárias para obter a certificação de software em vários níveis de criticalidade, variando do Nível A (mais crítico) ao Nível E (menos crítico). O padrão se concentra em garantir que o software execute suas funções pretendidas de forma confiável, correta e segura.
DO-178C
O DO-178C se baseia na base estabelecida pelo DO-178B e apresenta vários aprimoramentos e esclarecimentos. Ele mantém os mesmos objetivos e níveis de criticidade, mas fornece orientações atualizadas para abordar os avanços tecnológicos e as lições aprendidas com as experiências anteriores. O DO-178C também apresenta uma abordagem mais baseada em risco, colocando maior ênfase na determinação da criticidade das funções de software com base em seu impacto na segurança do sistema.
Diferenças Chaves
Processos de ciclo de vida aprimorados
O DO-178C apresenta um conjunto mais detalhado de processos de ciclo de vida em comparação com o DO-178B. Ele coloca ênfase adicional nos requisitos, design, codificação e atividades de teste. Os novos processos definidos no DO-178C incluem modelagem de software, métodos formais e tecnologia orientada a objetos, que não foram explicitamente abordados no DO-178B.
Independência e Verificação
O DO-178C reforça o requisito de independência entre o desenvolvimento de software e as atividades de verificação. Ele enfatiza a necessidade de independência na verificação de requisitos de software, design, codificação e casos de teste. Isso garante que diferentes perspectivas sejam aplicadas para avaliar a funcionalidade do software, reduzindo a probabilidade de viés e aumentando a qualidade geral do processo de verificação.
Métodos Formais e Desenvolvimento Baseado em Modelos
O DO-178C incentiva o uso de métodos formais e técnicas de desenvolvimento baseadas em modelos para aprimorar a qualidade e a confiabilidade do software. Essas abordagens envolvem análise matemática e raciocínio formal para verificar a exatidão do software e as propriedades de segurança. Embora o DO-178B não aborde explicitamente essas técnicas, o DO-178C fornece orientação sobre sua integração no processo de desenvolvimento de software.
Qualificação da ferramenta
O DO-178C apresenta uma abordagem mais abrangente para qualificação de ferramentas. Ele reconhece a crescente dependência de ferramentas de desenvolvimento de software e a necessidade de garantir seu uso e confiabilidade adequados. A norma fornece orientação sobre como avaliar e qualificar ferramentas com base em seu impacto no desenvolvimento de software e na criticidade de segurança.
Diretrizes Suplementares
O DO-178C incorpora vários documentos suplementares conhecidos como Suplementos Técnicos (TS). Esses suplementos abordam tópicos específicos, como desenvolvimento baseado em modelo, tecnologia orientada a objetos e métodos formais. Esses documentos TS fornecem orientações e esclarecimentos adicionais para auxiliar os desenvolvedores na implementação das melhores práticas e no cumprimento dos requisitos do DO-178C.
Desafios
Transição e Adaptação
Um dos principais desafios na migração de DO-178B para DO-178C é a necessidade de organizações e desenvolvedores se adaptarem às diretrizes e processos atualizados. A transição pode exigir mudanças significativas nas metodologias de desenvolvimento, cadeias de ferramentas e fluxos de trabalho organizacionais. Garantir uma transição suave enquanto mantém a segurança e a confiabilidade pode ser uma tarefa complexa e com uso intensivo de recursos.
Maiores Requisitos de Documentação
O DO-178C coloca maior ênfase na documentação em comparação com o DO-178B. O padrão requer uma documentação mais abrangente para atividades como requisitos, design, codificação e teste. Atender a esses requisitos de documentação exige esforço e recursos adicionais das equipes de desenvolvimento, o que pode representar desafios em termos de tempo, custo e coordenação.
Qualificação e Certificação de Ferramentas
Com o aumento da dependência de ferramentas de desenvolvimento de software, garantir sua qualificação e certificação adequadas é crucial. O DO-178C apresenta requisitos mais rigorosos para a qualificação de ferramentas, incluindo a necessidade de demonstrar que as ferramentas não apresentam nenhum efeito adverso na segurança do software. As organizações devem investir em processos e documentação abrangentes de qualificação de ferramentas para atender a esses requisitos, o que pode ser um empreendimento complexo e demorado.
Conformidade com Novos Processos e Técnicas
O DO-178C apresenta novos processos e técnicas, como métodos formais e desenvolvimento baseado em modelos, que podem ser desconhecidos para organizações acostumadas às práticas do DO-178B. Alcançar a conformidade com essas novas abordagens pode exigir treinamento adicional, experiência e investimento em novas ferramentas e infraestrutura. As organizações precisam enfrentar esses desafios para adotar efetivamente o padrão atualizado.
Conclusão
DO-178B e DO-178C são padrões importantes no desenvolvimento de sistemas de software aerotransportados. Embora o DO-178C se baseie no fundamento estabelecido pelo DO-178B, ele apresenta várias diferenças e desafios significativos. Os processos de ciclo de vida aprimorados, ênfase na independência e verificação, a inclusão de métodos formais e desenvolvimento baseado em modelo e requisitos abrangentes de qualificação de ferramentas distinguem o DO-178C de seu antecessor. As organizações que estão fazendo a transição de DO-178B para DO-178C devem enfrentar os desafios de adaptação, maiores requisitos de documentação, qualificação de ferramentas e conformidade com novos processos e técnicas. Ao abordar esses desafios de forma eficaz, os desenvolvedores podem garantir a segurança, confiabilidade e conformidade contínuas de seus sistemas de software de aviônicos.
Não se esqueça de compartilhar esta postagem!
capítulos
1. Introdução ao Padrão Aerotransportado
2. Processo de Certificação DO-178
3. Ferramentas e treinamentos DO-178C
4. Tópicos avançados de DO-178C
5. DO-178C Recursos
6. Glossário
Chegue ao mercado mais rápido com o Visure
- Garantir conformidade regulamentar
- Aplicar rastreabilidade total
- Simplifique o desenvolvimento
