The Genesis of a Formal Tool for Reasoning about Flight Software Cost Analysis

被引:0
|
作者
Spagnuolo, John, Jr. [1 ]
Stukes, Sherry [2 ]
机构
[1] CALTECH, Jet Prop Lab, Cost & Pricing Sect, Engn Cost Anal Grp, 4800 Oak Grove Dr MS 301-465, Pasadena, CA 91109 USA
[2] CALTECH, Jet Prop Lab, Integrated Ground Data Syst Sect, Ground Software Syst Engn Grp, Pasadena, CA 91109 USA
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Knowledge Engineering (as defined by Edward Feigenbaum and Pamela McCorduck [1]) "... is that discipline that involves integrating knowledge into computer systems in order to solve complex problems normally requiring a high level of human expertise". Embedded in this definition is the acquisition and structuring of the information characterizing the knowledge domain of interest. This paper gives a paradigm for the acquisition, structuring and representation of the knowledge used for the computation and computerized explanation of Flight Software (FSW) estimates for space mission proposals at the Jet Propulsion Laboratory (JPL). General principles for the estimation of FSW are presented by merging the above ideas with the SEER-SEM computer program. A computerized methodology used to map the SEER-SEM output into the JPL Work Breakdown Structure (WBS) is illustrated. The ideas of this paper encompass a methodology for FSW cost analysis which serves as a foundation upon which others may gain insight into how to perform such analyses.
引用
收藏
页数:21
相关论文
共 50 条
  • [1] Formal Reasoning about Software Object Translations
    Berzins, Vladis
    Luqi
    Musial, Peter M.
    [J]. FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 43 - 58
  • [2] Formal reasoning about hardware and software memory models
    Roychoudhury, A
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 423 - 434
  • [3] A tool to support formal reasoning about computer languages
    Boulton, RJ
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 81 - 95
  • [4] Formal reasoning about causality analysis
    Brandt, Jens
    Schneider, Klaus
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 118 - 133
  • [5] A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
    Erata, Ferhat
    Goknil, Arda
    Tekinerdogan, Bedir
    Kardas, Geylani
    [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 959 - 963
  • [6] Formal Framework for Reasoning About the Precision of Dynamic Analysis
    Dalla Preda, Mila
    Giacobazzi, Roberto
    Marastoni, Niccolo
    [J]. STATIC ANALYSIS (SAS 2020), 2020, 12389 : 178 - 199
  • [7] ABOUT FORMAL GENESIS OF PSYCHOSES
    DAUN, H
    [J]. FORTSCHRITTE DER NEUROLOGIE PSYCHIATRIE, 1973, 41 (01) : 1 - 52
  • [8] Formal reasoning about systems, software and hardware - Using functionals, predicates and relations
    Boute, R
    [J]. INFORMATION TECHNOLOGY: SELECTED TUTORIALS, 2004, 157 : 85 - 114
  • [9] Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis
    Robert Lutz
    Luis Gonzaga Luis Gonzaga
    [J]. Synthese, 2003, 134 : 325 - 351
  • [10] An Analysis Tool for Flight Test of Airborne Display Software
    Lee, Yong-Rae
    Choi, Eu-Teum
    Jun, Yong-Kee
    [J]. JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 2018, 46 (11) : 961 - 968