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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    On a Formal Tool for Reasoning About Flight Software Cost Analysis


    Contributors:


    Publication date :

    2013-04-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Formal Verification of Flight Critical Software

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


    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


    Progress towards flight software hybrid controllers from formal specifications

    Haesaert, S. / Reder, L.J. / Murray, R.M. | IEEE | 2018