SAFE-P: System for Assurance of Flight Executable Procedures

SAFE-P will validate and verify command scripts, preventing the potential misalignment between Standard Operating Procedures (SOPs) and executable platform control scripts.

Under the NASA SBIR X1.01SAFE-P project for Jeremy Frank (650-604-2524), SIFT has designed and developed an automatic verification technology that validates and verifies command scripts, preventing the potential misalignment between SOPs and executable platform control scripts. By “understanding” both the SOPs and the command scripts, the System for Assurance of Flight Executable Procedures (SAFE-P) ensures that the scripts comply with SOPs and will highlight differences for the operators, such that they can double-check their work and confirm any deviations from standard procedures.