Developair Platform

State-of-the-art modular Software solution to automate Verification & Validation activities of cyber-physical systems and embedded software.

For companies aiming at improving their software development process or at fulfilling functional safety regulations in an efficient way. We can support:

- Industry and Energy (IEC 61508) the tool is qualified for any SIL level.

- Railway (EN50128): the tool is qualified for any SIL level.

- Automotive (ISO 26262): the tool is qualified for any TCL.

- Medical devices (IEC 62304): the tool is quailfied for all the levels.

Main features:

▪Smart Editor for software requirements with smart AI based assistant to speed up the requirements definition.

▪Symbolic AI for Automatic Verification of Requirements

▪Symbolic AI for Automatic Test Generator

▪Connectors to Testing Tools and ALMs/requirement management tools.

Cutting-edge technology specifically developed for Sw development:

▪Tool chain based on a unique blend of Symbolic and Generative AI

▪Traceability, dependability, and reliability are at the core of our technology

▪Our Generative AI is based on LLM-s and our Symbolic AI is based on formal mathematical models

Process in Developair:

1. Architecture Definition

- Software architecture editor

- Connectors for importing the Software architecture from other tools

2. Definition and standardization of Software requirements

- Generative AI assistant

- Smart Editor

3. Verification of requirements

- Symbolic AI verifier

- Static checks

4. Automatic Generation of unit test cases

- Symbolic AI Automatic Test Generator

- Test generation for: Statement, Decision, Decision/condition, MCDC and Boundary

5. Connectivity to other tools

- Connectors to Requirements Management Tools

- Connectors to Testing Tools

Benefits

- 30-50% reduction in SW development costs.

- Reduction of SW development times by up to 50%.

- Cutting edge AI adoption for critical software development.

- Reduced non-compliance costs and regulatory compliance issues.

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

- End to end flow of requirements edition to test execution