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 se completó en noviembre de 2011 y fue aprobado por la RTCA en diciembre de 2011. Estuvo disponible para su venta y uso en enero de 2012. [1] [2] [3]
La FAA aprobó el AC 20-115C [4] el 19 de julio de 2013, lo que convierte al DO-178C en un "medio aceptable, pero no el único, para demostrar el cumplimiento de las reglamentaciones de aeronavegabilidad aplicables para los aspectos de software de la certificación de equipos y sistemas aerotransportados". "
Desde el lanzamiento de DO-178B , los DER ( Representantes de ingeniería designados por la FAA ) han pedido encarecidamente que se aclaren/refinen 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. [5]
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. [6] 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. [7] [8]
