Model Based Mission Assurance ( MBMA ) : NASA ’ s Assurance Future
暂无分享,去创建一个
[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.