Logotipo de Parasoft

Noticias

Parasoft ayuda a Ribbit, desarrollador innovador de soluciones para aeronaves autónomas, a despegar con pruebas basadas en IA de software de piloto automático crítico para la seguridad basado en C/C++.

15 de Septiembre de 2025

  • El enfoque de seguridad primero de Ribbit y la colaboración con Parasoft resultan vitales para asegurar múltiples contratos gubernamentales por más de US$1 millón.
  • Parasoft C/C++test y C++test CT admiten procesos de software modernos y ágiles, lo que da como resultado una cobertura de pruebas del 95 % a través de canales de CI y un 100 % de cumplimiento con MISRA y JSF.
  • La experiencia aeroespacial combinada y el enfoque unificado en procesos verificados resultan fundamentales para obtener las aprobaciones del SFOC para vuelos de prueba no tripulados.

Monrovia, California – 15 de septiembre de 2025 – parasoft, líder mundial en soluciones de pruebas de software impulsadas por IA, anuncia una colaboración innovadora con RibbitRibbit, una ágil startup canadiense, desarrolla tecnología de vuelo autónomo para transformar las entregas de carga aérea a zonas remotas con fines civiles, de defensa y humanitarios. En lugar de construir aeronaves autónomas desde cero, Ribbit ha adoptado una estrategia única centrada en el software, que consiste en modernizar aeronaves pequeñas y asequibles ya existentes con software de piloto automático y hardware robusto disponible en el mercado. El núcleo de la plataforma de autonomía, desarrollado en C++ para un control máximo y una fiabilidad crítica en materia de seguridad, se ve reforzado por el uso que hace Ribbit de la tecnología de Parasoft. Soluciones integrales de automatización de pruebas para el desarrollo de software C/C++.

«La alianza de Ribbit con Parasoft es fundamental para nuestra estrategia de desarrollo, ya que permite a nuestros ingenieros estandarizar las prácticas de codificación y ofrecer una calidad de producto consistente», afirmó Carl Pigeon, cofundador y CEO de Ribbit. «También facilita la integración de los nuevos empleados. En particular, las herramientas de análisis estático de Parasoft funcionan como un tutor personal que establece el estándar de calidad del código de Ribbit».

Superando retos

Para demostrar la seguridad de sus sistemas para volar sin piloto en los entornos más desafiantes del mundo, Ribbit seleccionó las pruebas C/C++ de Parasoft para respaldar ciclos de diseño y prototipos iterativos y acelerados, junto con las ventajas de seguridad de los estándares de codificación DO-178C y JSF. Las autoridades aeronáuticas, como Transport Canada, tienen la certeza de que los sistemas modernizados de Ribbit son seguros a pesar de la incertidumbre regulatoria para aeronaves no tripuladas. Las capacidades de análisis estático y cumplimiento normativo de Parasoft también aplican las normas MISRA y JSF en las primeras etapas del desarrollo, lo que permite a los ingenieros detectar y solucionar problemas de codificación lo antes posible.

Imagen que muestra a un ingeniero senior de robótica de Ribbit probando en vuelo su sistema de piloto automático autónomo.

Ribbit prueba en vuelo su sistema de piloto automático autónomo.

Desarrollo pragmático y probado en la práctica

Igualmente importante es el enfoque de «prueba en uso» que Ribbit aprovecha para evaluar la autonomía mediante pilotos de seguridad a bordo antes de pasar a vuelos supervisados ​​remotamente bajo el Certificado Especial de Operación de Vuelo (SFOC) de Canadá. Esto permite a los ingenieros recopilar datos reales manteniendo la flexibilidad operativa.

Validación paso a paso

Parasoft's Profunda experiencia en aviación civil y aeroespacialLa certificación TÜV SÜD y la integración fluida con los flujos de trabajo existentes refuerzan los estándares de codificación, lo que permite a Ribbit centrarse en la autonomía y el cumplimiento normativo. Parasoft C/C++test ofrece a Ribbit mucho más que una simple comprobación del cumplimiento normativo, ya que los ingenieros aprovechan el complemento de VS Code para detectar problemas en tiempo real sin cambiar de contexto. Además, el triaje de infracciones basado en IA de Parasoft ayuda a priorizar las correcciones más críticas, lo cual es crucial para un equipo que gestiona múltiples requisitos. Con Parasoft C/C++test CT, Ribbit también alcanza una cobertura de pruebas del 90-95 % mediante canales de integración continua que integran la ejecución de pruebas con sus entornos de simulación.

«Ribbit es un excelente ejemplo de cómo las empresas aeroespaciales innovadoras pueden avanzar rápidamente sin comprometer la seguridad al integrar el análisis estático de Parasoft en su flujo de trabajo de mejora continua», afirmó Ricardo Camacho, director de estrategia de producto, Cumplimiento de Sistemas Integrados y Críticos para la Seguridad de Parasoft. «Al demostrar sus sistemas a Transport Canada, por ejemplo, Ribbit podría fácilmente señalar sus procesos verificados por Parasoft como evidencia de un desarrollo riguroso, incluso antes de la certificación formal».

Nuevas alturas de innovación

Desde que adoptó Parasoft, Ribbit ha conseguido múltiples contratos gubernamentales de más de un millón de dólares para aplicaciones de defensa y humanitarias. La compañía también ha alcanzado la plena conformidad con MISRA y JSF para garantizar una base de código robusta y fiable. Las prácticas de codificación estandarizadas permiten una incorporación más rápida y sencilla de nuevos ingenieros, además de ciclos de desarrollo acelerados. Sin embargo, lo más importante es la capacidad de Ribbit para integrar las soluciones de cumplimiento de Parasoft en el flujo de trabajo de desarrollo continuo. Como resultado, Ribbit continúa alcanzando nuevas cotas de innovación en tecnología de vuelo autónomo, a la vez que reduce el coste, la complejidad y el tiempo necesarios para diseñar, construir, probar y certificar nuevos aviones autónomos.

Recursos Adicionales

Descubra cómo una estrategia probada en uso ayudó a un equipo pequeño a superar a competidores más grandes y mejor financiados, al tiempo que sentó las bases para un futuro escalable y certificable en la aviación autónoma. Registrarse para la sesión en vivo del martes 16 de septiembre a las 9:XNUMX a. m. (hora del Pacífico). Esta sesión también estará disponible a pedido.

Sobre Parasoft

Parasoft ayuda a las organizaciones a entregar continuamente software de alta calidad con su plataforma de prueba de software impulsada por IA y soluciones de prueba automatizadas. Al respaldar los mercados integrados, empresariales y de IoT, las tecnologías probadas de Parasoft reducen el tiempo, el esfuerzo y el costo de entregar software seguro, confiable y compatible al integrar todo, desde análisis de código profundo y pruebas unitarias hasta pruebas de API y UI web, además de virtualización de servicios y cobertura de código completa, en el proceso de entrega. Al reunir todo esto, el galardonado panel de análisis e informes de Parasoft proporciona una vista centralizada de la calidad, lo que permite a las organizaciones entregar con confianza y tener éxito en los ecosistemas e iniciativas de desarrollo más estratégicos de la actualidad: seguridad, seguridad crítica, Agile, DevOps y pruebas continuas.

# # #

Comunicaciones por los medios:

Sue Hetzel/HetzelMeade Communications, en nombre de Parasoft

sue@hetzelmeade.com

760.473.4729