Model Validation
Provides an examination of the user model against advanced validation criteria, generates a set of errors and warnings and visually decorates model elements on which the findings have been identified.

Flow Analysis
Identifies all the possible flows of control though the application, based on given inputs and outputs. Users have the ability to place temporal constraints (deadlines) on these flows.

Priority analysis and allocation
Sets the capsule and signal priorities throughout the model to best achieve the deadlines on each flow.

Schedulability analysis
Calculates the worst case phasing for the model and the Worst Case Response Time (WCRT) for each flow of control.