InControl's procedure platform allows automated operations that include logical and flow evaluations, user promptings, telemetry checking and commanding.

Procedures provide the following capabilities:

• Parameterization and spacecraft definition data access – allows generic procedures to be written for spacecraft families.
• Outlining – a stage step is provided that works much like the Microsoft Word paragraph heading concept. This concept allows a procedure writer to outline a procedure and gradually fill in more detail with nested stages.
• Flow of Control – the procedure language includes IF-ELSE, DO, CASE, and GOTO statements.
• Commanding – the procedure language allows single and block commands and allows all command context data to be set
• Telemetry access – the procedure language allows access to raw and EU values for all parameters from all streams (e.g. normal and dwell). It also allows access to status and limit data.
• Subprocedures and spawning – the procedure language allows unlimited nesting as well as the capability to spawn.
• Data display – the procedure language provides the capability to display plots, ANDs and mimics at the local operator console and to snap those displays to the as-run log.