Madrid.- MathWorks anuncia 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).
“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-330 Software Tool Qualification Considerations
-DO-331 Model-Based Development and Verification
-DO-332 Object-Oriented Technology and Related Techniques
-DO-333 Formal Methods.
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 (criterios 2 y 3).
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 DO-178. Creado en 2012, este servicio de asesoría 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.
En el seminario virtual gratuito se puede averiguar cómo DO Qualification Kit soporta el ciclo íntegro de desarrollo y verificación de software: Diseño basado en modelos para DO-178 mediante kits de cualificación de herramientas.
