Model Based Mission Assurance ( MBMA ) : NASA ’ s Assurance Future

Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASA’s missions. This suggests the question: what will be the corresponding practice of Model Based Mission Assurance (MBMA)? Contemporaneously, NASA’s Office of Safety and Mission Assurance (OSMA) is evaluating a new objectivesbased approach to standards to ensure that the Safety and Mission Assurance disciplines and programs are addressing the challenges of NASA’s changing missions, acquisition and engineering practices, and technology. MBSE is a prominent example of a changing engineering practice. We use NASA’s 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 is (possibly) enabling the safety case approach for overall risk awareness and communication.

[1]  Michela Munoz Fernandez Using AADL to Enable MBSE for NASA Space Mission Operations , 2014 .

[2]  Vincent Idasiak,et al.  Designing the database for a reliability aware Model-Based System Engineering process , 2013, Reliab. Eng. Syst. Saf..

[3]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[4]  Pierre David,et al.  Dependability analysis activities merged with system engineering, a real case study feedback , 2011 .

[5]  Frank J. Groen,et al.  A vision for spaceflight reliability: NASA's objectives based strategy , 2015, 2015 Annual Reliability and Maintainability Symposium (RAMS).

[6]  Homayoon Dezfuli,et al.  The Evolution of System Safety at NASA , 2014 .

[7]  Jean-Yves Choley,et al.  SysML safety profile for mechatronics , 2014, 2014 10th France-Japan/ 8th Europe-Asia Congress on Mecatronics (MECATRONICS2014- Tokyo).

[8]  David Chemouil,et al.  A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures , 2014, MoDeVVa@MoDELS.

[9]  Miriam J. Sargusingh,et al.  Cascade Distillation System Design for Safety and Mission Assurance , 2015 .

[10]  Luigi Andolfato,et al.  Model based systems engineering for astronomical projects , 2014, Astronomical Telescopes and Instrumentation.

[11]  Alejandro Salado 5.5.2 Efficient and Effective Systems Integration and Verification Planning Using a Model‐Centric Environment , 2013 .

[12]  Gérard Morel,et al.  Combining SysML and formal methods for safety requirements verification , 2010 .

[13]  Pierre David,et al.  Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to LEA Project , 2010 .

[14]  Jean-Yves Choley,et al.  Automatic fault tree generation from SysML system models , 2014, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[15]  Karen Gundy-Burlet Validation and Verification of LADEE Models and Software , 2013 .

[16]  Roberto Furfaro,et al.  Model-Based Systems Engineering approach for the development of the science processing and operations center of the NASA OSIRIS-REx asteroid sample return mission , 2014 .

[17]  Stephen C. Cook,et al.  An Investigation of MBSE Practices across the Contractual Boundary , 2014, CSER.

[18]  Martin S. Feather,et al.  Intertwining Risk Insights and Design Decisions , 2006 .

[19]  Pierre David,et al.  Improving reliability studies with SysML , 2009, 2009 Annual Reliability and Maintainability Symposium.

[20]  Myron Hecht,et al.  Automated Generation of Failure Modes and Effects Analysis from SysML Models , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.