• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.19-27
• /
• 2003

Any ERP system pushes a company toward full process integration and solves the fragmentation of information. However, the tight process integration can propagate and magnify mistakes made in one department into the other departments in real time. Thus, it can be posited that a central support system for the coordination can help ERP users and administrators dig out problems, take care of tedious validation and verification, and maintain process integration of ERP with great consistency. This paper ,proposes an agent-based ERP operations support system (EOSS) that aims at achieving and maintaining process integration of ERP at the highest level possible. With EOSS, the process integrity is monitored, with anomalies prevented as early as possible and repaired as precisely as possible.

• The KIPS Transactions:PartC
• /
• v.13C no.2 s.105
• /
• pp.147-154
• /
• 2006

The certificate status validation mechanism is a critical component of a public key infrastructure based on certificate system. The most generally mechanisms used these days are the use of the certificate revocation list and the real-time certificate status protocol. But the certificate revocation list can not give the real-time certificate status because the certificate is being delivered periodically, and the real-time certificate status protocol method will generate a concentrated load to the server because the protocol in the central server will be accessed whenever a certification is necessary. It will also take a long time to validate the certificate because each trade has to send mass information through the network. This paper will present that real-time validation is guaranteed as the real-time certificate status protocol method and the traffic congestion in the network Is reduced in a way that the certification would be requested using the user information hash value and would be validated using the user information kept in the certification authorities and the service providers. Based on the this study, we suggest a real-time certificate status validation mechanism which can reduce the certificate status validation time using the signed user information hash value. And we confirm speed of certificate status verification faster than existing CRL(Certificate Revocation List) and OCSP(Online Certificate Status Protocol) method by test.

• Journal of Industrial Technology
• /
• v.37 no.1
• /
• pp.5-11
• /
• 2017

The purpose of this research is to propose an efficient loop line operation plan for customer transportation in a new theme park. Based on the expected customer arrivals, customer loading/unloading methods, and scheduled/non-scheduled departure schemes, movement time between stations etc., we have performed indepth analyses and derived the best optimal policy. Our results show that, over all, the operation with separate loading/unloading doors and scheduled departure is preferred to the other options. We then derived the optimal number of trains and cars meeting minimal customer unsatisfaction with low cost for each season.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• pp.308-311
• /
• 2004

This paper describes design, implementation and functional test of on-board flight analog video system. Video system is the part of the telemetry system as a means of providing flight vehicle's image data. Adopting analog video transmission technique, we could design and test the system in a short time and implement the prototype model with simpler circuits. As results of the functional test, we have made the verification and validation of two cameras' switching in time, and frequency modulation and demodulation of NTSC color signals successfully.

• Journal of Electrical Engineering and Technology
• /
• v.5 no.3
• /
• pp.400-406
• /
• 2010

This paper deals with parameter tuning of the Power System Stabilizer (PSS) for 612 MVA thermal power plants in the KEPCO system and its validation in a field test. In this paper, the selection of parameters, such as lead-lag time constants for phase compensation and system gain, is optimized using linear and eigenvalue analyses. This is then verified through the time-domain transient stability analysis. In the next step, the performance of PSS is finally verified by the generator's on-line field test. After the field test, measured and simulated data are also compared to prove the effectiveness of the models used in the simulations.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.1022-1027
• /
• 2005

This research presents a collaborative supply chain management system for curtain walls using Radio Frequency IDentification (RFID) to track the product and information flow among participants in high-rise building construction projects. This resarch developed a process model and a strategy for effective utilization of RFID technology through the curtain wall life-cycle. Then an information management system was developed to support the supply chain management of curtain walls with incorporating RFID into curtain wall products flow throughout the life-cycle. The system has been tested for validation and verification in a real world project.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.464-466
• /
• 2019

Controllers used in nuclear power plants require high reliability. A controller including a Field Programmable Gate Array (FPGA) and a Complex Programmable Logic Device (referred to hereinafter as FPGA) has been applied to many Nuclear Power Plants (NPP) in the past, including the APR1400 (Advanced Power Reactor 1400), a Korean digital nuclear power plant. Initially, the FPGA was considered as a general IC (Integrated Circuit) and verified only by device verification and performance testing. In the 1990s, research on FPGA verification began, and until the FPGA became a chip, it was regarded as software and the software Verification and Validation (V&V) using IEEE 1012-2004 was implemented. Currently, IEC 62566, which is a European standard, has been applied for a lot of verification. This method has been evaluated as the most sensible method to date. This is because the method of verifying the characteristics of SoC (System on Chip), which has been a problem in the existing verification method, is sufficiently applied. However, IEC 62566 is a European standard that has not yet been adopted in the United States and maintains the application of IEEE 1012 for FPGA. IEEE 1012-2004 or IEC 62566 is a technical standard. In practice, various methods are applied to meet technical standards. In this paper, we describe the procedure and important points of verification method of Nuclear Safety Class FPGA applying SoC verification method.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.2
• /
• pp.16-26
• /
• 2020

Improving operator performance in complex and time-critical situations is critical to maintain plant safety and operability. These situations require quick detection, diagnosis, and mitigation actions to recover from the root cause of failure. One of the key challenges for operators in nuclear power plants is information management and following the control procedures and instructions. Nowadays Digital Twin technology can be used for analyzing and fast detection of failures and transient situations with the recommender system to provide the operator or maintenance engineer with recommended action to be carried out. Systems engineering approach (SE) is used in developing a digital twin for the CEDM system to support operator actions when there is a misalignment in the control element assembly group. Systems engineering is introduced for identifying the requirements, operational concept, and associated verification and validation steps required in the development process. The system developed by using a machine learning algorithm with a text mining technique to extract the required actions from limiting conditions for operations (LCO) or procedures that represent certain tasks.

• ETRI Journal
• /
• v.17 no.3
• /
• pp.1-16
• /
• 1995

An advanced real-time satellite simulator (ARTSS) has been developed to support the ground operations activities of the ETRI satellite control system, such as testing of the system facilities, validation of flight control procedures, verification of satellite commands as well as training of the ground operators. The design of ARTSS is based on the top-down approach and makes use of a modular programming to ensure flexibility in modification and expansion of the system. Graphics-based monitoring and control facilities enhance the satellite simulation environment. The software spacecraft model in ARTSS simulates the characteristics of a geostationary communication satellite using a momentum bias three-axis stabilization control technique. The system can be also interfaced with a hardware payload subsystem such as Ku-band communication transponder to enhance the simulator capability. Therefore, ARTSS is a high fidelity satellite simulation tool that can be used on low-cost desk top computers. In this paper, we describe the design features, the simulation models and the real-time operating functions of the simulator.