DO-178C
DO-178C, Consideraciones de software en la certificación de equipos y sistemas aerotransportados es el documento principal mediante el cual las autoridades de certificación como FAA , EASA y Transport Canada aprueban todos los sistemas aeroespaciales comerciales basados en software. El documento es publicado por RTCA, Incorporated , en un esfuerzo conjunto con EUROCAE , y reemplaza DO-178B . El nuevo documento se llama DO-178C/ED-12C y fue completado en noviembre de 2011 y aprobado por RTCA en diciembre de 2011. Estuvo disponible para venta y uso en enero de 2012. [1] [2] [3]
A excepción de FAR 33 / JAR E, las Regulaciones Federales de Aviación no hacen referencia directa a la aeronavegabilidad del software. [4] El 19 de julio de 2013, la FAA aprobó la AC 20-115C , designando al DO-178C como un "medio aceptable, pero no el único, para demostrar el cumplimiento de las reglamentaciones de aeronavegabilidad de las FAR aplicables para los aspectos de software de los sistemas y equipos aerotransportados". Certificación." [5]
Desde el lanzamiento de DO-178B , los DER ( Representantes de ingeniería designados por la FAA ) han pedido encarecidamente que se aclaren/perfeccionen las definiciones y los límites entre los conceptos clave de DO-178B de requisitos de alto nivel, requisitos de bajo nivel y derivados. requisitos y una mejor definición de los criterios de salida/entrada entre requisitos de sistemas y diseño de sistemas (ver ARP4754 ) y requisitos de software y diseño de software (que es el dominio de DO-178B). Otras preocupaciones incluyeron el significado de verificación en un paradigma de desarrollo basado en modelos y consideraciones para reemplazar algunas o todas las actividades de prueba de software con simulación de modelos o métodos formales. El lanzamiento de DO-178C y los documentos complementarios.DO-278A (Sistemas terrestres), DO-248C (Información adicional con justificación para cada objetivo DO-178C), DO-330 (Cualificación de herramientas), DO-331 (Modelado), DO-332 (Orientado a objetos) y DO- 333 (Métodos formales) se crearon para abordar los problemas señalados. Los miembros del SC-205 trabajaron con el comité SAE S-18 para garantizar que ARP4754A y los documentos DO-xxx mencionados anteriormente proporcionen un proceso unificado y vinculado con criterios complementarios.
En general, DO-178C mantiene la mayor parte del texto de DO-178B, lo que generó preocupaciones de que los problemas con DO-178B, como la ambigüedad sobre el concepto de requisitos de bajo nivel, pueden no resolverse por completo. [6]
El subgrupo de Verificación y desarrollo basado en modelos (SG4), fue el más grande de los grupos de trabajo. Todo el trabajo se recopila y coordina a través de un sitio web que es un mecanismo de gestión del trabajo colaborativo. [7] Los artefactos de trabajo y los borradores de los documentos se guardaron en un área restringida disponible solo para los miembros del grupo.
El trabajo se centró en actualizar DO-178B/ED-12B con respecto a las prácticas, herramientas y tecnologías actuales de desarrollo de software. [8] [9]
