Model Based Mission Assurance: NASA's Assurance Future

Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASAs missions. This suggests the question: what will be the corresponding practice of Model Based Mission Assurance (MBMA)? Contemporaneously, NASAs Office of Safety and Mission Assurance (OSMA) is evaluating a new objectives based approach to standards to ensure that the Safety and Mission Assurance disciplines and programs are addressing the challenges of NASAs changing missions, acquisition and engineering practices, and technology. MBSE is a prominent example of a changing engineering practice. We use NASAs objectives-based strategy for Reliability and Maintainability as a means to examine how MBSE will affect assurance. We surveyed MBSE literature to look specifically for these affects, and find a variety of them discussed (some are anticipated, some are reported from applications to date). Predominantly these apply to the early stages of design, although there are also extrapolations of how MBSE practices will have benefits for testing phases. As the effort to develop MBMA continues, it will need to clearly and unambiguously establish the roles of uncertainty and risk in the system model. This will enable a variety of uncertainty-based analyses to be performed much more rapidly than ever before and has the promise to increase the integration of CRM (Continuous Risk Management) and PRA (Probabilistic Risk Analyses) even more fully into the project development life cycle. Various views and viewpoints will be required for assurance disciplines, and an over-arching viewpoint will then be able to more completely characterize the state of the project/program as well as (possibly) enabling the safety case approach for overall risk awareness and communication

Enabling Assurance in the MBSE Environment

A number of specific benefits that fit within the hallmarks of effective development are realized with implementation of model-based approaches to systems and assurance. Model Based Systems Engineering (MBSE) enabled by standardized modeling languages (e.g., SysML) is at the core. These benefits in the context of spaceflight system challenges can include: Improved management of complex development, Reduced risk in the development process, Improved cost management, Improved design decisions. With appropriate modeling techniques the assurance community can improve early oversight and insight into project development. NASA has shown the basic constructs of SysML in an MBSE environment offer several key advantages, within a Model Based Mission Assurance (MBMA) initiative

TURTLE: Four Weddings and a Tutorial

The paper discusses an educational case study of protocol modelling in TURTLE, a real-time UML profile supported by the open source toolkit TTool. The method associated with TURTLE is step by step illustrated with the connection set up and handover procedures defined for the Future Air navigation Systems. The paper covers the following methodological stages: requirement modeling, use-case driven and scenario based analysis, object-oriented design and rapid prototyping in Java. Emphasis is laid on the formal verification of analysis and design diagrams

A model-based rams estimation methodology for innovative aircraft on-board systems supporting mdo applications

The reduction of aircraft operating costs is one of the most important objectives addressed by aeronautical manufactures and research centers in the last decades. In order to reach this objective, one of the current ways is to develop innovative on-board system architectures, which can bring to lower fuel and maintenance costs. The development and optimization of these new aircraft on-board systems can be addressed through a Multidisciplinary Design Optimization (MDO) approach, which involves different disciplines. One relevant discipline in this MDO problem is Reliability, Availability, Maintainability and Safety (RAMS), which allows the assessment of the reliability and safety of aircraft systems. Indeed the development of innovative systems cannot comply with only performance requirements, but also with reliability and safety constraints. Therefore, the RAMS discipline plays an important role in the development of innovative on-board systems. In the last years, different RAMS models and methods have been defined, considering both conventional and innovative architectures. However, most of them rely on a document-based approach, which makes difficult and time consuming the use of information gained through their analysis to improve system architectures. On the contrary, a model-based approach would make easier and more accessible the study of systems reliability and safety, as explained in several studies. Model Based Systems Engineering (MBSE) is an emerging approach that is mainly used for the design of complex systems. However, only a few studies propose this approach for the evaluation of system safety and reliability. The aim of this paper is therefore to propose a MBSE approach for model-based RAMS evaluations. The paper demonstrates that RAMS models can be developed to quickly and more effectively assess the reliability and safety of conventional and innovative on-board system architectures. In addition, further activities for the integration of the model-based RAMS methodology within MDO processes are described in the paper

A Framework to Develop Anomaly Detection/Fault Isolation Architecture Using System Engineering Principles

For critical systems, timely recognition of an anomalous condition immediately starts the evaluation process. For complex systems, isolating the fault to a component or subsystem results in corrective action sooner so that undesired consequences may be minimized. There are many unique anomaly detection and fault isolation capabilities available with innovative techniques to quickly discover an issue and identify the underlying problems. This research develops a framework to aid in the selection of appropriate anomaly detection and fault isolation technology to augment a given system. To optimize this process, the framework employs a model based systems engineering approach. Specifically, a SysML model is generated that enables a system-level evaluation of alternative detection and isolation techniques, and subsequently identifies the preferable application(s) from these technologies A case study is conducted on a cryogenic liquid hydrogen system that was used to fuel the Space Shuttles at the Kennedy Space Center, Florida (and will be used to fuel the next generation Space Launch System rocket). This system is operated remotely and supports time-critical and highly hazardous operations making it a good candidate to augment with this technology. As the process depicted by the framework down-selects to potential applications for consideration, these too are tested in their ability to achieve required goals

