This thesis proposal addresses support for utilizing an existing formal analysis tool when predictable rule-based systems are developed. One of the main problems of the rule-based paradigm is that it is hard to analyze the behavior of rule sets, which is conflicting with the high predictability requirements typically associated with real-time systems. Further, analysis tools developed for rule-based systems typically address a specific platform or a specific part of the development chain.
In our approach, rules are initially specified in a high-level language. We enable a powerful analysis tool not designed for rule based development, to be utilized for analyzing the rule base. This is done by transforming the set of rules, with maintained semantics, to a representation suitable for the target analysis tool. Our approach provides non-experts in formal methods with the ability to formally analyze a set of rules.