• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• 한국철도학회논문집
• /
• 제6권1호
• /
• pp.1-9
• /
• 2003

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.

• 시스템엔지니어링학술지
• /
• 제14권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.

• Journal of Electrical Engineering and Technology
• /
• 제7권6호
• /
• pp.845-851
• /
• 2012

Power system loads have a significant impact on a system. Although it is difficult to precisely describe loads in a mathematical model, accurately modeling them is important for a system analysis. The traditional load modeling method is based on the load components of a bus. Recently, the load modeling method based on measurements from a system has been introduced and developed by researchers. The two major components of a load modeling problem are determining the mathematical model for the target system and estimating the parameters of the determined model. We use the composite load model, which has both static and dynamic load characteristics. The ZIP model and the induction motor model are used for the static and dynamic load models, respectively. In this work, we propose the measurement-based parameter estimation method for the composite load model. The test system and related measurements are obtained using transient security assessment tool(TSAT) simulation program and PSS/E. The parameter estimation is then verified using these measurements. Cases are tested and verified using the sample system and its related measurements.

• 공학교육연구
• /
• 제14권1호
• /
• pp.55-63
• /
• 2011

본 논문은 문제기반학습모형(Problem-based learning model)접근방법을 공학회계라는 다분히 학제 간 성격(공학과 회계학)을 갖는 교과에 어떻게 적용할 지를 다룬다. PBL 접근방법은 급변하는 기업 환경에서 공학회계와 관련한 기업 문제를 제기하고 다룰 수 있을 것이며, 또한 이를 시스템적 관점해서 해결하려는 공학 측면에서도 적절할 것으로 판단된다. PBL모형의 현실적인 적용을 위해서 학생들이 해결해야 할 문제를 생성하고, 해결하는 과정을 수행할 수 있도록 웹 기반 실습 시스템을 개발, 제안한다.

• 시스템엔지니어링학술지
• /
• 제12권2호
• /
• pp.59-67
• /
• 2016

Recently, the increased complexity of systems has made systems engineering necessary. It is very useful for system designers to understand the whole context of the concerned system based on systems engineering. A system model can be used to describe the outcome of a system design. A system model describes the system from the viewpoint of the stakeholder's needs using the mutually exclusive and collectively exhaustive principle. A system model can be used to smoothly design a large and complicated system based on the systems engineering development process. Many companies and countries are attempting to apply model-based systems engineering, and the significance of the system model quality is increasing as system models are referenced during system development. In this paper, we propose a quality assessment method for ontology which is one of system models by focusing on the system development process. First, in this process, a system developer should explicitly show the relationship between viewpoints. Then, the system developer should select dependent rather than independent viewpoints. With dependent viewpoints, each viewpoint used to describe the system has some logical relationship. The set of viewpoints makes it possible to show, not only tangible and physical system parts, but also conceptual system parts. In this paper, we develop an ontological system model of a Japanese weather observation system. By comparing some ontological system models, we verify the effectiveness of explicitly describing the relationships between viewpoints and select dependent viewpoints.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1335-1349
• /
• 2019

Crowdsensing technologies can improve the efficiency of smart parking system in comparison with present sensor based smart parking system because of low install price and no restriction caused by sensor installation. A lot of sensing data is necessary to predict parking lot saturation in real-time. However in real world, it is hard to reach the required number of sensing data. In this paper, we model a saturation predication combining a time-based prediction model and a sensing data-based prediction model. The time-based model predicts saturation in aspects of parking lot location and time. The sensing data-based model predicts the degree of saturation of the parking lot with high accuracy based on the degree of saturation predicted from the first model, the saturation information in the sensing data, and the number of parking spaces in the sensing data. We perform prediction model learning with real sensing data gathered from a specific parking lot. We also evaluate the performance of the predictive model and show its efficiency and feasibility.

• 제어로봇시스템학회논문지
• /
• 제7권8호
• /
• pp.689-696
• /
• 2001

Large-scale Multi-disciplinary Systems(LMS) such as transportation, aerospace, defense etc. are complex systems in which there are many subsystems, interfaces, functions and demanding performance requirements. Because many contractors participate in the development, it is necessary to apply methods of sharing common objectives and communicating design status effectively among all of the stakeholders. The processes and methods of systems engineering which includes system requirement analysis; functional analysis; architecting; system analysis; interface control; and system specification development provide a success-oriented disciplined approach to the project. This paper shows not only the methodology and the results of model-based systems engineering to Automated Guided Transit(AGT) system as one of LMS systems, but also propose the extension of the model-based tool to help manage a project by linking WBS (Work Breakdown Structure), work organization, and PBS (Product Breakdown Structure). In performing the model-based functional analysis, the focus was on the operation concept of an example rail system at the top-level and the propulsion/braking function, a key function of the modern automated rail system. The model-based behavior analysis approach that applies a discrete-event simulation method facilitates the system functional definition and the test and verification activities. The first application of computer-aided tool, RDD-100, in the railway industry demonstrates the capability to model product design knowledge and decisions concerning key issues such as the rationale for architecting the top-level system. The model-based product design knowledge will be essential in integrating the follow-on life-cycle phase activities. production through operation and support, over the life of the AGT system. Additionally, when a new generation train system is required, the reuse of the model-based database can increase the system design productivity and effectiveness significantly.

• 한국CDE학회논문집
• /
• 제10권1호
• /
• pp.49-60
• /
• 2005

Existing CAD systems have configured geometry data and it is necessary to extend the configured geometry into a knowledge-based system. An intelligent CAD system emerged to provide such a knowledge-based system. However the intelligent CAD system has a limited product model to represent various knowledge models. This paper presents a model, called extended intelligent CAD model, which can extend the product model of the intelligent CAD system into further detailed knowledge model. The extended intelligent CAD model includes a whole design process knowledge and an efficiency of the model has been verified via a knowledge based wiper design system. The model can improve the functionality and efficiency of the existing CAD systems.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.574-578
• /
• 2017

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.