Developair Technologies

Developair Technologies is a software company based in Donostia/San Sebastian, Spain, that builds AI-based verification and validation tools for safety-critical embedded software and cyber-physical systems. The Developair Platform lets engineers write requirements in Rely, a restricted natural language specification language, with a generative AI assistant that converts other formats or plain descriptions into Rely requirements.

Developair Technologies is a software company based in Donostia/San Sebastian, Spain, that builds AI-based verification and validation tools for safety-critical embedded software and cyber-physical systems. The Developair Platform lets engineers write requirements in Rely, a restricted natural language specification language, with a generative AI assistant that converts other formats or plain descriptions into Rely requirements. The platform flags requirement errors and conflicts, and its symbolic AI test generator creates test cases and scripts for statement, decision, MCDC and boundary coverage. It connects to testing tools and ALM or requirements management systems. The company supports teams complying with functional safety standards including DO-178C, ISO 26262, EN 50128 and IEC 62304, and its website covers aviation, railway, automotive, space and medical. Developair reports TÜV certification of its solution and ISO 9001:2015 certification of its quality system.