• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2164-2168
• /
• 2003

Real time control system such as in factory automation fields, defense field, aerospace, railway industries, financial trading and so forth, includes multiple computers on multiple nodes, and share data to process various actions and functions. This is similar to multitasking in a multiprocessor computer system. The task processing efficiency of such system is proportionally increased by process speed of each process computer. And also it is greatly influenced by communication latencies of each node. To provide proper operation of such real time system, a network that can guarantee deterministic exchange of certain amount of data within a limited time is required. Such network is called as a real time network. As for modern distributed control system, the timeliness of data exchange gives important factor for the dynamics of entire control system. In a real time network system, exchanged data are determined by off-line design process to provide the timeliness of data. In other word, designer of network makes up a network data table that describes the specification of data exchanged between control equipments. And by this off-line design result, the network data are exchanged by predetermined schedule. First, this paper explains international standard real time network TCN (Train Communication Network) applied to the KHST (Korean High Speed Train) project. And then it explains the computer program developed for design tool of network data table of TCN.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.6
• /
• pp.424-433
• /
• 2009

In order to improve productivity and efficiency of ship production process, production technology converged with Information Technology can be considered. Mid-term scheduling based on long-term schedule of ship building and execution planning based on short-term production schedule have an important role in ship production processes and techniques. However, data used in the scheduling are from the experiences of the past, cognitive, and often inaccurate, moreover the updates of the data by formatted documents are not being performed efficiently. This paper designs the tracking and monitoring system for the curved plates forming process with shop level. At first step to it, we redefine and analyze the curved plates forming process by using SysML. From the definition and analysis of the curved plates forming process, we design the system with respect to operational view considering operational environment and interactions between systems included and scenario about operation, and with respect to system view considering functionalities and interfaces of the system. In order to study the feasibility of the system designed, a prototype of the system has been implemented with 13.56 MHz RHD hardware and application software.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.89-92
• /
• 1997

The objective of this paper is to provide an alternative framework for the integration of process planning and scheduling in cellular manufacturing. The concept of an integrated cellular manufacturing system is defined and the system architecture is presented. In an integrated cellular manufacturing system, there are three modules : the process planning module, the manufacturing-cell design module, and the cell-scheduling module. For each module, the tasks and their activities are explained.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.24 no.63
• /
• pp.101-110
• /
• 2001

This study is concern with the design of experiment planning for quality improvement in flow shop manufacturing system. In this study, the procedure of two stage experiment planning are proposed and applied to the manufacturing process of Li/$MnO_2$ batteries. The result of in this paper is that, compared with the current process conditions, 52% of the insulation inspection process, 81.6% of the first premier discharge process, 98.5% of the second premier discharge process, 84.7% of O.C.V./C.C.V. process, and 86.2% of voltage inspection process are decreased. After a given period of time, the life of the batteries extends to 75 hours, which means the 15% improvement in capacity. In case that the proposed methods are applied to the process Improvements of the flow shop manufacturing system, the much effected in experimental cost- saving and quality improvement.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.10
• /
• pp.1644-1652
• /
• 2003

The monitor product is packed by cushioning materials because the monitor can be broken during transportation. However, the addition of the cushioning material increased the volume of the product. Therefore, it is required that the usage of cushioning material be minimized. In practice, design engineers have followed the ad hoc design with experiences of predecessors. Automation of the design process is very important for the reduction of engineering cost, and can be achieved by an excellent design process and software development. According to Axiomatic design, a design flow is defined and a software system is developed for automated design. At first, a basic model is defined. A user can modify the model from menus and design is carried out according to the input from the user. Finite element models are automatically generated based on the design. A nonlinear finite element analysis program called LS/DYNA3D is linked for the impact analysis. The process of Design of Experiments using orthogonal array is installed to minimize the maximum acceleration in drop test. Therefore, a new design can be proposed by the system. The program is designed according to the Independence Axiom of Axiomatic design. FRs and DPs of the software system are defined and decomposed by zigzagging process. Independent modules can be generated by analysis of the full design matrix and each module is coded as class in Object Oriented Programming (OOP). Design results are discussed.

