• Journal of the Korean Society of Systems Engineering
• /
• v.12 no.2
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• Journal of the Korean Society of Systems Engineering
• /
• v.1 no.2
• /
• pp.63-68
• /
• 2005

This study developed the planning process for technical management of engineering project applying systems engineering process in order to correctly design technical management activities early during the system development projects. The developed process describes a systemic design process of a product to be developed as well as the development process and the personnel team of project organization. As an outcome of the process implemented by a Model-Based Systems Engineering(MBSE) software, a systems engineering management plan(SEMP) and a risk management plan can easily be produced.

• 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 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 Korea Academia-Industrial cooperation Society
• /
• v.20 no.4
• /
• pp.479-488
• /
• 2019

The flight test operational procedure artifact includes mission planning, execution methods, and safety measures for each step of test progress. As the development of guided missiles has become more advanced and strategic, flight test has become increasingly complex and broadened. Therefore, increased reliability of the flight test operation procedures was required to ensure test safety. Particularly, the design of the flight test operational procedures required verification through M&S to predict and prepare for the uncertainty in a new test. The relevant studies have published the optimal framework development for flight tests and the model-based improvements of flight test processes, but they lacked the specificity to be applied directly to the flight test operational procedures. In addition, the flight test operational procedures, which consist of document bases, have caused problems such as limitations of analysis capabilities, insensitive expressions, and lack of scalability for the behavior and performance analysis of test resources. To improve these problems, this paper proposes how to design operational procedure of guided missile flight test system by applying MBSE(Model-based Systems Engineering). This research has improved reliability by increasing the ability to analyze the behavior and performance of test resources, and increased efficiency with the scalability applicable to multiple flight tests. That can be also used continuously for the guided missile flight tests that will be developed in the future.

• Journal of the Korean Society of Systems Engineering
• /
• v.7 no.1
• /
• pp.57-69
• /
• 2011

Reliability means that a product maintains its initial quality and performance at certain period of time(time, distance, cycle etc) under given condition without failure. Given conditions include both environmental condition and operating condition. Environmental condition means common natural environment such as temperature, humidity, vibration, and working condition means artificial environment such as voltage, current load, install place, hours of use, which occurs during using the product. In the field of railway vehicles, although components of railway vehicles with reliability are the trend of mandatory as persisting period of railway vehicles is extended, using components of railway vehicles is insufficient for the practical reliability assessment. but the meaning of the first railway operating agency to acquire the parts in the field, the data suggest the reliability of products if you can and can show the reliability of modular units and modular units can provide the reliability of if you can present reliability of the entire system is thought to be here In this study, lifespan of micro-switch for master controller is analyzed and prediction is performed based on its field data considering the special circumstances of railway vehicles operating agency, such as a large number of trains operates on the same line.

• Proceedings of the KSR Conference
• /
• 2002.10a
• /
• pp.382-386
• /
• 2002

The utilization of System Design Data(SDD) based upon Model Based Systems Engineering(MBSE) process is as important as the building of them. This paper describes the development and the utilization of a report template which can extract and modify data we need from SDD. A report template is defined as a set of elements in the Reporting Facility and is created by placing a sequence of Reporting elements onto a Behavior Diagram-like structure called a ReportNet. We focus on the development of a report template to secure and validate requirements traceability.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.10
• /
• pp.1493-1500
• /
• 2015

For efficient and economical train operation in low-density railway line, on-board oriented train control system, which reduces expensive wayside equipment, is being developed. In this paper, we discuss a tram signal priority strategy which enables efficient and safe train operation when the developing system is applied to train-tram railway environment. Based on the well-known transit signal priority strategies, we develop a tram signal priority algorithm and conduct simulations by using model-based systems engineering (MBSE) tool. Various considerations such as operation procedure, linkage to existing road traffic system, applicability with respect to crossroad types, and so on, are also dealt with.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.308-313
• /
• 2016

Modern systems have become more and more complex due to the ever-increasing user requirements and rapid advance of technology. As such, the frequency of accidents due to system design errors or failure has been increasing. When the damage incurred by accidents to human beings or property is serious, the underlying systems are referred to as safety-critical systems. The development of such systems requires special efforts to ensure the safety of the human beings operating them. To cope with such a requirement, in this paper an approach is employed in which we consider safety starting from the conceptual design phase of the systems. Specifically, a systems design method that can detect functional failure is proposed by utilizing meta-models and M&S methods. To accomplish this, the safety design data from international safety standards are first extracted and also a meta-model is generated using SysML (systems modeling language). Then, a SysML-based system design method is proposed based on the use of the developed meta-model. We also discuss how the safety requirements can be created and verified using a simulation method. Finally, through a case study in automotive design, it is demonstrated that the detection of a functional failure and the verification of a safety requirement can be accomplished using the SysML-based M&S method. This study indicates that the use of meta-models can be useful for collecting and managing safety data and that the meta-model based M&S method can make it possible to satisfy the system requirements by reducing the design errors.

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