The installation package for RuleChecker 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.