Model Based Engineering for Software Assurance

Wang, Lui ; Izygon, Michel ; Evans, John ; Crumbley, Tim

关键词: COMPUTER PROGRAMS;    FAILURE MODES;    FAULT TREES;    HARDWARE;    MODEL-BASED SYSTEMS ENGINEERING (MBSE);    RELIABILITY ANALYSIS;    RISK;    SOFTWARE ENGINEERING;    SOFTWARE ASSURANCE (SWA);    SYSTEMS MODELING LANGUAGE (SYSML);   

RP-ID  :  JSC-E-DAA-TN73329

学科分类：软件

美国|英语

来源: NASA Technical Reports Server

【 摘 要 】

NASA'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