USA flag logo/image

An Official Website of the United States Government

SAFE-P: System for Assurance of Flight Executable Procedures

Award Information

National Aeronautics and Space Administration
Award ID:
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Smart Information Flow Technologies, d/b/a SIFT
211 N 1st St. Suite 300 Minneapolis, MN 55401-1480
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2009
Title: SAFE-P: System for Assurance of Flight Executable Procedures
Agency: NASA
Contract: NNX09CC43P
Award Amount: $99,884.00


Problem: Ensuring that command execution scripts do not deviate from Standard Operating Procedures (SOPs) is time-consuming, costly, and error-prone. Deviations can be inefficient or hazardous. Solution: We propose to design and develop SAFE-P, an interactive tool to ensure conformance between command scripts and procedures, or guide users to clarify their rationale for deviations. Using semantic differencing and formal verification of bisimulation relations, SAFE-P will ensure that the scripts comply with SOPs and will highlight differences for the operators, so that they can double-check their work and confirm any deviations from standard procedures. SAFE-P's design will begin with relatively simple syntactic mechanisms to find differences between command sequences and textual procedures that can be applied directly to current flight control practices, including the use of SOPs captured in simple XML or PDF files and command scripts in ThinLayer. To reduce false error detection and assess the criticality of differences, we will incorporate knowledge of the space platform's architecture. For future missions, we will extend SAFE-P to richer languages (PRL, PLEXIL, SCL) and employ more complex verification of program-equivalence relationships (bisimulation) to ensure conformance between scripts and procedures.

Principal Investigator:

David Musliner
Principal Investigator

Business Contact:

Harry Funk
Vice President
Small Business Information at Submission:

211 N. First Street, Suite 300 Minneapolis, MN 55401

EIN/Tax ID: 411929753
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No