NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Model Based Engineering for Software AssuranceNASA's successful development of next generation space vehicles, habitats, and robotic systems will require reliable hardware and software systems. The aim of this initiative is to develop modeling methodology and tools to support Model-Based Systems Engineering (MBSE) for software assurance and reliability analysis. This effort expands the Unified Modeling Language (UML) software design models to include fault data for the extraction of Failure Modes and Effects Criticality Analysis (FMECA) and Fault Tree Analysis (FTA) for software. We explored different modeling approaches to integrate the UML software design models with the Systems Modeling Language (SysML) system models to generate an integrated model and reliability tools that take into account software and hardware interfaces.The benefits of this concept directly affect the safety community with quick turnarounds to produce software assurance and reliability analysis artifacts and the ability to visualize failure effects, both hardware and software. The result is enhanced system design integrity and early identification of system risks. This initiative will enable software assurance activities early in the system design lifecycle, facilitating the discovery of design weaknesses and enhancing the capability to produce safe, hazard-free systems
Document ID
20190032026
Acquisition Source
Johnson Space Center
Document Type
Presentation
Authors
Wang, Lui
(NASA Johnson Space Center Houston, TX, United States)
Izygon, Michel
(Tietronix Software, Inc. Houston, TX, United States)
Evans, John
(NASA Headquarters Washington, DC, United States)
Crumbley, Tim
(NASA Marshall Space Flight Center Huntsville, AL, United States)
Date Acquired
October 9, 2019
Publication Date
October 1, 2019
Subject Category
Computer Programming And Software
Report/Patent Number
JSC-E-DAA-TN73329
Meeting Information
Meeting: Software Product Assurance and Engineering Workshop
Location: Toulouse
Country: France
Start Date: October 1, 2019
End Date: October 4, 2019
Sponsors: European Space Agency (ESA), Centre National d'Etudes Spatiales
Funding Number(s)
CONTRACT_GRANT: NNJ14HA01B
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Technical Management
No Preview Available