SAFE-P: System for Assurance of Flight Executable Procedures

Award Information
Agency:
National Aeronautics and Space Administration
Amount:
$99,884.00
Program:
SBIR
Contract:
NNX09CC43P
Solitcitation Year:
N/A
Solicitation Number:
N/A
Branch:
N/A
Award Year:
2009
Phase:
Phase I
Agency Tracking Number:
085551
Solicitation Topic Code:
N/A
Small Business Information
SIFT, LLC
211 N. First Street, Suite 300, Minneapolis, MN, 55401
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
103477993
Principal Investigator
 David Musliner
 Principal Investigator
 (763) 449-9373
 musliner@sift.info
Business Contact
 Harry Funk
Title: Vice President
Phone: (612) 578-7438
Email: hfunk@sift.info
Research Institution
N/A
Abstract
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government