Guía DO-178C: Introducción a la certificación RTCA DO-178
Índice del contenido
Diferencias y desafíos entre DO-178B y DO-178C
Introducción
En el campo del desarrollo de software de aviónica, el cumplimiento de estándares rigurosos es crucial para garantizar la seguridad y confiabilidad de los sistemas de aeronaves. Dos estándares prominentes en este dominio son DO-178B y su sucesor, DO-178C. DO-178B, también conocido como Software Considerations in Airborne Systems and Equipment Certification, fue lanzado por primera vez en 1992 por la Comisión Técnica de Radio para Aeronáutica (RTCA). DO-178C, o Software Considerations in Airborne Systems and Equipment Certification – Change 1, es la versión actualizada que se publicó en 2011. Este artículo profundizará en las principales diferencias y desafíos entre DO-178B y DO-178C.
Alcance y objetivos
DO-178B
DO-178B proporciona pautas para el desarrollo de software utilizado en sistemas y equipos aerotransportados. Describe los objetivos y las actividades requeridas para lograr la certificación de software en varios niveles de criticidad, que van desde el Nivel A (más crítico) al Nivel E (menos crítico). El estándar se enfoca en garantizar que el software realice las funciones previstas de manera confiable, correcta y segura.
DO-178C
DO-178C se basa en los cimientos establecidos por DO-178B e introduce varias mejoras y aclaraciones. Conserva los mismos objetivos y niveles de criticidad, pero brinda orientación actualizada para abordar los avances tecnológicos y las lecciones aprendidas de experiencias anteriores. DO-178C también introduce un enfoque más basado en el riesgo, poniendo mayor énfasis en determinar la criticidad de las funciones del software en función de su impacto en la seguridad del sistema.
Diferencias clave
Procesos de ciclo de vida mejorados
DO-178C presenta un conjunto más detallado de procesos de ciclo de vida en comparación con DO-178B. Pone énfasis adicional en los requisitos, el diseño, la codificación y las actividades de prueba. Los nuevos procesos definidos en DO-178C incluyen modelado de software, métodos formales y tecnología orientada a objetos, que no se abordaron explícitamente en DO-178B.
Independencia y Verificación
DO-178C refuerza el requisito de independencia entre el desarrollo de software y las actividades de verificación. Enfatiza la necesidad de independencia en la verificación de requisitos de software, diseño, codificación y casos de prueba. Esto asegura que se apliquen diferentes perspectivas para evaluar la funcionalidad del software, reduciendo la probabilidad de sesgo y aumentando la calidad general del proceso de verificación.
Métodos formales y desarrollo basado en modelos
DO-178C fomenta el uso de métodos formales y técnicas de desarrollo basadas en modelos para mejorar la calidad y confiabilidad del software. Estos enfoques involucran análisis matemático y razonamiento formal para verificar la corrección del software y las propiedades de seguridad. Si bien DO-178B no abordó explícitamente estas técnicas, DO-178C brinda orientación sobre su integración en el proceso de desarrollo de software.
Calificación de la herramienta
DO-178C presenta un enfoque más integral para la calificación de herramientas. Reconoce la creciente dependencia de las herramientas de desarrollo de software y la necesidad de garantizar su uso adecuado y confiabilidad. El estándar brinda orientación sobre la evaluación y calificación de herramientas en función de su impacto en el desarrollo de software y la seguridad crítica.
Pautas complementarias
DO-178C incorpora varios documentos complementarios conocidos como Suplementos Técnicos (TS). Estos suplementos abordan temas específicos como el desarrollo basado en modelos, la tecnología orientada a objetos y los métodos formales. Estos documentos TS brindan orientación y aclaraciones adicionales para ayudar a los desarrolladores a implementar las mejores prácticas y cumplir con los requisitos de DO-178C.
Challenges
Transición y Adaptación
Uno de los principales desafíos en la migración de DO-178B a DO-178C es la necesidad de que las organizaciones y los desarrolladores se adapten a las pautas y los procesos actualizados. La transición puede requerir cambios significativos en las metodologías de desarrollo, cadenas de herramientas y flujos de trabajo organizacionales. Garantizar una transición sin problemas mientras se mantiene la seguridad y la confiabilidad puede ser una tarea compleja y que requiere muchos recursos.
Mayores requisitos de documentación
DO-178C pone mayor énfasis en la documentación en comparación con DO-178B. El estándar requiere una documentación más completa para actividades tales como requisitos, diseño, codificación y pruebas. Cumplir con estos requisitos de documentación requiere un esfuerzo y recursos adicionales de los equipos de desarrollo, lo que puede plantear desafíos en términos de tiempo, costo y coordinación.
Cualificación y certificación de herramientas
Con la mayor dependencia de las herramientas de desarrollo de software, es crucial garantizar su calificación y certificación adecuadas. DO-178C introduce requisitos más estrictos para la calificación de herramientas, incluida la necesidad de demostrar que las herramientas no presentan ningún efecto adverso en la seguridad del software. Las organizaciones deben invertir en procesos integrales de calificación de herramientas y documentación para satisfacer estos requisitos, lo que puede ser una tarea compleja y que requiere mucho tiempo.
Cumplimiento de Nuevos Procesos y Técnicas
DO-178C introduce nuevos procesos y técnicas, como métodos formales y desarrollo basado en modelos, que pueden resultar desconocidos para las organizaciones acostumbradas a las prácticas DO-178B. Lograr el cumplimiento de estos nuevos enfoques puede requerir capacitación, experiencia e inversión adicionales en nuevas herramientas e infraestructura. Las organizaciones deben abordar estos desafíos para adoptar de manera efectiva el estándar actualizado.
Conclusión
DO-178B y DO-178C son estándares importantes en el desarrollo de sistemas de software aerotransportados. Si bien DO-178C se basa en los cimientos establecidos por DO-178B, presenta varias diferencias y desafíos significativos. Los procesos de ciclo de vida mejorados, el énfasis en la independencia y la verificación, la inclusión de métodos formales y el desarrollo basado en modelos, y los requisitos integrales de calificación de herramientas distinguen a DO-178C de su predecesor. Las organizaciones que hacen la transición de DO-178B a DO-178C deben enfrentar los desafíos de la adaptación, mayores requisitos de documentación, calificación de herramientas y cumplimiento de nuevos procesos y técnicas. Al abordar estos desafíos de manera efectiva, los desarrolladores pueden garantizar la seguridad, la confiabilidad y el cumplimiento continuos de sus sistemas de software de aviónica.
¡No olvides compartir esta publicación!
Comités
1. Introducción al estándar aerotransportado
2. Proceso de Certificación DO-178
3. Herramientas y entrenamientos DO-178C
4. Temas avanzados de DO-178C
5. Recursos DO-178C
6. Glosario
Llegue al mercado más rápido con Visure
- Garantizar el cumplimiento normativo
- Imponer trazabilidad total
- Agilizar el desarrollo
