• Title/Summary/Keyword: SysML(System Modeling Language)

Search Result 17, Processing Time 0.029 seconds

A Modeling of Automated Hull Curved Plates Forming System using SysML (SysML 을 이용한 선체 곡판가공 자동화 시스템 모델링)

  • Noh, Jackyou;Shin, Jong Gye
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.4 no.2
    • /
    • pp.1-13
    • /
    • 2008
  • The development of hull curved plate forming automation system in ship production field begins from the need of stakeholders such as enterprise organization, who need the reduction of cost and time and improvement of productivity, and end users who work for this production process. Even though hull curved plate forming automation system has small scale, it is reasonable to consider the system as an interdisciplinary system, because the system includes all of hardware, software, human and information and has a specified objective to be performed. In this paper, introduction of 4 leading Model-Based Systems Engineering (MBSE)methodologies is described and SysML(Systems Modeling Language), which is designed to analyze, specify, design, and verify complex systems, is introduced in order to support those methodologies. Especially, SysML is applied to system modeling of hull curved plate forming automation system and focused on. The structure diagrams and behavior diagrams based on operational context of the automation system are used to make system architecture. The performed application of SysML to the hull curved plate forming automation system shows an example of applying SysML to the development of other autonomous systems in ship production domain.

  • PDF

A Plant Modeling Case Based on SysML Domain Specific Language (SysML DSL 기반 플랜트 모델링 케이스)

  • Lee, Taekyong;Cha, Jae-Min;Kim, Jun-Young;Shin, Junguk;Kim, Jinil;Yeom, Choongsub
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.13 no.2
    • /
    • pp.49-56
    • /
    • 2017
  • Implementation of Model-based Systems Engineering(MBSE) depends on a model supporting efficient communication among engineers from various domains. And SysML is designed to create models supporting MBSE but unfortunately, SysML itself is not practical enough to be used in real-world engineering projects. SysML is designed to express generic systems and requires specialized knowledge, so a model written in SysML is less capable of supporting communication between a systems engineer and a sub-system engineer. Domain Specific Languages(DSL) can be a great solution to overcome the weakness of the standard SysML. A SysML based DSL means a customized SysML for a specific engineering domain. Unfortunately, current researches on SysML Domain Specific Language(DSL) for the plant engineering industry are still on the early stage. So as the first step, we have developed our own SysML based Piping & Instrumentation Diagram (P&ID) creation environment and P&ID itself of a specific plant system, using a widely used SysML authoring tool called MagicDraw. P&ID is one of the most critical output during the plant design phase, which contains all information required for the plant construction phase. So a SysML based P&ID has a great potential to enhance the communication among plant engineers of various disciplines.

SysML-based Document Modeling Case (SysML 기반 문서 모델링 사례)

  • Lee, Taekyong;Cha, Jae-Min;Kim, Joon-Young;Salim, Shelly
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.14 no.2
    • /
    • pp.8-15
    • /
    • 2018
  • In traditional Document Based Configuration Management(DBCM) environment, changes in a system's configurations are hard to be reflected to existing engineering documents. This nature of DBCM triggers unconformities of system configurations which could become great risks. Model-based Configuration Management(MBCM) has been introduced to solve the problem of DBCM by managing system's configurations through an unified model. Therefore, it is important to model engineering documents in a general modeling language, down to low-level information items to develop traceability and flexibility of a system's engineering information. So, in the research, to explore the possibility of Model-based Approach(MBA) in the field of configuration management, a development of a systems requirement document model using SysML based Views & Viewpoints concept has been studied.

An Improved SysML-Based Failure Model for Safety Verification By Simulation (시뮬레이션을 통해 안전성 검증을 위한 개선된 SysML 기반 고장 모델)

  • Kim, Chang-Won;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.10
    • /
    • pp.410-417
    • /
    • 2018
  • System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

SysML-Based System Modeling for Design of BIPV Electric Power Generation (건물일체형 태양광 시스템의 전력발전부 설계를 위한 SysML기반 시스템 모델링)

  • Lee, Seung-Joon;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.10
    • /
    • pp.578-589
    • /
    • 2018
  • Building Integrated Photovoltaic (BIPV) system is a typical integrated system that simultaneously performs both building function and solar power generation function. To maximize its potential advantage, however, the solar photovoltaic power generation function must be integrated from the early conceptual design stage, and maximum power generation must be designed. To cope with such requirements, preliminary research on BIPV design process based on architectural design model and computer simulation results for improving solar power generation performance have been published. However, the requirements of the BIPV system have not been clearly identified and systematically reflected in the subsequent design. Moreover, no model has verified the power generation design. To solve these problems, we systematically model the requirements of BIPV system and study power generation design based on the system requirements model. Through the study, we consistently use the standard system modeling language, SysML. Specifically, stakeholder requirements were first identified from stakeholders and related BIPV standards. Then, based on the domain model, the design requirements of the BIPV system were derived at the system level, and the functional and physical architectures of the target system were created based on the system requirements. Finally, the power generation performance of the BIPV system was evaluated through a simulated SysML model (Parametric diagram). If the SysML system model developed herein can be reinforced by reflecting the conditions resulting from building design, it will open an opportunity to study and optimize the power generation in the BIPV system in an integrated fashion.

A Verification Method for the Integrated Model Combining SysML-Based System Failure Model and System Architecture (SysML 기반 시스템 고장 모델과 시스템 아키텍처의 통합 모델에 대한 검증 기법)

  • Jo, Jeong-Ho;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.8
    • /
    • pp.77-83
    • /
    • 2016
  • International standards for systems safety have been established in various areas of industry. Such standards recommend that safety design activities be carried out early on in the beginning of systems development. Hazard analysis should be done in close interaction with the conceptual design of the system. This paper focuses on how to verify whether the safety goals are met while considering system design issues. The architecture of the underlying system was first modeled using SysML, a systems modeling language, and then hazard analysis was performed based on architectural information to obtain a system failure model. Thereafter, an integrated model was developed by combining the SysML failure model and the architectural model, and then safety designs were added to prevent system failure. Finally, a simulation of the developed model was performed to see if a system functions even when some components are failing.

Transformation from Data Flow Diagram to SysML Diagram (데이터흐름도(DFD)의 SysML 다이어그램으로의 변환에 관한 연구)

  • Yoon, Seok-In;Wang, Ji-Nam
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.14 no.11
    • /
    • pp.5827-5833
    • /
    • 2013
  • Due to science and technology evolutions, modern systems are becoming larger and more complex. In developing complex systems, Model-Based Systems Engineering (MBSE), which is approach to reduce complexity, is being introduced and applied to various system domains. However, because of the modeling being made through a variety of languages, there is a problem with communication within the stakeholders and a lack of consistency in the models. In this paper, by investigating the rule explaining the transformation of one of the only traditional diagrams, DFD, to SysML and reusing the formerly built models, we attempt to implement by SysML. Analyzing each diagram's Metamodel and validating the connection of each component through bipartite graph especially suggest an effective transformation rule. Also, by applying to naval-combat system, we confirm efficiency of this study. Establishing the results of this study as basis for conducting further study, we will be able to transform other previous models gained from formerly built system to SysML. In this way, the stakeholder's communication can be improved and we anticipate that the application of SysML will be beneficial to the much efficient MBSE.

A Study on the Analysis of Mission Reliability in the Combat System through SysML (SysML설계기법을 통한 전투체계 임무신뢰도 분석연구)

  • Lee, Jeong-Wan;Jang, Joong Soon
    • Journal of the Korea Society for Simulation
    • /
    • v.29 no.1
    • /
    • pp.31-38
    • /
    • 2020
  • Mission reliability is defined by the probability of accomplishing the requirements task that were targeted in product development, and in the case of combat systems, mission reliability is an important factor that will determine victory or defeat, unlike commercial equipment. The mission reliability of the existing domestic combat system was calculated by considering only the physical connections of the equipment involved in the mission performance, but as the equipment becomes increasingly sophisticated and complex, it is impossible to determine the mission relevance solely by physical connection. Thus, in this paper, improved mission reliability was calculated using SysML, the system design modeling language, by taking into account the functional connection as well as physical connection. Based on this research, we look forward that the mission reliability of the combat system that will be developed in the future will be used as a verification material.

On the Use of SysML Models in the Conceptual Design of Unmanned Aerial Vehicles (무인항공기체계의 개념설계에서 SysML 모델의 활용에 관한 연구)

  • Kim, Young-Min;Lee, Jae-Chon
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.37 no.2C
    • /
    • pp.206-216
    • /
    • 2012
  • Today's war fields can be characterized by net-centric wars where a variety of independent weapon systems are operated in connection with each other via networks. As such, weapon systems become dramatically advanced in terms of complexity, functionality, precision and so on. It is then obvious that the defense R&D of those requires systematic and efficient development tools enabling the effective management of the complexity, budget/cost, development time, and risk all together. One viable approach is known to be the development methods based on systems engineering, which is already proved to successful in U.S. In this paper, a systems engineering approach is studied to be used in the conceptual design of advanced weapon systems. The approach is utilizing some graphical models in the design phase. As a target system, an unmanned aerial vehicle system is considered and the standard SysML is also used as a modeling language to create models. The generated models have several known merits such as ease of understanding and communication. The interrelationships between the models and the design artifacts are identified, which should be useful in the generation of some design documents that are required in the defense R&D. The result reported here could be utilized in the further study that can eventually lead to a full-scale model-based systems engineering method.

Energy Analysis of System Constraints using SysML Parametric Diagram (SysML Parametric 다이어그램을 이용한 시스템 제약사항의 소모전력 분석)

  • Lee, Jae-Wuk;Hong, Jang-Eui
    • Journal of Convergence Society for SMB
    • /
    • v.2 no.2
    • /
    • pp.13-19
    • /
    • 2012
  • Various quality requirements have increased in developing embedded systems. One of those requirements in mobile embedded system is to reduce energy consumption because of limited power supply. Especially as the complexity of embedded software is increased, the interests of the software energy consumption analysis is also increased. In recent years, some studies has been carried out model-based analysis because it can be able to reflect energy consumption requirements in design phase. In this paper, we proposes a model-based energy analysis technique using SysML parametric diagram. The proposed technique designs software activity model using characteristics of parametric diagram, and then energy consumption value by the execution of the model is derived. Our technique has merit that can perform tradeoffs analysis for energy quality property between different implementations.

  • PDF