DEVELOPAIR
Developair Technologies builds NOVA, an AI-powered V&V platform combining symbolic AI, generative AI, and SMT solvers to deliver TÜV SÜD-certified verification and test generation for safety-critical embedded software in railway, automotive, aviation, space, and medical industries.
- Company typePrivate
- Founded2018
- HeadquartersSan Sebastian, Spain
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
What DEVELOPAIR does
Developair Technologies, S.L. is a San Sebastian, Spain-based private software company, founded in 2018, that builds AI-enabled verification and validation (V&V) tooling for safety-critical embedded software development. Its NOVA platform combines symbolic AI, generative AI, and mathematical models based on SMT solvers to convert AI-generated artefacts into controlled, traceable, verifiable, and audit-ready engineering evidence. The platform is built around the proprietary Rely domain-specific language — a restricted natural language for unambiguous requirement definition using WHEN/IF/THEN templates — paired with a Generative AI Assistant that translates structured natural-language requirements into formal Rely specifications. NOVA's six integrated modules cover Requirements Engineering & Automatic Verification, Test Case & Script Generation (supporting Statement, Decision, Decision Condition, Boundary, and MC/DC coverage), AI-Assisted Architecture, End-to-End Traceability, Human-in-the-Loop Governance, and Evidence Packs for audit readiness. Native connectors link NOVA to IBM DOORS, DOORS Next Generation, Polarion, Simulink, Simulink Test, CxxTest, Google Test, and VectorCast, with custom adapters available.
The company targets five regulated verticals under strict safety standards: Railway (EN 50128/EN 50716), Automotive (ISO 26262, plus ASPICE alignment), Aviation (DO-178C/DO-330), Space (ECSS-E-ST-40C / ECSS-Q-ST-80C), and Medical (IEC 62304). TÜV SÜD certifications have been achieved across IEC 61508 (SIL 4), ISO 26262 (ASIL D, all TCLs), IEC 62304 (Class C), and EN 50128 (SIL 4), alongside ISO 9001:2015 from AENOR/IQNET, with the tool classified T2 per IEC 61508-4:2010. Commercially, Developair runs a consultative enterprise field-sales motion: initial demo, tailored proposal, ~3-month pilot validating integration with a real internal use case, then conversion to a recurring annual licence tailored to validated ROI. Pricing is quote-based and not publicly disclosed. Named customers and partners include CAF Power & Automation, CAF Signalling, the European Space Agency, OHB SE, and Orbital Critical Systems, with case studies reporting effort reductions of 52% (low-level requirements), 70–80% (unit test generation and rewriting), 42% (overall software development cost), and 30–55% (development time), alongside a 40% reduction in development cost and 60% reduction in development time across broader deployments.
DEVELOPAIR firmographics
Firmographics- Name
- DEVELOPAIR
- Legal name
- Developair Technologies, S.L.
- Website
- https://developair.tech
- Company type
- Private
- Founded year
- 2018
- Operating status
- Operating
- Headcount range
- 1–10 employees
- Short description
- Developair Technologies builds NOVA, an AI-powered V&V platform combining symbolic AI, generative AI, and SMT solvers to deliver TÜV SÜD-certified verification and test generation for safety-critical embedded software in railway, automotive, aviation, space, and medical industries.
- Ownership category
- akta.pro rank
DEVELOPAIR industry classification
Industry- Product category
- Safety-Critical Software Verification and Validation (V&V)
- NAICS
- Software Publishers (5132), Custom Computer Programming Services (541511), Testing Laboratories and Services (541380), Software Publishers (513210)
- SIC
- Services-Prepackaged Software (7372), Services-Computer Programming Services (7371), Services-Testing Laboratories (8734)
- akta.pro primary industry
- Testing, QA & Release/Deployment Enablement (BPAEAAAN)
- akta.pro secondary industries
- Quality Engineering & Test Automation (QE/QA) (BPAEAFAJ), Safety & Alignment Evaluation (red-teaming, harmful capability testing) (HDAAAMAL), Industry-Specific Low-Code Platforms (Vertical App Platforms) (HDAEAKAL)
Keywords
Where DEVELOPAIR is headquartered
LocationHeadquarters
- HQ city
- San Sebastian
- HQ country
- Spain
- HQ region
- Europe
Offices1 record
Markets served
DEVELOPAIR business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Technology or R&D, Personnel, Marketing or Sales, Operations, Infrastructure
Revenue model
- Annual Software License: Annual license model adapted to validated integration path, expected ROI, and customer's specific operational needs. Flexible approach to tailor licenses to customer specific needs and ROI opportunity. Customers with annual license can access new features and R&D developments first hand.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Other | Multi-year contract | Pilot Project Phase |
Go-to-market motion1 record
Distribution channels1 record
Marketing channels6 records
DEVELOPAIR product offering
Product offeringCore offering
Developair sells the NOVA platform, an AI-based software tool that automates verification and validation (V&V) of safety-critical embedded software for regulated industries. The platform converts natural-language requirements into unambiguous formal specifications, automatically generates test cases (including MC/DC) using SMT solvers, maintains end-to-end traceability, and produces audit-ready evidence packs for compliance with IEC 61508, ISO 26262, IEC 62304, and EN 50128. It is sold as an annual software license to enterprise engineering teams after a pilot project.
Product overview
DEVELOPAIR offers NOVA, an AI-based platform for safety-critical engineering that combines symbolic AI, generative AI, and mathematical models. The platform's core offerings include the NOVA Platform itself, the Rely programming language for unambiguous requirements definition, and a Generative AI Assistant that translates natural-language requirements into formal Rely specifications. Key integrated modules include the Smart Editor for requirements authoring, the Automatic Test Generator for test case creation with multiple coverage metrics, the Architecture Editor for AI-assisted design, and Evidence Packs for audit-ready documentation. The platform integrates natively with tools like IBM DOORS, Polarion, Simulink, and testing frameworks (Google Test, VectorCast, CxxTest). A multi-tool AI architecture ensures results are relevant, traceable, and deterministic, while human-in-the-loop governance keeps experts in control.
Differentiator
Problem solved
Functional benefit
Brands
- NOVA: AI-based platform for safety-critical engineering that transforms AI-generated artifacts into controlled, traceable, verifiable and audit-ready engineering evidence.
- Rely
- Generative AI Assistant
Products and services
- NOVA Platform AI-based platform for safety-critical engineering that transforms AI-generated artifacts into controlled, traceable, verifiable, and audit-ready engineering evidence. Provides six integrated capabilities: Requirements Engineering & Automatic Verification, Test Case & Script Generation, AI-Assisted Architecture, End-to-End Traceability, Human-in-the-Loop Governance, and Evidence Packs & Audit Readiness. Sold to enterprise engineering teams in regulated industries as an annual license.
- Rely Programming Language Programming language designed from the ground up for critical systems requirements quality. Features modular design with building blocks, intuitive syntax, and built-in optimization. Requirements defined using WHEN/IF/THEN structured templates ensure unambiguous, testable specifications with inherent verifiability. Sold as part of the NOVA platform licensing for safety-critical domains.
- Generative AI Assistant for Rely AI-powered assistant that translates well-structured natural-language requirements into Rely specifications. Engineers input NL requirements, the AI generates candidate Rely specifications, and engineers select appropriate versions with built-in correctness checks. Shipped as part of the NOVA platform.
- ASPICE-Aligned Automation with Full ISO 26262 Certification Capability for the NOVA platform delivering AI-powered ASPICE compliance automation with full ISO 26262 certification across all Tool Confidence Levels and all ASILs. Targeted at automotive software teams requiring both process compliance (ASPICE) and functional safety standard compliance (ISO 26262).
Quantifiable outcome
- 60% reduction in software development time
- +7 more outcomes
Companies that use DEVELOPAIR
Customer profileNamed customers6 records
Segments5 records
Ideal customer profiles5 records
DEVELOPAIR technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration8 records
AI capability6 records
Feature11 records
DEVELOPAIR partnerships and signals
Strategic signalPartnerships
Six partnerships are on record, tiered core and minor.
- ESA (European Space Agency)coreAERIS Spark Funding Phase I project focused on extending Developair's functional safety, requirements-based test generation software solution into the space sector. Project strengthens core product portfolio while adapting solution to space-specific needs, standards, and operational constraints.
- OHB SEcoreLeading satellite manufacturer providing technical feedback and domain expertise to guide development of a space-ready technical breadboard derived from the Developair Solution. Collaboration aims to create validated solution adoptable by OHB and other space sector organizations.
- Orbital Critical SystemscoreSpecialized system developer collaborating with Developair in ESA AERIS project. Provides technical feedback and domain expertise to guide space-ready solution development, including onboard software verification.
- ESA Prepare for Space ProgrammecoreESA Technology Broker initiative designed to help companies prepare for space market entry. Provides training, economic activity support, and connections with key space ecosystem players. 12-month programme at no cost to participant.
- Polytechnic University of Madrid (UPM)minorSupporting partner for ESA Prepare for Space programme I3 methodology. Provides academic and research support for Developair's space sector market entry preparation.
- BIND 4.0 (Basque Open Innovation Platform)minorCompleted BIND 4.0 Acceleration Programme through demoday event in Bilbao. Collaboration focused on helping CAF automate Verification and Validation activities of embedded railway software.
Scale indicators12 records
Recent moves6 records
Expansion highlights6 records
DEVELOPAIR competitors and assessment
Company assessmentDirect peers
- Vector Informatik: Vector Informatik provides VectorCast and embedded testing tools used across automotive, rail, and aerospace safety-critical software. It is the most direct competitor to Developair's NOVA Automatic Test Generator for ISO 26262 and EN 50128 projects, with overlapping export targets and customer base.
- Siemens (Polarion ALM): Siemens' Polarion is a leading requirements and ALM platform with deep penetration in automotive, rail, and medical device software. Polarion is both a complement and competitor to Developair — Developair integrates natively with it but competes for the verification and traceability workflow.
- ANSYS (medini): ANSYS medini is a model-based safety analysis tool used for ISO 26262, IEC 61508, and IEC 62304 functional safety work. It competes with Developair's NOVA Architecture Editor and Verification modules in the same automotive/medical buyer workflows.
- LDRA: LDRA provides static analysis, dynamic analysis, and unit testing tools qualified under DO-178C, ISO 26262, and IEC 62304. It directly competes with Developair's NOVA test generation and traceability stack in aviation, medical, and rail certification programmes.
- Parasoft: Parasoft provides automated software testing and static analysis tools (C/C++test, dotTEST) qualified for safety-critical standards including ISO 26262 and DO-178C. It competes with Developair's NOVA Automatic Test Generator in safety-critical embedded verification.
- AdaCore: AdaCore supplies GNAT Pro and SPARK Pro for safety-critical and security-critical software development in rail, aviation, space, and defence. It overlaps with Developair's verification and formal-methods positioning in Ada-dominated regulated programmes.
Broad incumbents
- IBM Engineering (DOORS / Rhapsody): IBM DOORS is the dominant requirements management tool in safety-critical programmes cited explicitly in Developair's case studies. IBM is both the primary integration partner and the principal incumbent Developair augments or partially displaces in regulated V&V workflows.
- MathWorks (Simulink): MathWorks Simulink and Simulink Test are the dominant model-based design and test tools in automotive and aerospace. Developair integrates with Simulink as a Smart Connector, but MathWorks is also a broad incumbent in the same V&V value chain.
Emerging players
- CodeSecure (formerly GrammaTech): CodeSecure (formerly GrammaTech) provides static analysis and CodeSonar tools used in safety-critical aviation, automotive, and industrial programmes. It is an emerging competitor with partial overlap to Developair's verification portfolio.
- Validas: Validas specialises in tool qualification and certification support for DO-178C, DO-330, ISO 26262, and IEC 61508. It is a niche adjacent player that competes for some of the same certification-services and tool-qualification spend as Developair's NOVA platform.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks6 records
Key highlights6 records
Customer concentration
DEVELOPAIR social profiles
Digital presenceDEVELOPAIR compliance and trust
Trust signalCompliance5 records
DEVELOPAIR financial estimates
Financial estimateRevenue estimate
Valuation estimate
DEVELOPAIR leadership team
Management profileNumber of profiles
Profiles1 record
DEVELOPAIR funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
DEVELOPAIR M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about DEVELOPAIR
What does DEVELOPAIR do?
Developair sells the NOVA platform, an AI-based software tool that automates verification and validation (V&V) of safety-critical embedded software for regulated industries. The platform converts natural-language requirements into unambiguous formal specifications, automatically generates test cases (including MC/DC) using SMT solvers, maintains end-to-end traceability, and produces audit-ready evidence packs for compliance with IEC 61508, ISO 26262, IEC 62304, and EN 50128. It is sold as an annual software license to enterprise engineering teams after a pilot project.
Is DEVELOPAIR a public or private company?
DEVELOPAIR is a private company. It is classified as unknown and is currently operating.
When was DEVELOPAIR founded?
DEVELOPAIR was founded in 2018. It employs 1 to 10 people.
Where is DEVELOPAIR based?
DEVELOPAIR is headquartered in San Sebastian, Spain, in the Europe region.
How does DEVELOPAIR make money?
One revenue line is on record: annual Software License.
Who are DEVELOPAIR's main competitors?
Direct peers on record are Vector Informatik, Siemens (Polarion ALM), ANSYS (medini), LDRA, Parasoft and AdaCore. Broad incumbents are IBM Engineering (DOORS / Rhapsody) and MathWorks (Simulink). Emerging players are CodeSecure (formerly GrammaTech) and Validas.
Does DEVELOPAIR have an API?
No public API is recorded for DEVELOPAIR.
What industry is DEVELOPAIR in?
DEVELOPAIR's product category is Safety-Critical Software Verification and Validation (V&V). Its primary akta.pro industry code is BPAEAAAN, Testing, QA & Release/Deployment Enablement, with a secondary code of BPAEAFAJ, Quality Engineering & Test Automation (QE/QA). Its NAICS code is 5132 and its SIC code is 7372.