radCHECK - model driven verification

news & events

18th March 2013
Date Conference 2013, Grenoble
STM CASE will participate at Date Conference 2013, the European Event for Electronic System Design and [...]

19th February 2013
Released radCHECK 2.1
The new version 2.1 of radCHECK has been released! Go to Explore it section to download and enjoy [...]

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.

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.

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.