• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.28
• /
• pp.173-180
• /
• 1993

This paper is to propose the procedure for improving the level of product specification in statistical process control using loss function. The procedure proposed in this paper is extended to the Taguchi's Quality engineering concept This procedure will be useful in establishing product specification. This paper is aimed to provide customer satisfaction for consumer and quality management for producer.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.8 s.227
• /
• pp.1093-1098
• /
• 2004

This paper presents a close-loop feedback control scheme, which can simultaneously satisfy multiple conflicting control performances, for a high speed positioning system driven by a brushless D.C. motor. With the dynamic model of the motor and proportional-plus-derivative feedback controllers selected as sample controllers, the convex combined feedback controller is formulated for implementing a direct-drive manipulator. Experimental results show that the developed multiple simultaneous specification(MSS) controller can meet desired control performances; maximum overshoot and rise time.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.174-178
• /
• 1991

In this paper, we present a unified approach for the control of manipulator motions and active forces based on the operational space formulation. The end-effector dynamic model is used in the development of a control system in which the generalized operational space end-effector forces are selected as the command vector. A "generalized position and force specification matrix" is used for the specification of space of motions and forces in which manipulator is to be controlled. Flexibility in the force sensor, end-effector, and environment are discussed.discussed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.4
• /
• pp.489-495
• /
• 1999

This paper contains the design specification and detail design for a towing winch system. We analyze operating condition of the system and decide the design specification for the winch system, and also perform a detail design for the subsystem such as hydraulic winch system, control equipment and power supplier at the full scale development. The performance of designed towing winch is established by load tests and sea trial tests.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.105-108
• /
• 1993

This paper is concerned with a two-degree-offreedom control system design for a flexible arm, a two-degree-of-frecdom control system can achieve a robust stability specification and a control performance specification independently. By this property we improve the control performance with maintaining the same robust stability level as that of the onc-dcgree-of-freedom control system. At First we design a two-degree-of-fteedom control system which includes a feedforward controller and a feedback controller. The feedforward controller can be given by specifying a transfer function of a dcsired closed-loop model. We obtain a feedback controller by solving a mixed sensitivity problem. Several numerical results show that two-degree-of-freedom control systems acheive a better control performance than that of one-degree-of-freedom control systems.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.6
• /
• pp.771-778
• /
• 2015

In this paper, we have proposed a design method for standardization of weapon information exchange between a weapon control computer of guided missile system and a high echelon command and control system. Because the weapon control computer based on diverse combat platforms is operated with several kinds of a high echelon system, it is necessary to provide a standardized design method for weapon information exchange between mutual system. In fact, it is possible to standardize a interface design specification of weapon information message because weapon information message is closely related to standard tactical data link message. It is essential that the interface design specification of weapon information is submitted to that of tactical data link information. It seems that this interface design specification is very useful in development process of the future weapon system.