Mathworks lanza un servicio de asesoría para el desarrollo de sistemas de alta integridad

(Infodefensa.com) - Mathworks ha lanzado un servicio de consultoría dirigido a la implementación de proyectos DO-178. Dicho servicio 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, informa la compañía.

“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 la verificación basados en modelos para DO?178C y DO?278ª”, explica la firma en un comunicado.

Como parte del servicio de asesoría, los consultores de MathWorks llevan a cabo, en primer lugar, la familiarización con los procesos y herramientas existentes, es decir, la 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.

Además, realizan un análisis de deficiencias, basado en el conocimiento adquirido en el paso anterior, 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.

El tercer paso sería la 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. También se realiza un 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.

El último paso es el soporte práctico en la implementación, es decir, la 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, que 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, puede ver el seminario virtual de MathWorks: Diseño basado en modelos para DO-178 mediante kits de cualificación de herramientas.