Servicio de asesoramiento para certificación DO-178
MathWorks Consulting Services colabora con clientes para migrar su proceso de desarrollo de software existente, ya sea manual o con diseño basado en modelos, a un proceso que utilice diseño basado en modelos para DO-178. El Servicio de asesoramiento para certificación DO-178 se adapta al entorno, herramientas y aplicación personalizadas. Identifica deficiencias en el proceso actual, desarrolla un plan para un flujo de trabajo de DO-178 optimizado con el diseño basado en modelos, y colabora el cliente para desplegarlo. MathWorks Consulting Services asiste en actividades de modelado, generación de código y calificación de herramientas fundamentales para cumplir con los nuevos objetivos de DO-178C y sus documentos suplementarios DO-330 (consideraciones sobre calificación de herramientas de software), DO-331 (desarrollo y verificación basados en modelos) y DO-333 (métodos formales).
El servicio para certificación DO-178 lo proporciona un equipo de consultoría de MathWorks de alto nivel, que ha adquirido sus conocimientos trabajando durante años en el desarrollo de software de alta integridad en colaboración con clientes del sector aeroespacial. MathWorks Consulting Services ayuda a las organizaciones a evitar errores comunes y reducir el tiempo, esfuerzo y coste necesarios para desarrollar software de alta integridad que cumpla con los objetivos de DO-178.
MathWorks Consulting Services colabora con clientes para realizar las siguientes tareas:
Realización de actividades fundamentales para cumplir con DO-178
- Trazabilidad de requisitos
- Pruebas basadas en requisitos y cobertura de modelos
- Comprobación de estándares de modelos con Simulink Model Advisor
- Revisión, trazabilidad y análisis de código con Simulink Code Inspector™ y productos de Polyspace®
- Generación de casos de prueba y análisis de diseño con Simulink Design Verifier™
- Configuración de herramientas y generación de código con Embedded Coder®
- Pruebas de algoritmos en plataformas objetivo con processor-in-the-loop, incluyendo análisis de cobertura de código (por ejemplo, MC/DC)
- Calificación de herramientas con DO Qualification Kit (for DO-178)
- Generación de artefactos de proceso necesarios para conformidad con DO-178
Planificación y ejecución
- Transforme el proceso de desarrollo de software existente al tiempo que consigue mejoras en la eficiencia
- Identifique y ejecute un enfoque por fases para lograr mejoras en la eficiencia
Capacitación del equipo de trabajo
- Aprenda a aplicar y aprovechar plenamente el diseño basado en modelos para aprovechar los beneficios y cumplir con los objetivos de DO-178 y sus suplementos.
- Aumente los conocimientos y experiencia en diseño basado en modelos del equipo.
Próximos pasos
La estrategia de migración a un proceso de desarrollo de software optimizado que utiliza diseño basado en modelos en un flujo de trabajo para DO-178 varía en función de la empresa y la aplicación. MathWorks Consulting Services se basa en su profundo conocimiento de productos y experiencia en distintos sectores para adaptar el proceso a sus necesidades. Los pasos pueden incluir:
- Evaluación de procesos y herramientas existentes: El equipo de consultoría de MathWorks revisa el proceso de desarrollo de software actual, herramientas, aplicación, niveles de seguridad (A-E) requeridos y documentos de planificación, incluyendo cualificación de herramientas.
- Análisis de deficiencias: Nuestro equipo realiza un análisis de deficiencias para identificar problemas actuales, mejoras en eficiencia de procesos, formación, y otras recomendaciones para migrar a un marco de procesos DO-178 utilizando el diseño basado en modelos. Desarrollamos un plan que incluye un enfoque por fases para lograr mejoras recomendadas.
- Transferencia de conocimiento: Enseñamos cómo el diseño basado en modelos y su cadena de herramientas de soporte se pueden aplicar para cumplir con los objetivos de DO-178 y sus suplementos, e indicamos prácticas recomendadas resultantes de años de experiencia. Entre los temas se incluye cómo realizar actividades de verificación utilizando prestaciones de herramientas específicas, además de profundización en determinadas cuestiones en función de una lista de necesidades priorizadas.
- Soporte práctico para despliegue: El equipo de consultoría de MathWorks ayuda a implementar el proceso recomendado en un proyecto concreto. Prestamos asistencia en modelado, simulación, generación de código, verificación, validación, personalización de DO Qualification Kit y actividades relacionadas con certificación. Ayudamos con la preparación de documentos de planificación de DO, tales como el PSAC, en el contexto del uso del diseño basado en modelos y la generación de artefactos de calificación de herramientas DO-178 mediante la adaptación de DO Qualification Kit.
Contáctese con MathWorks Consulting Services para comunicar sus requisitos específicos.
Raymond Estrada es consultor técnico sénior con amplia experiencia en el sector en orientación, navegación y control, y generación de código para su uso en un entorno de HIL. Su especialidad es ayudar a organizaciones a aplicar el diseño basado en modelos con objeto de desarrollar y desplegar software integrado para aplicaciones de alta integridad que cumplan con estándares de seguridad. Raymond tiene un diploma en ingeniería aeronáutica y astronáutica del Instituto Tecnológico de Massachusetts, y una maestría en ingeniería aeroespacial de la Universidad de California en Los Ángeles.
