MathWorks Ofrece Servicios a Medida para Contribuir al Cumplimiento de los Estándares DO-178 con el Diseño Basado en Modelos

MathWorks ha anunciado hoy el lanzamiento del Servicio de asesoría en la implementación del proceso DO-178, un servicio de consultoría de diseño basado en modelos dedicado para proyectos DO-178. Ahora los ingenieros aeroespaciales pueden tener más confianza en que las aplicaciones de alta integridad desarrolladas utilizando MATLAB y Simulink cumplen los estándares DO, tales como DO-178B, DO-178C y DO-331, el suplemento de desarrollo y verificación basados en modelos para DO‑178C y DO‑278A.

El Servicio de asesoría en la implementación del proceso DO-178 forma a los ingenieros en el estándar, identifica deficiencias en los procesos actuales, proporciona una hoja de ruta para lograr un marco de procesos más optimizado por medio del diseño basado en modelos y contribuye a la implementación de esa hoja de ruta. Los consultores de MathWorks llevan a cabo los siguientes pasos como parte del Servicio de asesoría:

1. Familiarización con los procesos y herramientas existentes:

Revisión del proceso de desarrollo, las herramientas, la aplicación, los niveles de seguridad (A-E) requeridos y los documentos de planificación de software de vuelo, incluida la cualificación de herramientas.

2. Análisis de deficiencias:

Análisis de las deficiencias, basado en el conocimiento adquirido en el paso 1, para identificar los retos actuales y las mejoras en la eficiencia de los procesos, la formación y los cambios que pueden ser necesarios para un marco de proceso DO-178 por medio del diseño basado en modelos. Esto incluye el desarrollo de una hoja de ruta procesable con un enfoque por fases a fin de conseguir las mejoras recomendadas.

3. Instrucciones específicas:

Provisión de instrucciones para solventar las deficiencias identificadas en el paso 2 y describir las bases de DO-178 y la estructura del proceso para la utilización del diseño basado en modelos. Examen de las herramientas utilizadas para automatizar las actividades de desarrollo y verificación clave en función de las necesidades; por lo general, se incluye la comprobación de modelos, la generación de código, la inspección de código y la generación de informes.

4. Soporte práctico en la implementación:

Aplicación del conocimiento adquirido en el paso 3 en un proyecto concreto. Los consultores pueden proporcionar asistencia en una amplia variedad de áreas, tales como modelado, simulación, generación de código, verificación, validación y certificación. La asistencia en la certificación y conformidad incluye la preparación de la cadena de herramientas y la generación o creación de documentos tales como el PSAC y los artefactos de cualificación de herramientas para DO-178 utilizando el DO Qualification Kit.

 El DO Qualification Kit de MathWorks ayuda a la cualificación de herramientas para DO-178 y otros estándares relacionados. Este kit proporciona documentación, casos de prueba y procedimientos que permiten cualificar Simulink o los productos de verificación de código Polyspace para proyectos basados en el estándar DO-178.

El Servicio de asesoría en la implementación del proceso DO-178 complementa el Servicio de asesoría de implementación del proceso ISO-26262 presentado recientemente para el desarrollo de sistemas de automoción de alta integridad.

Si desea obtener más información sobre el diseño basado en modelos para el soporte de DO-178, vea este seminario virtual de MathWorks: Diseño basado en modelos para DO-178 mediante kits de cualificación de herramientas (35:24).