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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The genesis of a formal tool for reasoning about Flight Software cost analysis


    Contributors:


    Publication date :

    2012-03-01


    Size :

    2462482 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    On a Formal Tool for Reasoning About Flight Software Cost Analysis

    Spagnuolo, John N., Jr. / Stukes, Sherry A. | NTRS | 2013


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Genesis early flight experience

    Williams, K. E. / Wilson, R. S. | NTRS | 2003


    Reasoning about software specifications - A case study

    Wild, Chris / Chen, JI / Eckhardt, Dave | NTRS | 1989


    Reasoning about software specifications - A case study

    WILD, CHRIS / CHEN, JI / ECKHARDT, DAVE | AIAA | 1989