Formal verification for a next-generation space shuttle

被引：0
|
作者：
Nelson, SD
Pecheur, C
机构：
[1] NASA, Ames Res Ctr, Nelson Consulting, Moffett Field, CA 94035 USA
[2] NASA, Ames Res Ctr, RIACS, Moffett Field, CA 94035 USA
来源：
FORMAL APPROACHES TO AGENT-BASED SYSTEMS | 2003年 / 2699卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper discusses the verification and validation (V&V) of advanced software used for integrated vehicle health monitoring (IVHM), in the context of NASA's next-generation space shuttle. We survey the current V&V practice and standards used in selected NASA projects, review applicable formal verification techniques, and discuss their integration into existing development practice and standards. We also describe two verification tools, JMPL2SMV and Livingstone PathFinder, that can be used to thoroughly verify diagnosis applications that use model-based reasoning, such as the Livingstone system.
引用
收藏
页码：53 / 67
页数：15
相关论文
共 50 条
  • [1] High level formal verification of next-generation microprocessors
    Schubert, T
    [J]. 40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 1 - 6
  • [2] Next-generation space transportation - NASA narrows its search for a successor to the Space Shuttle
    Bokulich, F
    [J]. AEROSPACE ENGINEERING, 2002, 22 (06) : 16 - 18
  • [3] Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification
    Drechsler, Rolf
    Schnieber, Martha
    [J]. 2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 122 - 125
  • [4] Next-generation verification tools under development
    不详
    [J]. ELECTRONIC DESIGN, 1998, 46 (11) : 30 - 30
  • [5] Next-Generation Software Verification: An AI Perspective
    Nejati, Shiva
    [J]. IEEE SOFTWARE, 2021, 38 (03) : 126 - 130
  • [6] Space Breeding: The Next-Generation Crops
    Mohanta, Tapan Kumar
    Mishra, Awdhesh Kumar
    Mohanta, Yugal Kishore
    Al-Harrasi, Ahmed
    [J]. FRONTIERS IN PLANT SCIENCE, 2021, 12
  • [7] Designing a next-generation space telescope
    Carpenter, D
    [J]. R&D MAGAZINE, 2002, 44 (10): : 21 - 22
  • [8] Next-generation vaccine candidate on space voyage
    不详
    [J]. HUMAN VACCINES, 2011, 7 (09): : 895 - 895
  • [9] Challenges and Opportunities for Next-Generation Manufacturing in Space
    Nieman, Kip
    Leonard, A. F.
    Tyrrell, Katie
    Messina, Dominic
    Lopez, Rebecca
    Durand, Helen
    [J]. IFAC PAPERSONLINE, 2022, 55 (07): : 963 - 968
  • [10] Work progresses on next-generation space telescope
    Guinnessy, P
    [J]. PHYSICS TODAY, 2003, 56 (09) : 30 - 30
12345