news & events
28 February - 1 March 2012
Embedded World 2012 - Nürnberg, Germany
We will be in Nürnberg at Embedded World 2012, the world’s biggest exhibition for embedded technologies.
Visit
[...]
- radCHECK is an automatic tool for dynamic embedded software verification enhancing model-driven testing methodology
- Requirements formalization with guided properties definition
- Automatic test case generation
- State of the art techniques and methodologies for embedded
systems verification
- Fully integrated with the development tool radCASE Benefits »
property editing
The verification suite is fully integrated with radCASE development tools. The design model is automatically imported and a guided graphical editor is provided for describing the design requirements with assertions.
Read more »
testcase generation
Automatic generation of high-quality test cases is provided.
The generated testcase are used for dynamic assertion-based verification of the model implementation via checker
simulation.
Read more »
verification
Properties are automatically translated into checkers to be executed and monitor the design correctness.
A step-by-step simulation provides highlighed errors identification trouth the integrated radCASE visualizator.
Read more »
