DocumentCode
3173584
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
fYear
2010
fDate
13-16 Sept. 2010
Firstpage
1
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on
Conference_Location
Bilbao
ISSN
1946-0740
Print_ISBN
978-1-4244-6848-5
Type
conf
DOI
10.1109/ETFA.2010.5641353
Filename
5641353
Link To Document