SAFE-P: System for Assurance of Flight Executable Procedures

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


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government