Mastering safety and reliability in a model based process
暂无分享,去创建一个
Pierre David | Vincent Idasiak | Robin Cressent | Frederic Kratz | F. Kratz | Robin Cressent | P. David | V. Idasiak
[1] Pierre David,et al. Automating the synthesis of AltaRica Data-Flow models from SysML , 2009 .
[2] Palle Andersen,et al. Feature-based handling of surface faults in compact disc players , 2006 .
[3] Pierre David,et al. Use and improvements of SysML in reliability study , 2009 .
[4] Pierre David,et al. Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..
[5] C.J.H. Mann,et al. A Practical Guide to SysML: The Systems Modeling Language , 2009 .
[6] Chris J. Price,et al. Automated multiple failure FMEA , 2002, Reliab. Eng. Syst. Saf..
[7] Peter H. Feiler,et al. Dependability Modeling with the Architecture Analysis & Design Language (AADL) , 2007 .
[8] Pierre David,et al. Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to LEA Project , 2010 .
[9] M. Saksena,et al. A Practitioner's Handbook for Real-time Analysis-guide to Rate Monotonic Analysis for Real Time Systems. Symbolic Model Checking for Event-driven Real-time Systems. Acm Toplas , 2007 .
[10] J. Stoustrup,et al. An architecture for fault tolerant controllers , 2005 .
[11] Sanford Friedenthal,et al. OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .
[12] Antoine Rauzy,et al. Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..