PUBLICIDAD
  • REVISTA DIGITAL
  • PUBLICIDAD
  • HEMEROTECA
  • VIDEOTECA
  • CONTACTO
domingo, 18 de abril de 2021
Actualidad Aeroespacial
  • Compañías
  • Industria
  • Defensa
  • Profesionales
  • Infraestructuras
  • Transporte
  • Formación
  • Legislación
  • Espacio
  • Opinión
No hay resultados
Ver todos los resultados
  • Compañías
  • Industria
  • Defensa
  • Profesionales
  • Infraestructuras
  • Transporte
  • Formación
  • Legislación
  • Espacio
  • Opinión
No hay resultados
Ver todos los resultados
Actualidad Aeroespacial
No hay resultados
Ver todos los resultados

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

12/12/2012
en Industria

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.

ComparteTweetComparteEnviar
PUBLICIDAD

NOTICIAS RELACIONADAS

Helicópteros Bell
Industria

Bell entrega los primeros helicópteros 407GXi a Shin-Nihon Helicopters en Japón

16/04/2021

Bell Textron, una empresa de Textron, entregó recientemente dos helicópteros Bell 407GXi a Shin-Nihon Helicopters en Japón. Con esta entrega,...

Darpa
Espacio

Darpa anuncia su intención de poner en órbita un cohete nuclear en 2025

16/04/2021

La Agencia de Proyectos de Investigación Avanzada de Defensa (Darpa) de EEUU ha anunciado su objetivo de poner en órbita...

H225M de Airbus

Francia compra ocho H225M y un segundo prototipo VSR700 para la DGA

16/04/2021
Carbon Mapper

Carbon Mapper lanza un programa satelital para identificar super emisores de metano y CO2

16/04/2021
DefiantX

Boeing y Sikorsky avanzan en el proyecto Defiant X

16/04/2021
Racer de Airbus

Airbus Helicopters empezará las pruebas de vuelo del Racer en 2022

16/04/2021
PUBLICIDAD

SUSCRÍBETE AL BOLETÍN

Revisa tu bandeja de entrada o la carpeta de spam para confirmar tu suscripción.

PUBLICIDAD

ÚLTIMAS NOTICIAS

Helicópteros Bell

Bell entrega los primeros helicópteros 407GXi a Shin-Nihon Helicopters en Japón

16/04/2021
Darpa

Darpa anuncia su intención de poner en órbita un cohete nuclear en 2025

16/04/2021
H225M de Airbus

Francia compra ocho H225M y un segundo prototipo VSR700 para la DGA

16/04/2021
Carbon Mapper

Carbon Mapper lanza un programa satelital para identificar super emisores de metano y CO2

16/04/2021
DefiantX

Boeing y Sikorsky avanzan en el proyecto Defiant X

16/04/2021

REVISTA DIGITAL

VER REVISTAS
PUBLICIDAD
Actualidad Aeroespacial

© 2021. Todos los derechos reservados

Queda terminantemente prohibida la reproducción total o parcial de los contenidos ofrecidos a través de este medio, salvo autorización expresa de Actualidad Aeroespacial.

  • Aviso Legal
  • Política de privacidad
  • Contacto

Síguenos

No hay resultados
Ver todos los resultados
  • Compañías
  • Industria
  • Defensa
  • Profesionales
  • Infraestructuras
  • Transporte
  • Formación
  • Legislación
  • Espacio
  • Opinión
  • Revista digital
  • Publicidad
  • Hemeroteca
  • Videoteca
  • Contacto

© 2021. Todos los derechos reservados

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies