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

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.17-30
• /
• 2019

Due to difficulties in tracking design information of existing document-based configuration management, the research on the development of plant SysML model was started to apply the model-based system engineering methodology to comprehensively manage various design information. However, until now, in order to create the SysML model, the engineers are checking the design information and inputting it to the SysML model. This process requires a lot of time and manpower, it is required to minimize it. Therefore, this study has recognized the problem, a plug-in that extracts the plant design information in the design document and automatically converts the SysML plant model from it. Specifically, the development was performed in the following order. First, the extraction file was selected as the most commonly used Excel file as the plant design document. Next, the design information in the document was analyzed, and extracted information including tag number, name, and the capacity were selected. Finally, the plant SysML model conversion module was implemented. The developed plug-in is confirmed that the task load of the engineers by the SysML model conversion can be minimized and the model can be generated more quickly and accurately.

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

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1460-1463
• /
• 2012

본 논문은 대형복합 체계인 국방무기체계를 설계 프로세스에 따라 SysML 을 적용하여 개발하는 방법 및 사례에 대해 다룬다. ISO-IEC 15288 에 제시된 기술 프로세스의 핵심 단계인 요구사항 분석, 기능 분석, 이키텍처 설계를 모델 기반으로 수행하는 것은 이해관계자 사이의 의사소통을 원할히 유지하는 효과적인 방법이다. 더불어 SysML 을 기반으로 작성된 체계 모델은 S/W 설계를 위해 많이 사용되는 UML 과 설계 일관성을 유지하기 용의하다. 본 논문은 SysML 을 통해 체계 개발에 필요한 단계별 모델의 종류와 사용방법을 대공유도무기 사례를 통해 제안하고자 한다.

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

• Journal of Internet Computing and Services
• /
• v.20 no.3
• /
• pp.1-11
• /
• 2019

Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.11
• /
• pp.88-95
• /
• 2018

Maintainability indicates how easily a system can be restored to the normal state when a system failure occurs. Systems developed to have high maintainability can be competitive due to reduced maintenance time, workforce and resources. Quantification of the maintainability is possible in many ways, but only after prototype production or with historical data. As such, the graph theory and 3D model data have been used, but there are limitations in management efficiency and early use. To solve this problem, we studied the maintainability index of weapon systems using SysML-based modeling and simulation technique. A SysML structure diagram was generated to simultaneously model the system design and maintainability of system components by reflecting the maintainability attributes acquired from the system engineering tool. Then, a SysML parametric diagram was created to quantify the maintainability through simulation linked with MATLAB. As a result, an integrated model to account for system design and maintainability simultaneously has been presented. The model can be used from early design stages to identify components with low maintainability index. The design of such components can be changed to improve maintainability and thus to reduce the risks of cost overruns and time delays due to belated design changes.

• Journal of the Korean Society of Systems Engineering
• /
• v.6 no.2
• /
• pp.37-45
• /
• 2010

Requirements engineering is an important phase in a system's life cycle. It is important to perform it correctly. The increasing complexity of systems makes requirements engineering activities more difficult. Non-functional requirements are drivers to emerge how much emergent system properties to aim for success. All functional requirements may be satifsfied, but if the level of desired non-functional requirements are overlooked, the system development will fail. There is growing awareness of the importance of defining non-functional requirements early in the process among the requirements engineering (RE) community. This paper propses a SysML based approach for non-functional requirements to identify and specify very early in the process or requirements engineering.