A Model-Based Systems Engineering Approach to e-VTOL Aircraft and Airspace Infrastructure Design for Urban Air Mobility

This paper serves to contribute to Model-Based Systems Engineering (MBSE) by following the NASA Systems Engineering Handbook framework for a Systems Engineering (SE) design approach to an Electric Vertical Takeoff and Landing (e-VTOL) aircraft and the incorporating airspace infrastructure. The focus of this study is, by using the MBSE model created, to capture the technical requirements definition and design intent of the vehicle and airspace inclusive of community specific knowledge derived from the Federal Aviation Administration (FAA) NextGen Urban Air Mobility (UAM) Concept of Operations (ConOps) version 1.0. The stakeholder requirements derived from the FAA UAM NextGen ConOps will form the bedrock for the aircraft infrastructure requirements from which the flight mission requirements are derived. From these requirements, the profile of a notional flight mission is provided. Additionally, from the flight mission requirements, a design solution can be proposed and examined to ensure it meets the original stakeholder needs. The vehicle and associated airspace environment are modeled using an MBSE dedicated platform, Cameo Systems Modeler, in a language called SysML. The resulting MBSE model created can demonstrate the traceability between top-level system requirements down to the subcomponent-level design. In the conclusive study of the sub-system behavioral relationships, the analysis and validation of the proposed design solution can support model reliability

Reliability Analysis of Complex NASA Systems with Model-Based Engineering

The emergence of model-based engineering, with Model- Based Systems Engineering (MBSE) leading the way, is transforming design and analysis methodologies. The recognized benefits to systems development include moving from document-centric information systems and document-centric project communication to a model-centric environment in which control of design changes in the life cycles is facilitated. In addition, a single source of truth about the system, that is up-to-date in all respects of the design, becomes the authoritative source of data and information about the system. This promotes consistency and efficiency in regard to integration of the system elements as the design emerges and thereby may further optimize the design. Therefore Reliability Engineers (REs) supporting NASA missions must be integrated into model-based engineering to ensure the outputs of their analyses are relevant and value-needed to the design, development, and operational processes for failure risks assessment and communication

Model Based Mission Assurance in a Model Based Systems Engineering (MBSE) Framework: State-of-the-Art Assessment

This report explores the current state of the art of Safety and Mission Assurance (S&MA) in projects that have shifted towards Model Based Systems Engineering (MBSE). Its goal is to provide insight into how NASA's Office of Safety and Mission Assurance (OSMA) should respond to this shift. In MBSE, systems engineering information is organized and represented in models: rigorous computer-based representations, which collectively make many activities easier to perform, less error prone, and scalable. S&MA practices must shift accordingly. The "Objective Structure Hierarchies" recently developed by OSMA provide the framework for understanding this shift. Although the objectives themselves will remain constant, S&MA practices (activities, processes, tools) to achieve them are subject to change. This report presents insights derived from literature studies and interviews. The literature studies gleaned assurance implications from reports of space-related applications of MBSE. The interviews with knowledgeable S&MA and MBSE personnel discovered concerns and ideas for how assurance may adapt. Preliminary findings and observations are presented on the state of practice of S&MA with respect to MBSE, how it is already changing, and how it is likely to change further. Finally, recommendations are provided on how to foster the evolution of S&MA to best fit with MBSE

Model Based Systems Engineering for CubeSat Mission Reliability

Model Based Systems Engineering (MBSE) is moving to the forefront of small spacecraft development. The benefits of SysML as a language for the elucidation of the system architecture for CubeSats is well understood and is implemented in standard model formats. Concurrently, the benefits of the evolving development of MBSE for assurance has been recognized and is emerging as Model Based Mission Assurance (MBMA), which promises the development of integral assurance stakeholder views into the model as well as the production of useful products from the model. In this regard, the assurance organizations of NASA, ESA, and JAXA are exploring jointly the potential benefits of MBSE and MBMA in anticipation of future joint projects in which an architecture for a flight mission will be shared in a SysML model. Traditionally, only mission-critical aspects of large systems have been able to justify the time and expense of creating reliability analyses. This work aims to make these analyses practical for a wide range of missions, from small to large to support architectural design decisions, rapidly and cost effectively, across organizations. In additions to exploring basic modeling concepts and communicating over the model, the partners have shown that reliability analysis can be generated from the model. These include early Failure Modes, Effects, and Critically Analysis (FMECA) and Fault Tree Analysis (FTA) based on the simulated mission. The intent is to test basic meta-model frameworks and compare these results across the agencies. One such basic framework employs SysML state machines as the basis for developing FMEAs and FTAs. When failures are modeled using this framework, plugins (developed by NASA under a Small Business Innovation Research project) for the SysML tool are able to automatically to generate a FMECA table and Fault Trees. The expected outcome of this project is a compilation of lessons learned across the 3 agencies (NASA-ESA-JAXA) to be shared with their assurance communities. In addition, comparisons and utility of SysML derived products from the model are planned. Finally, a framework for standardization to the extent possible will be proposed to facilitate model sharing in the future for more complex scenarios, as a result of lessons learned herein