Integrating RuleChecker into your development process


dSPACE logo

RuleChecker offers tight integration with TargetLink, the production-code generation tool from dSPACE.

TargetLink automatically generates production code for graphically specified functions straight from MathWorks MATLAB/Simulink/Stateflow. This drastically shortens coding and develop­ment time and contributes to a consider­able improvement in the quality of the pro­duction code.

The automated flow between TargetLink and RuleChecker provides for a seamless integration into the de­velopment cycle. For each TargetLink function, alarms about rule violations can be viewed directly in TargetLink. Navigating from the source code to the corresponding model component can be done with a single mouse click, en­abling direct error tracing between implementation and model level. The analyzer provides full data coverage and control. The analyses can be invoked automatically, e.g. after each model change.

RuleChecker offers TargetLink integration straight out of the box. No addi­tional packages need to be installed. You can evaluate the tool for free for a period of 30 days.

ARM Keil µVision

ARM Keil logo

The installation package for RuleChecker also includes a plugin for the ARM Keil µVision IDE/Debugger.

A free video tutorial on installing and using the plugin is available on our YouTube channel.


Eclipse logo

We offer an Eclipse plugin that allows RuleChecker analyses to be performed on C and C++ projects in Eclipse CDT.

The rule checking is invoked directly from the Eclipse IDE. The findings are then reported back to and shown in Eclipse. For each error an Eclipse marker is generated and linked to the corresponding location in the source file. For in-depth alarm investigations, you can open a dedicated RuleChecker client from within Eclipse.


Jenkins logo

We also offer a plugin for automatic integration of RuleChecker in Jenkins, the leading open-source automation server.

The plugin can be downloaded for free from or GitHub.