MathWorks ofrece soporte para DO-178C con el diseño basado en modelos

(Infodefensa.com) Madrid – MathWorks ha anunciado hoy que, a partir de la versión 2012b (R2012b), los ingenieros que utilicen DO Qualification Kit podrán cualificar las herramientas de verificación de Polyspace y Simulink para DO-178C y sus suplementos, incluyendo DO-331.

El soporte para DO-178C ofrece ahora a los directores de programa y sus autoridades de certificación un enfoque y un marco estandarizados y globales para la adopción del diseño basado en modelos y la aceleración de la certificación de sistemas embebidos.

“Mediante el uso de DO-178C y DO-331, los fabricantes y proveedores del sector aeronáutico pueden beneficiarse de las ventajas en cuanto a productividad, coste y calidad que ofrece el diseño basado en modelos, con la tranquilidad de saber que podrán certificar sus sistemas”, afirmó Steve Morton, representante de ingeniería designado de nivel A de la Administración Federal de Aviación estadounidense (FAA, por sus siglas en inglés).

“El flujo de trabajo de verificación descrito en DO Qualification Kit coincide con las mejores prácticas de la industria y las expectativas de la comunidad de certificación de software de la FAA, incluyendo la independencia de la verificación, la verificación de código objeto ejecutable y el análisis de la cobertura estructural para el código generado automáticamente”, añadió.

En la versión R2012b, DO Qualification Kit también soporta los productos Simulink y Polyspace en el caso de los siguientes suplementos de DO-178C:

DO Qualification Kit proporciona documentación, casos de prueba y procedimientos que contribuyen a cualificar las herramientas de verificación de software soportadas de Simulink y Polyspace en el caso de proyectos que deban ajustarse a los estándares aeroespaciales. El kit también incluye planes de cualificación de herramientas, requisitos operativos de las herramientas y otros materiales necesarios para la cualificación de las herramientas de verificación de software.

Las mejoras introducidas en DO Qualification Kit se basan en las capacidades relacionadas con DO-178 de MathWorks, incluido el servicio de asesoría en la implementación del proceso. Creado en 2012, este servicio proporciona formación sobre el estándar DO?178 a los ingenieros aeroespaciales, identifica deficiencias en sus procesos actuales, proporciona una hoja de ruta para lograr un marco de procesos DO-178 más optimizado mediante el diseño basado en modelos y ayuda a poner en práctica esa hoja de ruta.