Software for embedded system

We offer an AI-based tool to help develop the logic that controls aerospace, rail, automotive, industrial and power equipment systems

42%* overall cost reduction

Reduced SW development timelines by up to 50%.

Reduced non-compliance costs and regulatory compliance issues.

Opportunity cost reduction: 3 out of 10 engineers reassigned to high value-added tasks.

*Based on a case study conducted in the railway sector.

Do you need more info?

Plataform

Developair platform

Developair is offered as a web application with On-premise and Cloud versions. The Cloud version reduces configuration time, fosters collaboration and avoids having to maintain the IT infrastructure required to run the algorithms. While the On-premise version maximizes control over the data. The platform includes three modules and connectors to other tools:

Editor

An intuitive and easy-to-use editor for software requirements quality assurance. Supports natural language patterns and graphical specification models, such as finite state machines (FSM).

Advantages:

Less ambiguity in the requirements.
Greater standardization.

Eliminates other problems associated with unrestricted natural language requirements such as:

- Vagueness
- Complexity
- Non testability
- Omission
- Duplication
- Excess of words
- Inadequate implementation

Verify

Automatically checks requirements for errors and inconsistencies before they reach the code.

Advantages:

Early software validation. Our platform allows to detect errors and conflicts in the specification, before writing the first line of code.
High degree of automation that reduces development time and cost.

Automatically detects problems such as inconsistencies between requirements, unreachable states, unsatisfiable conditions, etc.

Test

Generates test cases and test vectors automatically

Advantages:

Tests and oracles are automatically generated from the requirements specification.
It improves test quality by avoiding human errors, reduces time and costs and allows engineers to focus on high value-added tasks.

Connectivity

Good integration with other tools

Advantages:

Requirements can be exported to requirements management tools (e.g. IBM DOORS, IBM DNG, etc.).
Generated tests can be exported to testing tools (e.g., Simulink test, Vectorcast, etc.).

Request demo and case studies

Advantages

Development platform focused on automatic requirements verification and automatic test generation, giving the possibility to optimize the software development cycle, offered in SaaS (Software as a Service) and On-premise formats.

FAST SET-UP AND AUTOMATIC UPDATES

Simply access the web application without installation or updates, always using the latest version of the product.

SECURITY

We take care of your data as you would do it yourself. Privacy and security for your business.

EASY INTEGRATION WITH YOUR EXISTING TOOLS

We provide plugins to connect to your requirements or test management systems.

SMOOTH LEARNING CURVE

Our intuitive user interface helps domain experts concentrate on developing software fast, focusing on their work.

More info

FAQ

WHY DEVELOPAIR?

There is pressure to manage an increasing complexity and amount of software in systems
The market demands highly robust and reliable software
Minimizing the time engineers spend on repetitive or low-value tasks is key
Companies are committed to the goal of being highly competitive