Integrating the 3+1 SysML view model with safety engineering
暂无分享,去创建一个
[1] Gregory Zoughbi,et al. A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.
[2] Simona Bernardi,et al. A UML profile for dependability analysis of real-time embedded systems , 2007, WOSP '07.
[3] Eckehard Schnieder,et al. UML-based safety analysis of distributed automation systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).
[4] Kleanthis Thramboulidis. The function block model in embedded control and automation from IEC61131 to IEC61499 , 2009 .
[5] Larry L. Constantine,et al. DRAFT-REVISION 2 . 0 Activity Modeling : Toward a Pragmatic Integration of Activity Theory with Usage-Centered Design , 2006 .
[6] Kleanthis Thramboulidis,et al. Different perspectives [Face to Face; "IEC 61499 function block model: Facts and fallacies" ] , 2009 .
[7] Kleanthis Thramboulidis,et al. 3+1 SysML view model for IEC61499 Function Block control systems , 2010, 2010 8th IEEE International Conference on Industrial Informatics.
[8] Wolfgang A. Halang,et al. A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems , 2007, Contributions to Ubiquitous Computing.
[9] Sébastien Gérard,et al. SOPHIA: a Modeling Language for Model-Based Safety Engineering , 2009, ACES-MB@MoDELS.
[10] Kleanthis Thramboulidis,et al. Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.
[11] Kleanthis Thramboulidis,et al. The 3+1 SysML View-Model in Model Integrated Mechatronics , 2010, J. Softw. Eng. Appl..
[12] Tim Kelly,et al. Deriving safety requirements using scenarios , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.