Novedades

  • ERTS 2024

    La próxima semana estaremos en el duodécimo congreso de ERTS (Embedded Real Time Software and Systems) en Toulouse. Estaremos en el stand 10, donde el equipo Developair podrá mostrar nuetra solución basada en IA simbólica de automatización de las actividades de verificación formal y generación test funcionales en el desarrollo de componentes software para sistemas embebidos.
  • Embedded World

    A principios de abril vamos a asistir como exhibidores a la Embedded World para presentar nuestra herramienta de IA para la automatización de actividades de verificación y validación de software embebido en los sectores ferroviario, aviación, maquinaria industrial, automoción y energía. 
  • Rail Live!

    Este año, a finales de noviembre, vamos a asistir como exhibidores a Rail Live! para presentar nuestra herramienta para automatizar actividades de verificación y validación de Software embebido en el sector ferroviario.
  • High Integrity Software Conference (HISC) 2023

    Este año, en octubre, vamos a asistir como exhibidores a la High Integrity Software Conference para presentar nuestra herramienta para automatizar actividades de verificación y validación de Software embebido.
  • Proyecto con CAF en BIND 4.0

    Hemos concluido el programa de aceleración BIND 4.0 - Basque Open Innovation Platform con un evento Demoday en Bilbao.