首页> 外文期刊>NASA Tech Briefs >On a Formal Tool for Reasoning About Flight Software Cost Analysis
【24h】

On a Formal Tool for Reasoning About Flight Software Cost Analysis

机译:关于飞行软件成本分析推理的正式工具

获取原文
获取原文并翻译 | 示例
           

摘要

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.
机译:一份报告重点介绍了JPL的16个“探索”级任务的飞行软件(FSW)成本估算的开发。所开发的技术和程序能够简化FSW分析过程,并即时确认用于这些估计的数据和过程在所有特派团中都是一致的。该研究为如何构建基于规则的FSW成本估算系统提供了方向,该系统将提供(1)FSW成本估算,(2)估算结果的解释,(3)成本映射,(4 )数学趋势图,其中说明了趋势为何如此;(5)带有分析师感兴趣的辅助FSW数据的表,(6)专家修改/增强规则的工具,以及(7)概念上的基础方便地扩展到更复杂,有用和通用的基于规则的系统。

著录项

  • 来源
    《NASA Tech Briefs》 |2013年第4期|70-70|共1页
  • 作者

  • 作者单位
  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号