A vision for spaceflight reliability: NASA's objectives based strategy
暂无分享,去创建一个
[1] Tim Kelly,et al. Model-Based Assurance for Justifying Automotive Functional Safety , 2010 .
[2] Pierre David,et al. Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to LEA Project , 2010 .
[3] Alan Burns,et al. Building a Preliminary Safety Case: An Example from Aerospace , 1999 .
[4] Ewen Denney,et al. AdvoCATE: An Assurance Case Automation Toolset , 2012, SAFECOMP Workshops.
[5] Shira Okon,et al. Modeling Failure Modes with SysML , 2013 .
[6] Homayoon Dezfuli,et al. The Evolution of System Safety at NASA , 2014 .
[7] James Heusner. The Product and Process Focus within NASA Systems Engineering , 2013, CSER.
[8] Andrew Kennedy,et al. Modeling Off-Nominal Behavior in SysML , 2012, Infotech@Aerospace.
[9] Ewen Denney,et al. Hierarchical Safety Cases , 2013, NASA Formal Methods.
[10] Sanford Friedenthal,et al. Modeling with SysML , 2010 .
[11] Gérard Morel,et al. Combining SysML and formal methods for safety requirements verification , 2010 .
[12] F. Liu,et al. Product development performance measures in manufacturing firm , 2007, 2007 IEEE International Conference on Industrial Engineering and Engineering Management.
[13] Kleanthis Thramboulidis,et al. Integrating the 3+1 SysML view model with safety engineering , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).