Title :
Integrating the 3+1 SysML view model with safety engineering
Author :
Thramboulidis, Kleanthis ; Scholz, Sven
Author_Institution :
Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
Abstract :
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.
Keywords :
Unified Modeling Language; formal specification; safety-critical software; 3+1 SysML view model; UML; V-model; hazard analysis; hazard prevention; mechatronic system; railway domain; requirements specification; safety aware systems; safety engineering; system safety;
Conference_Titel :
Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on
Conference_Location :
Bilbao
Print_ISBN :
978-1-4244-6848-5
DOI :
10.1109/ETFA.2010.5641353