11
Key Facts
- Rely: Developair provides a specification language that allows you to easily define requirements in restricted natural language and favoring standardization. Smart assistant for defining requirements: the generative AI-based assistant can automatically generate requirements in Rely from requirements in other formats or a description in natural language.
- Smart error detection: it provides double-stage feedback by detecting in real time simple errors, such as undefined variables or incompatible data types, and complex errors such as conflicts between requirements or potentially undesired behaviors, when launching the verification.
- Automatic test generation: -Symbolic AI Automatic Test Generator. - Automatic Test generation based on the requirements for: Statement, Decision, Decision/condition, MCDC and Boundary.
Categories
Software for Software Design Test and Verification Software Methods and Tools for Secure Embedded Systems
Product information
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 standards in an efficient way. Our solution is certified by TÜV for several industry standards at all criticality levels.
Main features:
▪Smart Editor for software requirements with AI-powered assistant to speed up the requirements definition, while adding determinism to the process.
▪Symbolic AI for Automatic Verification of Requirements and generation of all the relevant test cases and scripts
▪Symbolic AI for Automatic Test Generator
▪Connectors to Testing Tools and ALMs/requirement management ...Download
Watch our product video
Developair Platform Video