You are here

SAFE-P: System for Assurance of Flight Executable Procedures

Award Information
Agency: National Aeronautics and Space Administration
Branch: N/A
Contract: NNX09CC43P
Agency Tracking Number: 085551
Amount: $99,884.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 2009
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
211 N. First Street, Suite 300
Minneapolis, MN 55401
United States
DUNS: 103477993
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
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. *

US Flag An Official Website of the United States Government