• 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.

• Journal of Family Resource Management and Policy Review
• /
• v.19 no.1
• /
• pp.23-47
• /
• 2015

The purpose of this study was to investigate social workers' personal experiences providing social support to multi-cultural family in a multi-cultural family center. The data were collected through in-depth interviews with 14 social workers at the multi-cultural family center, and were analyzed using a phenomenological research method. The major findings were as follows : The social workers' personal experiences with and understanding of social support were classified as 4 categories : 'source of emotional support to the multi-cultural family', 'diverse and systematic educational support', 'excessive demands on material support', and 'daily life support and connection with community network'. The social workers recognized emotional and educational support as essential factors in providing social support to multi-cultural family. However, the social workers' perceptions of material support derived from negative personal experiences stemming from excessive demands and misunderstanding for material support. These results showed that social workers at the multi-cultural family center provided multi-cultural families with social support and that they interacted with community support system and multi-cultural families to increase their satisfaction.

• Journal of Agricultural Extension & Community Development
• /
• v.1 no.1
• /
• pp.47-56
• /
• 1994

From 1995, the WTO(World Trade Organization) system will be activated in the world market. Therefore more liberalization in agricultural are expected. Korean farmers should be trained to overcome the difficulty due to trade liberalization. The non-formal education for farmers is carried out by various forms but does not fit need of farmers mostly. The moor part of non formal training was focused on agricultural skills so there must be more emphasis on non-agricultural skills. There are some lacks in linkage between training and government support for trainees. So more support for farmers trainees such as aspects(for example cure finanical support) and non economic support(for example the raising of farmers morale) are needed.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Journal of the Ergonomics Society of Korea
• /
• v.18 no.3
• /
• pp.55-72
• /
• 1999

Evaluation of user interfaces has to be performed in an intuitive and subjective manner by experts especially when the problem comes to the complexity and consistency of sophisticated interface procedures. The manual analysis and evaluation of logical interfaces also tends to be slow and laborious. To make the evaluation more formal and objective, the criteria and the procedure with which the evaluation can proceed must be explicitly prescribed. Furthermore, to make the formal procedure as practical as subjective expert evaluation, the criteria must reflect the user knowledge of the target tasks since the task knowledge plays the role of a basis for users to understand the interface organizations and procedures. This paper describes ESTIM, a support system for task-based evaluation of user interface, that includes the interface evaluation criteria and implies an evaluation procedure. The support system can be used either in an interactive manner by the analyst during the evaluation or in an automatic evaluation mode. It was verified that the result of automatic evaluation by ESTIM matched the results of expert evaluation fairly well.

• Journal of Korean Society for Quality Management
• /
• v.28 no.1
• /
• pp.196-209
• /
• 2000

In order to intensify an enterprise competition, quality inspection controls are very important issue. An organization or division of a company hopes which to acquire the quality inspection information be updated in real-time with respect to shop floor. In this paper, we develop a quality inspection control system for a Turbine/Generator production industry. The system compromises inspection scheduling module related to shop floor control (SFC) system, formal documentation control module, and formal inspection control module. In the quality inspection control system, ORACLE RDBMS is used for the database management system and ORACLE DEVELOPER 2000 is used for system development tool. The characteristic of this system is to support so it can enhance productivity and quality through inspection plans related to production scheduling.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2000.10a
• /
• pp.226-232
• /
• 2000

The design of agricultural facilities is the consistent activities, which systematically analyze all the actual conditions, design the unit structures, and improve the faming environment through efficient organization of the unit facility. The design of agricultural facilities is composed of site study, preliminary design, primary design, and detail design. Integrated design system can manage and process the information created by and used in all steps of design process. Formal data models of these design activities are important conceptual steps in development of integrated design system. However, most of existing models are not available for agricultural facilities. To support efficiently developing the integrated design system of agricultural facilities, we have developed the Multi-Layered Primitive-Composite mode I through object-oriented analysis of agricultural facilities. The MPC model not only satisfies the characteristics of agricultural facility, such as variety, coupling, informal data, but also improves abilities of integrated design system such as extensibility, flexibility, and granularity. The paper presents a formal definition of the MPC model.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.694-697
• /
• 2008

A retaining wall system suitable for a construction project is selected on the basis of subsoil conditions. If the decision-maker selects an improper system, it has a negative effect on the cost and schedule of the construction project. There have been many studies related to the models and processes for selecting optimal retaining wall systems. However, engineers who are not familiar with formal analysis methods could not easily utilize the formal methods proposed by previous studies. In order to overcome this problem, we developed a web-based decision support system called Dr. Underground, which is both physically and technically easily accessible by engineers. Dr. Underground was developed based on a selection method developed from a precedent research project. It was developed using a server-side web language ASP.NET and MS Access as a database. Decision-makers can input data about the building's condition, construction site conditions and adjacent site conditions in this system. Based on the input data, Dr. Underground recommends an optimal retaining wall system for the inputted conditions and provides detail information on the system.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.