• Nuclear Engineering and Technology
• /
• v.54 no.10
• /
• pp.3595-3603
• /
• 2022

Nuclear safety-class DCS is used for nuclear reactor protection function, which is one of the key facilities to ensure nuclear power plant safety, the maintenance for DCS to keep system in a high reliability is significant. In this paper, Nuclear safety-class DCS system developed by the Nuclear Power Institute of China is investigated, the model of reliability estimation considering nuclear power plant emergency trip control process is carried out using Markov transfer process. According to the System-Subgroup-Module hierarchical iteration calculation, the evolution curve of failure probability is established, and the preventive maintenance optimization strategy is constructed combining reliability numerical calculation and periodic overhaul interval of nuclear power plant, which could provide a quantitative basis for the maintenance decision of DCS system.

• Journal of the Korean Society of Systems Engineering
• /
• v.7 no.2
• /
• pp.7-11
• /
• 2011

A high-speed railway system represents a typical example of large-scale multi-disciplinary system, consisting of subsystems such as rolling-stock, electrical hardware, electronics, control, information, communication, civil technology etc. The system design and acquisition data of the large-scale system must be the subject under strict configuration control and management. Systems engineering technology development project for Korea next generation High-speed Electric Multiple Unit (HEMU) system in progress is a national large system development project that is not only a large-size and complex but also multi-disciplinary in nature. Therefore, all stakeholders must understand and share the functional and performance requirements of HEMU throughout its life-cycle phases. Also in the test and evaluation phase, all systems requirements must be verified. In 2011, the prototype train manufacturing will be completed. It will do test run on the commercial line and all systems requirements are verified until 2012. For the system verification, the test and evaluation process have to be established before the test trial run. Using a systems engineering tool, the system design database(SDD) with requirements traceability and development process management in the course of the development have to be established. This paper represents the test and evaluation process development based on the SEMP(Systems Engineering Management Plan) developed in the design stage. The test and evaluation process is refined and updated in comparison to the design stage one. The test and evaluation process consists of procedure, test and evaluation method and schedule. So through this process, it is defined that each systems requirements is verified on which test and about what time.

• Korean Institute of Interior Design Journal
• /
• v.13 no.2
• /
• pp.3-9
• /
• 2004

The present study is an analysis of the process and affects of interior design accreditation by FIDER(Foundation of Interior Design Education Research) in the United States. Due to the consequences of becoming a member of WTO(World Trade Organization), currently Architectural programs in Korea are seeking ways to set up this accreditational system. The history of interior design education has always been closely interconnected with architectural education, moreover the educational system in Korea has long been affected by that of the United States. Therefore, the author believes that it is crucial for interior design educators to understand the meanings and affects of accreditation system in order to be prepared for this globalization. This paper analyzes the accreditation system between Architectural and Interior Design programs in the United States with that of Korea. It also presents an In-depth study of FIDER accreditation process in the interior design program at Kansas State University, where the author has participated as a preparation member. Thus hope to serve as a guideline for self evaluating interior design programs in Korea.

• Korean Journal of Computational Design and Engineering
• /
• v.2 no.1
• /
• pp.44-52
• /
• 1997

A design process is difficult to describe comprehensively because a design problem has a multi-disciplinary nature and the design itself evolves as solutions are attempted by the designer. The process of design has been investigated in this paper with the purpose of characterizing the role that a system of this kind may have. In defining the system, an approach has been used that privileges the relationships with the existing CAD tools based on data exchange standards in course of definition today. Integrated design environment normally consists of a centralized data model a data management system and a set of CAD tools. In this study, all further investigations are directed towards the data management system, as one of the main components of the proposed environment. Moreover, product modeling, as a prerequisite for the data management core, is taken into special consideration.