Magazine Article

On a Formal Tool for Reasoning About Flight Software Cost Analysis

TBMG-16156

04/01/2013

Abstract
Content

A report focuses on the development of flight software (FSW) cost estimates for 16 Discovery-class missions at JPL. The techniques and procedures developed enabled streamlining of the FSW analysis process, and provided instantaneous confirmation that the data and processes used for these estimates were consistent across all missions. The research provides direction as to how to build a prototype rule-based system for FSW cost estimation that would provide (1) FSW cost estimates, (2) explanation of how the estimates were arrived at, (3) mapping of costs, (4) mathematical trend charts with explanations of why the trends are what they are, (5) tables with ancillary FSW data of interest to analysts, (6) a facility for expert modification/ enhancement of the rules, and (7) a basis for conceptually convenient expansion into more complex, useful, and general rule-based systems.

Meta TagsDetails
Citation
"On a Formal Tool for Reasoning About Flight Software Cost Analysis," Mobility Engineering, April 1, 2013.
Additional Details
Publisher
Published
Apr 1, 2013
Product Code
TBMG-16156
Content Type
Magazine Article
Language
English