Uncategorized

  • image about the gap between requirements and testing in embedded software

    Gap Between Requirements and Testing in Embedded Software

    Bridging the Gap Between Requirements and Testing in Embedded Software with Developair. Find out how we do it. The V-Model and Functional Safety Standards The V-model is a widely used software development methodology, especially in safety-critical industries like automotive, railway, industrial automation, medical devices, and aerospace. This model emphasizes a structured approach where each development
  • ERTS 2024

    Next week we will be at the 12th ERTS (Embedded Real Time Software and Systems) Congress in Toulouse. We will be at booth 10, where Developair team will show our solution based on symbolic AI that automates formal verification activities and generates functional unit test in the development of software components for embedded systems.
  • Embedded World

    In early April we are going to be exhibiting at Embedded World to present our AI tool for the automatisation of verification and validation activities of embedded software for railway, aviation, industrial machinery, automotive and energy.
  • Rail Live!

    This year, at the end of November, we will attend as exhibitors at Rail Live! to present our tool to automate verification and validation activities of embedded software in the railway sector.
  • High Integrity Software Conference (HISC) 2023

    This year, in October, we will be attending as exhibitors at the High Integrity Software Conference to present our tool to automate verification and validation activities of embedded Software.
  • Project with CAF in BIND 4.0

    We completed BIND 4.0 - Basque Open Innovation Platform's Acceleration Program with a Demoday Event in Bilbao.