• IE interfaces
• /
• v.12 no.2
• /
• pp.319-328
• /
• 1999

Today, offshore design field is concerned with system integration such as CIM(Computer Integrated Manufacturing), PDMS(Product Data Management System) and EDMS(Engineering Data Management System) in order to cope with the change of engineering specification as owner's requirements during construction stage of the project. This paper deals with the case study that describes about the efficient interface between material control system and 3D CAD system to support the design process in offshore industry using design rules involved the designer's knowledge. In this paper, we constructed an information system, called knowledge-based CAD interface systems, which is composed material code management system and 3D specification generator which automatically creates 3D catalogue anti specification by linking the material code, called short code, and the specification components of the 3D CAD system. As a result of the construction, it is possible to maintain consistency of the design process, and through reduction of the design processing time and improvement of the design process, competitiveness is improved.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.255-260
• /
• 2011

The train control system is a facility to ensure safe train operation, and its safety is the most important factor for system introduction. Therefore, in order to improve practical usability in the business, safety analysis and evaluation of train control system and train control related core technologies are needed. Korea Railroad Research Institute has carried out standard development of radio-based train control system as a government research and development project. In this paper, we present a system specification of ATP, a core part of train control system, for standard system of Korean radio-based train control system(KRTCS). The paper present a operation environment and primary ATP functions, and functional requirement specifications.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1156_1158
• /
• 2009

A train control system(TCS) becomes a large scale and complex as other computer based control systems. So, it is necessary to manage rigorously system requirements specification of the train control system at the early phase. This paper describes Use Cases and activity diagrams of the TCS functions requirements of TCS. Basic functions of the train control system suggested refer to IEC62290-1. And the basic functions includes train operation without a driver.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.802-805
• /
• 2003

The aim of this paper is to provide a guide to those methods of train detection which are available, or are likely to become available, to the designer of train control or other relevant systems. In broad terms, train detection may be defined as the process of generating information which describes the location and movement of trains. Train detection information is difficult to define in isolation. Consider, for example, the train detection information required in a modern train control system. This may vary considerably : in a future high performance train control system, it might be necessary to know the precise position, direction of movement, speed, and possibly even the acceleration or braking, of all trains in the control area : in a less demanding application, it might be sufficient to know only the location of trains in terms of the occupation of sections of track.

• Nuclear Engineering and Technology
• /
• v.54 no.5
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.373-377
• /
• 1999

Role Based Access Control(RBAC) reduces the cost of administering access control policies as well as making the process less error-prone. The administration tool is most important component in the concept of RBAC. The administration tool for the RBAC security system is required the consistency of a relationships between user and role in the RBAC Database. In this paper, we propose formal specification in order to manage user-role and role-role relationships. The proposed formal specification leads to the consistency requirements for the RBAC database which are defined as a set of relationship. This paper can easily derive the implementation of the RBAC administration tool by formal specification of operations.

• Journal of the Korean Society for Railway
• /
• v.2 no.3
• /
• pp.54-60
• /
• 1999

In this paper, design and construction process for the standardized electric motor car according to standard specification is described. Aluminum extrusion profiles and power and control system made domestically are used in the electric motor car. Also, plug-sliding door system for noise reduction and automatic train control system are developed and applied. Through the development of the electric motor car, most electric and control systems can be substituted by domestic standard systems, and safety and reliability of electric motor cars can be secured.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.4
• /
• pp.396-399
• /
• 2009

This paper presents the notion of time-coobservability as a core condition far the existence of a decentralized supervisor achieving a given language specification in a timed discrete event system (TDES). A TDES is modeled by the framework of Brandin & Wonham [5], and the decentralized supervisory control architecture presented is extended from the untimed architecture of Yoo & Lafortune [1]. To develop the time-coobservability of a language specification, specifically this paper presents the C&P time-coobservability and D&A time-coobservability in the consideration of the event tick and forcing mechanism of decentralized supervisors.

• Journal of Korean Society of Transportation
• /
• v.14 no.2
• /
• pp.223-237
• /
• 1996

Based on the traffic and accident data collected on a 4.2km (2.6mile) section of Interstate highway 35W in Minneapolis the relationship between traffic operation variables and safety measures is investigated. An aggregate specification that could be integrated into an urban freeway safety prediction methodology is proposed as a multiple regression model. The specification includes lane occupancy and volume data, which are the control parameters commonly used because they can be measured in real time. The primary variables that appear to affect the safety of urban freeway are : vehicle-miles of travel, entrance ramp volumes and the dynamic effect of queue building. The potential benefits of freeway traffic control strategies on freeway safety are also investigated via a simulation study. It was concluded that improvement of urban freeway safety is achievable by traffic control strategies which homogenize traffic conditions areound critical occupancy values.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.1
• /
• pp.191-195
• /
• 2008

The present study contributes reviewing and suggesting various models for measurement system analysis (MSA). Measurement errors consist of accuracy, linearity, stability, part precision, repeatability and reproducibility (R&R). First, the major content presents split-plot design, and the combination method of crossed and nested design for obtaining gage R&R. Second, we propose $\bar{x}-s$ variable control chart for calculating the gage R&R and number of distinct category. Lastly, investigating the determination of gage performance curve which establishes the control specification propagating calibration uncertainties and measurement errors is described.