• Journal of the Korean Society for Railway
• /
• v.6 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.10
• /
• pp.45-51
• /
• 2015

In this paper, we propose a way to reduce the SW reliability test time and human errors by utilizing the Lean Six Sigma methodology as a troubleshooting tool. Recently, SW technology is rapidly changing and the importance of SW management has been recognized. Accordingly, the SW reliable test for the SW development outcomes in one of the methods for SW quality improvement is required. However, it consumes a lot of development costs, has the time constraints and human errors in SW reliable test, so, it is difficult to meet the requirements for SW test.

• 한국생물공학회:학술대회논문집
• /
• 2000.11a
• /
• pp.119-122
• /
• 2000

Biological science is being revolutionized by the availability of much sequence information from many genome project With the advanced technology at hand, main trend in biological research is rapidly changing from a structural DNA analysis to understanding cellular function of the DNA sequences. Combined with mechanics, computer, bioinformatics and other advanced technologies, DNA chip technology provides numerous applications because of its robustness, accuracy, and automation. DNA chip is expected to become an indispensable tool in fields of biology, biotechnology, drug discovery, and other application areas. DNA chip can be used for mutation and polymorphism detection, gene expression monitoring and phenotypic analysis as well. If DNA chip is used for the development of pharmaceutical products, it can considerably reduce the cost and time for the entire process of drug discovery and development, and can also contribute in developing personal drugs.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.83-88
• /
• 2018

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

• Journal of Bio-Environment Control
• /
• v.5 no.2
• /
• pp.210-214
• /
• 1996

The measuring system was developed for automation of hydroponic culture. It runs in Windows 3.1 and 95. Main window contains greenhouse screen and menu bars such as system setting, sensor calibration, greenhouse status, actuator control, file management, view, and help. Users can use pop-up menu, tool bar and status bat as well as menu bar for manipulation. Especially it was designed to retain flexibility for researchers, who changed detecting sensors frequently. Users can change storage intervals of files, of which 3 types were prepared to use in other software like as statistical programs, graphic programs and/or spread sheets. This system was adopted to deep flow culture system and evaluated to be appropriate for any kind of hydroponic systems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.7
• /
• pp.741-749
• /
• 2014

This paper proposes a machine vision module for PLCs (Programmable Logic Controllers). PLC is the industrial controller most widely used in factory automation system. However most of the machine vision systems are based on PC (Personal Computer). The machine vision system embedded in PLC is required to reduce the cost and improve the convenience of implementation. In this paper, we newly propose a machine vision module based on PLC. The image processing libraries are implemented and integrated with the PLC programming tool. In order to interface the libraries with ladder programming, the ladder instruction set was also designed for each vision library. By use of the developed system, PLC users can implement vision systems easily by ladder programming. The developed system was applied to sample inspection system to verify the performance. The experimental results show that the proposed system can reduce the cost of installing as well as increase the ease-of-implementation.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.10-20
• /
• 2009

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

• Journal of Information Technology Services
• /
• v.11 no.4
• /
• pp.153-170
• /
• 2012

When companies or institutes manage data, in order to utilize it as useful resources for decision-making, it is essential to offer precise and reliable data. While most small and medium-sized enterprises and public institutes have been investing a great amount of money in management and maintenance of their data systems, the investment in data management has been inadequate. When public institutions establish their data systems, inspection has been constantly carried out on the data systems in order to improve safety and effectiveness. However, their capabilities in improving the quality of data have been insufficient. This study develops an automatic tool to diagnose the quality of data in a way to diagnose the data quality condition of the inspected institute quantitatively at the stage of design and closure by inspecting the data system and proves its practicality by applying the automatic tool to inspection. As a means to diagnose the quality, this study categorizes, in the aspect of quality characteristics, the items that may be improved through diagnosis at the stage of design, the early stage of establishing the data system and the measurement items by the quality index regarding measurable data values at the stage of establishment and operation. The study presents a way of quantitative measurement regarding the data structures and data values by concretizing the measurement items by quality index in a function of the automatic tool program. Also, the practicality of the tool is proved by applying the tool in the inspection field. As a result, the areas which the institute should improve are reported objectively through a complete enumeration survey on the diagnosed items and the indicators for quality improvement are presented quantitatively by presenting the quality condition quantitatively.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.499-505
• /
• 2004

In this paper, we studied about AGVs modeling and material handling automation simulation using a virtual AGV. The proposed virtual AGV model that operates independently each other is based on a real AGV. Continuous straight-line and workstation model using vector drawing method that could easily, rapidly work system modeling are suggested. Centralized traffic control, which could collision avoidance in intersection and should not stop AGV as possible, and algorithm for detour routing which performs when another AGV is working in pre-routed path are proposed. The traffic control and the algorithm have been proved efficience by simulation.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.12
• /
• pp.115-124
• /
• 2016

In this paper, a method to generate the extended model automatically on the critical elements in enterprise system based real time distributed architecture as well as the platform specific model(PSM) for Microsoft(MS) .NET platform is proposed. The key ideas of this method are real time distributed architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on, and .NET platform is able to implement functionalities including before mentioned by only specifying Attribute Code and maximizing advantages of MDA. In order to realize the ideas, functionalities which should be considered enterprise system development are specified and these are to be defined in Meta Model and extended UML profile. In addition, after definition of UML profile for .NET specification, by developing and applying these into plug-in of open source MDA tool, and extended models are generated automatically through this tool. Accordingly, by using proposed specification technology, the profile and tools easily and quickly reusable extended model can be generated even though low level of detailed information for functionalities which is considered in .NET platform and real time distributed architecture. In addition, because proposed profile is MOF which is basis of standard extended and applied, UML and MDA tools which observed MOF is reusable.