Integrating the 3+1 SysML view model with safety engineering

System safety is the property of the system that characterizes its ability to prevent from hazards, which may lead to accidents or losses. Traditionally, system developers are not familiar with system safety analysis processes which are performed by safety engineers. One reason for this is the gap that exists between the traditional development processes, methodologies, notations and tools and the ones used in safety engineering. This gap makes the development of safety aware systems a very complicated task. Several approaches based on UML have been proposed to address this gap. In this paper, an approach to integrate safety engineering with a SysML based development process that is expressed in the form of the V-model, is presented. Preliminary hazard analysis is adopted and applied to a SysML based requirements specification of the mechatronic system that exploits essential use cases. A case study from the railway domain is used to illustrate the proposed approach.

[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.