ESPAÑA | Empresas
-/5 | 0 votos

0

0

0

0

Enfoque y marco estandarizados

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

11/12/2012

(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.

 

 © Information & Design Solutions, S.L. Todos los derechos reservados. Este artículo no puede ser fotocopiado ni reproducido por cualquier otro medio sin licencia otorgada por la empresa editora. Queda prohibida la reproducción pública de este artículo, en todo o en parte, por cualquier medio, sin permiso expreso y por escrito de la empresa editora.

SÍGUENOS EN

ENVÍO DE LA NOTICIA A UN AMIGO
Correo electrónico
Tu nombre
Mensaje