• 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