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 条
  • [41] Reasoning about software-component behavior
    Sitaraman, M
    Atkinson, S
    Kulczycki, G
    Weide, BW
    Long, TJ
    Bucci, P
    Heym, F
    Pike, S
    Hollingsworth, JE
    [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 266 - 283
  • [42] Reasoning about Software Trustworthiness with Derivation Trees
    Deng Y.
    Chen Z.
    Wang Y.
    Du W.
    Mao B.
    Liang Z.
    Lin Q.
    Li J.
    [J]. Journal of Shanghai Jiaotong University (Science), 2024, 29 (03) : 579 - 587
  • [43] Better reasoning about software engineering activities
    Menzies, T
    Kiper, JD
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 391 - 394
  • [44] Obtaining and Reasoning About Good Enough Software
    Rinard, Martin
    [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 930 - 935
  • [45] Reasoning about software system design with SSM
    Kokol, P
    [J]. SYSTEMS FOR SUSTAINABILITY: PEOPLE, ORGANIZATIONS, AND ENVIRONMENTS, 1997, : 579 - 582
  • [46] Reasoning about the correctness of software development process
    Pons, C
    Baum, G
    [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 708 - 708
  • [47] Relational reasoning in formal concept analysis
    Golinska-Pilarek, Joanna
    Orlowska, Ewa
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-4, 2007, : 1053 - 1058
  • [48] Formal Modeling and Reasoning for Reliability Analysis
    Miskov-Zivanov, Natasa
    Marculescu, Diana
    [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 531 - 536
  • [49] THOR: A tool for reasoning about shape and arithmetic - Tool paper
    Carnegie Mellon University
    不详
    [J]. Lect. Notes Comput. Sci., (428-432):
  • [50] Sibilla: A tool for reasoning about collective systems
    Del Giudice, Nicola
    Matteucci, Lorenzo
    Quadrini, Michela
    Rehman, Aniqa
    Loreti, Michele
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2024, 235