Towards a Framework for Reliability and Safety Analysis of Complex Space Missions

Long duration and complex mission scenarios are characteristics of NASA’s human exploration of Mars, and will provide unprecedented challenges. Systems reliability and safety will become increasingly demanding and management of uncertainty will be increasingly important. NASA’s current pioneering strategy recognizes and relies upon assurance of crew and asset safety. In this regard, flexibility to develop and innovate in the emergence of new design environments and methodologies, encompassing modeling of complex systems, is essential to meet the challenges.

[1]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[2]  Martin S. Feather,et al.  Model based mission assurance: NASA's assurance future , 2016, 2016 Annual Reliability and Maintainability Symposium (RAMS).

[3]  Marek J. Druzdzel,et al.  GeNIe: A Development Environment for Graphical Decision-Analytic Models , 1999, AMIA.

[4]  Lui Wang,et al.  Effort to Accelerate MBSE Adoption and Usage at JSC , 2016 .

[5]  Michel Izygon,et al.  Facilitating R&M in spaceflight systems with MBSE , 2016, 2016 Annual Reliability and Maintainability Symposium (RAMS).

[6]  Elisabeth A. Nguyen,et al.  Experiences with Assurance Cases for Spacecraft Safing , 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

[7]  Insup Lee,et al.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey , 2014, FHIES/SEHC.

[8]  James Inge.  Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems , 2007 .

[9]  Luis Enrique Sucar,et al.  Bayesian Networks for Reliability Analysis of Complex Systems , 1998, IBERAMIA.

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

[11]  R. Dorociak.  Early probabilistic reliability analysis of mechatronic systems , 2012, 2012 Proceedings Annual Reliability and Maintainability Symposium.

[12]  Kelli Mars,et al.  Journey to Mars: Pioneering Next Steps in Space Exploration , 2016 .

[13]  Miklós Maróti,et al.  Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure , 2014, MPM@MoDELS.

[14]  Steven Jenkins,et al.  Fault Management Ontology and Modeling Patterns , 2016 .

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

[16]  Nga Nguyen,et al.  SysML and safety analysis for mechatronic systems , 2012, 2012 9th France-Japan & 7th Europe-Asia Congress on Mechatronics (MECATRONICS) / 13th Int'l Workshop on Research and Education in Mechatronics (REM).

[17]  Adil Anwar,et al.  Integrating SysML with Simulation Environments (Simulink) by Model Transformation Approach , 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

[18]  Khalil Drira,et al.  International conference on enabling technologies: Infrastructure for collaborative enterprises (WETICE) , 2015, Concurr. Comput. Pract. Exp..

[19]  Curtis Smith,et al.  Bayesian inference in probabilistic risk assessment - The current state of the art , 2009, Reliab. Eng. Syst. Saf..

[20]  Y. Sakaguchi,et al.  Prediction of Driving Behavior through Probabilistic Inference , 2003 .

[21]  John C. Knight,et al.  Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation , 2015 .

[22]  Michel D. Ingham,et al.  Towards a Methodology and Tooling for Model-Based Probabilistic Risk Assessment (PRA) , 2016 .

[23]  Brand N. Griffin,et al.  Habitat Concepts for Deep Space Exploration , 2014 .

[24]  John A. McDermid,et al.  Support for safety cases and safety arguments using SAM , 1994 .

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

[26]  Kleanthis Thramboulidis,et al.  Integration of model-based engineering with system safety analysis , 2013 .

[27]  Wei Chen,et al.  Research Challenges in Modeling and Simulation for Engineering Complex Systems , 2017, Simulation Foundations, Methods and Applications.

[28]  John C. Knight,et al.  A Taxonomy of Fallacies in System Safety Arguments , 2006 .

[29]  Gabor Karsai,et al.  Goal Structuring Notation in a Radiation Hardening Assurance Case for COTS-Based Spacecraft , 2016 .

[30]  David Coppit,et al.  Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..