Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

SAFE-P: System for Assurance of Flight Executable Procedures, Phase I

Completed Technology Project

Project Introduction

SAFE-P: System for Assurance of Flight Executable Procedures, Phase I
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. More »

Primary U.S. Work Locations and Key Partners

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

Technology Areas

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.